Re: [isabelle] Final Call for Participation: Symposium in Honer of Alan Bundy

Hash: SHA1

Sorry, that should be please register by the 24th of June!
Before the event :)


Lucas Dixon wrote:
> 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
> 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
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Fedora -


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 MHonArc.