Meeting Agenda

Date:	Oct 29, 2007
Location:	CGL
Time:	1:30
Chair:	Kate Kinnear

1. Changes to the Agenda - additions or deletions

2. Coffee Hour

Coffee hour last week:

Curtis

Coffee hour this week:

Volunteers?

Coffee hour next week:

Volunteers?

3. Forthcoming

Date:	Nov 5, 2007	Nov 12, 2007	Nov 19, 2007	Nov 26, 2007
Location:	CGL 1:30	CGL 1:30	DC 1331 1:30	DC 1331 1:30
Chair:	Ed Lank	Ghulam Lasharic	Andrew Lauritzen	Vladimir Levin
Technical Presentation:	Craig Kaplan	Kate Kinnear	Ed Lank	Ghulam Lasharic

4. Technical Presentation

Marshall Hahn

Title : Synthesis of Constraint-Based Local Search Algorithms from High-Level Models Abstract: Local search provides the basis for some of the most successful methods for solving large and difficult constraint satisfaction problems (CSP). In this presentation, I present a paper titled "Synthesis of Constraint-Based Local Search Algorithms from High-Level Models". Using a series of example problems, this paper shows how effective local search procedures can be automatically synthesized from models expressed in a rich constraint language.

5. Discussion Items

• None so far...

6. Action Items

• Coordinator needed for Nov 3rd lab tour

7. Conferences and Special Journal Issues

8. Directors' Meeting

9. Seminars and Events

# 2007 Oct 31, 13:30 — Algorithms and Complexity Group Seminar
Mustaq Ahmed, School of Computer Science, University of Waterloo
Properties of Shortest Descending Paths
# 2007 Nov 02, 09:30 — Networks and Distributed Systems Seminar
Christophe Diot, Thomson Research, Paris
Opportunistic Communication using Smartphones
# 2007 Nov 02, 14:00 — Database Research Group PhD Seminar
Iman Elghandour, PhD candidate, David R. Cheriton School of Comp. Sci., Univ. Waterloo
Recommending Indexes for XML Databases

Also see other Math and CS postings.

10. Lab Cleanup