Jamboree Programme

Locations

JCMB Concourse		(map reference 13c)
9:00	Coffee	PG Posters
JCMB Lecture Theatre B
Chair: Prof. Alan Bundy, Head of Informatics
9:30	Michael Fourman	Whither Informatics? Computation, Communication, Cognition.
10:00	Matthew Stone	Towards a Computational Account of Knowledge, Action and Instruction
10:30	Richard Mayr	Infinity's Shore: Analysis and Verification of Infinite-State Systems
JCMB Concourse
11:00	Coffee	PG Posters
JCMB Lecture Theatre B
Chair: Prof. Bonnie Webber, Institute for Representation and Reasoning
11:20	Peter Hancock	Proofs of wellfoundedness, programs, and their opposites
11:40	Jason Baldridge	Incorporating sets into Combinatory Categorial Grammar
12:00	PG students	Poster Spotlight Session
JCMB Concourse
12:30	Pizza Lunch and Poster Session	RSVP Janet Lee
JCMB Lecture Theatre B
Chair: Prof. Johanna Moore, Human Communication Research Centre
2:00	Jacques Fleuriot	Mechanising Newton's Principia: An adventure with Numbers and Geometry
2:30-3:10	Alex Lascarides	Interpreting Discourse
Swann Building Foyer		(map reference 25)
3:00	Tea
Swann Lecture Theatre
Chair: Prof. Rod Burstall, Laboratory for Foundations of Computer Science
3:30	Butler Lampson	Milner Lecture: Computer Security in the Real World
JCMB 2511
5:00	Reception	RSVP Janet Lee

9:00	Coffee	PG Posters
Chair: Dr. Gordon Brebner, Institute for Computing Systems Architectures
9:30	Butler Lampson	Computer Systems Research: Past and Future
10:30	Michael Isard	Visual motion analysis using the Condensation algorithm
11:30	Coffee	PG Posters
11:50	Chris Bishop	Adaptive Computing
12:50	Lunch Break	Self Catering
Chair: Prof. Don Sannella, Laboratory for Foundations of Computer Science
2:00	Butler Lampson	How to Build a Highly Available System without a Toolkit
3:00	Paul Jackson	Formal Design of an Application-Specific Integrated Circuit
3:40	Coffee
4:00	Adjournment

10:00	Coffee	PG Posters
Chair: Prof. David Willshaw, Institute for Adaptive and Neural Computation
10:30	David Sterratt	Is a biological temporal learning rule compatible with learning synfire chains?
10:50	Padraic Monaghan	Learning from graphical and sentential representations
11:10	Coffee	PG Posters
11:40	Matthew Stone	Knowledge, Action and Instruction (I)
12:40	Lunch	RSVP Janet Lee
Chair: Prof. Keith Stenning, Human Communication Research Centre & Institute for Communicating and Collaborative Systems
2:00	Jon Oberlander	Making an Impression with Natural Language Generation
2:40	Richard Shillcock	Topographic Mapping in the Brain Constrains the Lexicon
3:20	Gann Bierner	Using Discourse Clues in Information Retrieval
3:40	Paul Cronin	Virtual Reality Takes a Hike
4:00	Social Excursion	We All Take a Hike

9:00	Coffee	PG Posters
Chair: Prof. Gordon Plotkin, FRS, Laboratory for Foundations of Computer Science
9:30	Jacques Fleuriot	Mechanising Newton's Principia (I)
10:30	Chris Williams	Informatics and Mutual Information
11:10	Coffee	PG Posters
11:40	Richard Mayr	Infinity's Shore (I)
12:40	Lunch Break	Self Catering
Chair: Prof. Mark Steedman, Institute for Communicating and Collaborative Systems
2:00	Matthew Stone	Knowledge, Action and Instruction (II)
3:00	Paul Taylor	Speech Recognition (I)
3:40	Tea
Chair: Prof. Austin Tate, Artificial Intelligence Applications Institute & Institute for Representation and Reasoning
4:10	Perdita Stevens	Components
4:50	Nigel Goddard	Neuroinformatics
5:30	Adjournment

9:00	Coffee	PG Posters
Chair: Prof. Colin Stirling, Laboratory for Foundations of Computer Science
9:30	Richard Mayr	Infinity's shore (II)
10:30	Herman M Gomes	Autonomous Subcomponent Model Learning
10:50	Frank Keller	On the Origins of Gradient Acceptability
11:10	Coffee	PG Posters
11:40	Martín Escardó	Exact Real Number Computation
12:20	Lunch Break	Self Catering
Chair: Prof. Michael Fourman, Laboratory for Foundations of Computer Science, and Institute for Representation and Reasoning
2:00	Jacques Fleuriot	Mechanising Newton's Principia (II)
3:00	Paul Taylor	Speech Recognition (II)
3:40	Poster Competition Prizegiving
4:00	Close