University Homepage School Homepage School Contacts School Search

Informatics Jamboree 2002 Programme

22 - 24 May
Psychology Lecture Theatre F21
7 George Square

Unless otherwise specified all events take place at the above location. Lunches and refreshments will be served in the Concourse.

Wednesday, 22 May
16:30	Professor Martín Abadi	Security Protocols: Principles and Calculi	Law Lecture Theatre 175, Old College, South Bridge
17:30	Reception		Talbot Rice Gallery, Old College, South Bridge
Thursday, 23 May
Chair:
09:30	Peter Buneman	Where did your data come from, and where will it go? Some issues in data provenance.
10:30	Coffee break
11:00	Douglas Armstrong	Flies in Space: Planning experiments for zero gravity - another challenge for bioinformatics?
11:30	John Levine	Ant Colony Optimisation and Aggressive Local Search applied to Bin Packing and Stock Cutting Problems
12:30	Lunch & Posters
14:00	Michael O'Boyle	Iterative Compilation in a Non-Linear Optimisation Space
14.45	Stephen Gilmore	PEPA nets: A dynamic stochastic modelling formalism
15:30	Coffee break
16:00	Martín Abadi	Types for Protocols
Friday, 24 May
Chair:
09:30	Stephen Pulman	Learning Domain Theories
10:30	Coffee Break
11:00	Jon Oberlander	Generation eXtravert: affect, personality and language production
11:45	Martin Grohe	Why do Paul Erdoes and Parameterized Complexity Theory appear in the title of the same talk?
12:30	Lunch & Posters
14:00	Peter Lee	Certified Code
14:45	John Longley	Proving programs correct: Are we getting there?
15:30	Coffe break
16:00	Martín Abadi	Some Recent Security Protocols
17:00	Poster Judges	Presentation of prizes for the Poster Competition
19:00	Ceilidh	Music by:Hugh MacDiarmid's Haircut	St Peter's Scottish Episcopal Church, Lutton Place. By popular demand, dance hall comes complete with dimmer light switches!
23:00	The End

---