| Wednesday, 23 May |
| 16:30 |
Christos Papadimitriou |
Algorithmic Problems Related to the Internet |
Law Lecture Theatre 175, Old College, South Bridge |
| 17:30 |
Reception |
|
Talbot Rice Gallery, Old College, South Bridge |
| Thursday, 24 May |
| Chair: |
| 09:30 |
Nir Friedman |
Using Probabilistic Models to Understand Gene Properties and Interactions |
| 10:30 |
Coffee break |
| 11:00 |
Miles Osborne |
Just How Good is Maximum Entropy? An Empirical Investigation Using Ensembles of MEMD Models for Attribute-Value Grammars |
| 11:30 |
David Aspinall |
Proof General: A Generic Tool for Proof Development |
| 12:00 |
Marcelo Cintra |
Shared-Memory Multiprocessors: Architecture and Compilers |
| 12:30 |
Lunch & Posters |
| 14:00 |
Eric Vigoda |
Command Performance (LFCS):Approximating the Permanent |
| 14:30 |
Paolo Traverso |
Planning as Model Checking |
| 15:30 |
Coffee break |
| 16:00 |
John Kingston |
Command Performance (AIAI): Internet-based Decision Support for Evidence-based Medicine |
| 16:30 |
Christos Papadimitriou |
The Complexity of Multiobjective Optimization |
| Friday, 25 May |
| Chair: |
| 09:30 |
Nir Friedman |
Understanding Cancer by Analyzing Multiple Gene Expression Patterns |
| 10:30 |
Coffee break |
| 11:00 |
Marilyn Walker |
SPoT: A Trainable Sentence Planner |
| 12:00 |
Padraic Monaghan |
Command Performance (ANC): Left Hemisphere Dominance for Language is Due to the Environment |
| 12:30 |
Lunch & Posters |
| 14:00 |
Steve Whittaker |
General Principles for Accessing Speech Archives |
| 14:45 |
Jessica Chen-Burger, Stephen Clark, Amy Isard, Tim Lewis and Amos Storkey. |
Informatics: What's the Point? |
| 15:30 |
Coffe break |
| 16:00 |
Christos Papadimitriou |
The Logic of Floyd-Warshall |
| 17:00 |
Poster Judges |
Presentation of prizes for the Poster Competition |
| 19:00 |
Ceilidh |
Music by:Hugh MacDiarmid's Haircut |
The Auditorium,
Chaplaincy Centre |
| 23:00 |
The End |
