Schedule of our departmental colloquium
All talks take place in EV 3.309 on alternate Tuesdays between 3:00 PM
and 4:00 PM. To leave time for discussion, their length is limited
to at most 40 minutes. Anybody can attend.
Any member of the CSE department (faculty, student, research
associate, postdoctoral fellow, or any similar long-term visitor) can
speak (and speak on more than one Tuesday in a semester). Visitors
just passing through Montreal are not suitable colloquium
speakers. They can be accomodated in the departmental seminar (which
has no reserved slot in the weekly timetable and no upper limit on the
length of lectures).
To volunteer as a speaker or to propose a speaker, contact me.
Vaek Chvátal
- Oct 2, 2007: Patrice Chalin, "JML4, An Eclipse-Based Verifying
Compiler For Java That Can Prove Your Code Correct!"
- Oct 16, 2007: Greg Butler, "Trees, Enzymes, and Computers:
Bioinformatics challenges for sustainable development"
- Oct 30, 2007: Ehsan Chiniforooshan, "Evaluating
Union-Intersection Expressions"
- Nov 13, 2007: Sha Xin Wei, "Tracking vs. recognizing gesture in
performative, realtime applications"
- Nov 27, 2007: David Probst, "Demand Threading and Demand Paging
Considered Harmful to Parallel Programmability"
- Feb 12, 2008: Joey Paquet, "A Multi-Tier Architecture for the
Distributed Eductive Execution of Hybrid Intensional Programs"
- Feb 26, 2008: Clement Lam, "Combinatorial Computing and a
Poor-man's Cluster"
- Mar 11, 2008: Emil Vassev, "Towards an Autonomic System
Specification Language"
PowerPoint
slides
- Mar 25, 2008: Volker Haarslev, "Description logic reasoning and
integer linear programming: Challenges and first results"