|
Some abstracts to talks are available
Pizza Lunch and Poster Session (daily)
Psychology Concourse
7 George Square
| Wednesday 24th May | |||
| Chair: Michael Fourman | |||
| 9:30 | Rich Caruana | Unabridged Learning and Multitask Learning | |
| 10:30 | Hua Cheng | Aggregation in a GA-based Text Planner | |
| 11:00 | Simon Colton | The Automatic Invention of Integer Sequences. | |
| 11:30 | Coffee | ||
| 12:00 | Ian Miguel | Dynamic Flexible Constraint Satisfaction and its Application to AI Planning. | |
| 13:00 | Pizza Lunch | ||
| Chair: Samson Abramsky | |||
| 14:00 | Simon King | New models for automatic speech recognition | |
| 14:30 | Bruce McAdam | Program Repair with Type Isomorphisms | |
| 15:00 | Jane Neumann | Holistic Transformation of Holographic Reduced Representations | |
| 15:30 | Tea | Raeburn Room, Old College | |
| Chair: Gordon Plotkin | |||
| 16:00 | Joe Halpern | Knowledge and Common Knowledge in Multi-Agent Systems Reasoning | Law Lecture Theatre 183, Old College |
| Following the Milner lecture there will be a reception at Edinburgh Research and Innovation 15 South College Street | |||
| Thursday 25th May | |||
| Chair: Bonnie Webber | |||
| 9:30 | Rich Caruana | Semi-Supervised Clustering | |
| 10:30 | Peter Wiemer-Hastings | ||
| 11:00 | Sonia Schulenberg | An Evolutionary Approach to Modelling the Behaviours of Financial Traders | |
| 11:30 | Coffee | ||
| 12 | Joe Halpern | Plausibility Measures and Default Reasoning | |
| 13:00 | Pizza Lunch | ||
| Chair: Colin Stirling | |||
| 14:00 | Bridget Hallam | Simulating Classical Conditioning using a Neuro-Connector Net | |
| 14:30 | Marta Arias | Learning first-order Horn expressions | |
| 15:00 | Josh Singer | Local Search on Random 2+p-SAT | |
| 15:30 | Tea | ||
| Chair: Johanna Moore | |||
| 16:00 | Rich Caruana | Medical Informatics, Machine Learning, and Case-based Explanation | |
| Friday 26th May | |||
| Chair: Gordon Brebner | |||
| 9:30 | David Schmidt | Proving Properties about Abstractions and Refinements | |
| 10:30 | Jessica Chen-Burger | How do you know it is right ? | |
| 11:00 | Judy Robertson | Using a Virtual Environment as a Story Preparation Activity | |
| 11:30 | Coffee | ||
| 12:00 | Sue Becker | A Neural Model of Spatial Cognition | |
| 13:00 | Pizza Lunch | ||
| Chair: Alan Bundy | |||
| 14:00 | Mike Ramscar | How At Least One English Irregular May Have Snuck In: Rules and Similarity in Inflection and Cognition | |
| 14:30 | Paul Bailey | ||
| 15:00 | Hassan Kamal | An ATMS-based architecture for Systemic Sentence Generation | |
| 15:30 | Christian Ionitoiu | Knowledge lambda-calculus | |
| 16:00 | Joe Halpern | Probability update: Conditioning vs. Cross-entropy | |
| 18:00 | Bar opens | Prestonfield Room, Pollock Halls | |
| 19:00 | Ceilidh | ||
| 20:00 | Jamboree Posters and Talks Prizegiving | ||
| 23:00 | Curfew | ||
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 651 5661, Fax: +44 131 651 1426, E-mail: school-office@inf.ed.ac.uk Please contact our webadmin with any comments or corrections. Unless explicitly stated otherwise, all material is copyright © The University of Edinburgh |
