Meeting Agenda

Date:	February 4th
Location:	DC 2314
Time:	1:30
Chair:	Bill Cowan

1. Changes to the Agenda - additions or deletions

2. Coffee Hour

Coffee hour last week:

Ryan- thanks!

Coffee hour this week:

Andrea

Coffee hour next week:

Volunteers?

3. Forthcoming

Date:	February 11th	February 18th	February 25th	March 4th
Location:	DC 2314 1:30	DC 2314 1:30	DC 2314 1:30	DC 2314 1:30
Chair:	Gabriel Esteves	Elodie Fourquet	Richard Fung	Eugene Greene
Technical Presentation:	Andrea Bunt	Bill Cowan	Gabriel Esteves	Elodie Fourquet

4. Technical Presentation

Cam Zwarich	Title : Abstract:

5. Discussion Items

• None so far...

6. Action Items

7. Conferences and Special Journal Issues

8. Directors' Meeting

9. Seminars and Events

2009 Feb 04, 15:30 Software Engineering Research Group PhD Seminar

Naghmeh Ghafari, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo

Algorithmic Analysis of Infinite-State Systems

2009 Feb 06, 11:20 Artificial Intelligence Lab Seminar

Bowen Hui, University of Toronto

Developing a Decision-Theoretic User Model for Software Customization Assistance

2009 Feb 06, 14:00 Database Research Group PhD Seminar

Mumtaz Ahmad, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo

Predicting Completion Times of Business-Intelligence Workloads

2009 Feb 09, 10:30 Database Research Group Seminar

Kevin Beyer, IBM Almaden Research Center

Jaql: Placing Pipes in the Clouds

2009 Feb 09, 10:30 Human-Computer Interaction Seminar

Joanna McGrenere, Associate Professor, Department of Computer, Univ. British Columbia

The Aphasia Project: Designing Technology For and With People who have Aphasia

2009 Feb 10, 11:00 Waterloo Formal Methods PhD Seminar

Zarrin Langari, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo

Application of Graph Transformation in Verification of Dynamic Systems

2009 Feb 11, 13:30 Algorithms and Complexity Group Seminar

Jeremy Barbay, Departamento de Ciencias de la Computacion, Universidad de Chile

Adaptive (Analysis of) Algorithms for Convex Hulls and Related Problems

Also see other Math and CS postings.

10. Lab Cleanup