Faculty of Science Home Page University of Alberta Home Page

Distinguished Lecture Series 2009

The Distinguished Lecture Series invites people well-known in their fields to visit our Department and give a talk on their specialty.

Subscribe

Podcast feed Subscribe to our podcast (RSS) to receive the latest seminar recording: http://www.cs.ualberta.ca/events/podcasts/dls/index.xml

Podcast feed Subscribe to our calendar (ICS) to receive the latest dates and times for future seminars: http://www.cs.ualberta.ca/events/calendars/dls.ics

Seminars

Date Title Speaker
Sep 21, 2009
3:30 PM
Model Checking: My 28-year Quest to Overcome the State Explosion Problem Edmund Clarke,
Computer Science Department, Carnegie Mellon University, Pittsburgh
May 25, 2009
3:30 PM
Model - independent schema and data translation: a run-time approach Paolo Atzeni,
Universita Roma Tre, Italy, Rome
Mar 16, 2009
3:30 PM
Can NMR Protein Structure Determination be Automated? Ming Li,
School of Computer Science, University of Waterloo, Waterloo
Jan 26, 2009
3:00 PM
The CarTel Mobile Sensor Network Data Collection System Samuel Madden,
Electrical Engineering and Computer Science, MIT, Cambridge

Itineraries

Review a speaker's itinerary.

History

Here are the lectures from previous years.

Industrial and Business Partners

The following industrial and business partners have contributed to help us maintain our high quality program:

PIMS
Pacific Institute for the Mathematical Sciences

CIPS
Canadian Information Processing Society - Edmonton Section

WestMOST
WestMOST

Syncrude
Syncrude Canada Ltd.

Celcorp
Celcorp

IEEE-NCE
IEEE