[isabelle] Final Call for Participation: Symposium in Honer of Alan Bundy
- To: isabelle-users at cl.cam.ac.uk
- Subject: [isabelle] Final Call for Participation: Symposium in Honer of Alan Bundy
- From: Lucas Dixon <ldixon at inf.ed.ac.uk>
- Date: Tue, 17 Jun 2008 18:35:11 +0100
- Openpgp: id=EF350368
- User-agent: Thunderbird 184.108.40.206 (X11/20071019)
-----BEGIN PGP SIGNED MESSAGE-----
The University of Edinburgh School of Informatics is holding a symposium
to celebrate Alan Bundy's 60th birthday on July 13th and 14th.
The broad range of Alan's research interests will be reflected in the
invited talks by top international researchers who have worked closely
with Alan over the years: Jörg Siekmann, Fausto Giunchiglia, Frank van
Harmelen, Luigia Aiello, Chris Mellish, Dave Robertson, Stan Wainer and
Alan Smaill. There will be public lectures on the Future of AI and many
opportunities for informal conversation as well as round table
discussions. This will also be the first event showcasing the new
University of Edinburgh Informatics Forum.
Attendance is free and there will be a celebratory dinner on July 13th
and a ceilidh on July 14th. We have funding for PhD students from AISB
and from EPSRC to cover accommodation and travel. Further information
and registration is available online at
Please register by the 24th of July!
Any questions concerning the event can be sent to Sofi Freijeiro-Mato
(sfmato at inf.ed.ac.uk).
We hope to see you in Edinburgh this summer.
the Bundy Symposium organisers: Mike Fourman, Alan Smaill, Dave
Robertson, Lucas Dixon, Fiona McNeill and Sofi Frijeiro-Mato
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org
-----END PGP SIGNATURE-----
The University of Edinburgh is a charitable body, registered in
Scotland, with registration number SC005336.
This archive was generated by a fusion of
Pipermail (Mailman edition) and