|
The Informatics Jamboree is an annual event open to all members of the Edinburgh Informatics community. Events include talks by guest speakers, poster competition, catered lunches, gala Informatics Ceilidh.
Jamboree 2002Lecture Theatre F21 Department of Psychology 7 George Square The first event of the fourth annual Informatics Jamboree is the annual Milner Lecture, which this year will take place on Wednesday afternoon, 22 May 2002, 4:30-5:30pm, and will be given by Martín Abadi, University of Santa Cruz. He will give two other talks later in the Jamboree on Types for protocols and Some recent security protocols. Our other two invited speakers are Peter Lee, Carnegie Mellon, with a talk on Certified code and Stephen Pulman, Oxford University, with a talk on Learning domain theories. The rest of the talks at the Jamboree will be (mostly) given by the new Informatics Staff appointed over the past year. They cover a very wide range of topics: from flies in space to proving programs correct, and from iterative compilation to computers with feelings. As in previous years, there will be a research poster competition for postgraduate and MSc students. Cash prizes have been increased again. There will be and ample lunches for everyone on both Thursday and Friday. This year, the poster competition will be judged by Martín Abadi, Peter Buneman, Martin Lange, Stephen Pulman, Bonnie Webber, and one more judge to be determined. The final event of the Jamboree will be the traditional Ceilidh, which will take place on Friday 24 May 2002. Everyone and their family are invited. Jamboree 2001: Programme, Photos, Posters |
|
Informatics Forum, 10 Crichton Street, Edinburgh, EH8 9AB, Scotland, UK
Tel: +44 131 650 2690, Fax: +44 131 651 1426, E-mail: hod@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 |
