Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Final Call for Participation: Symposium in Hon...

view this post on Zulip Email Gateway (Aug 18 2022 at 12:03):

From: Lucas Dixon <ldixon@inf.ed.ac.uk>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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
http://dream.inf.ed.ac.uk/events/bundy-symposium/.

Please register by the 24th of July!

Any questions concerning the event can be sent to Sofi Freijeiro-Mato
(sfmato@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

iD8DBQFIV/XPiUn2r+81A2gRAm7wAJ464kkzmYrNMak0hwBFUA3SUflOGQCgknkS
rn9kRbKx3dK7TS5klu5Esfo=
=xYUS
-----END PGP SIGNATURE-----

view this post on Zulip Email Gateway (Aug 18 2022 at 12:03):

From: Lucas Dixon <ldixon@inf.ed.ac.uk>
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

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

cheers,
lucas

Lucas Dixon wrote:
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.7 (GNU/Linux)
Comment: Using GnuPG with Fedora - http://enigmail.mozdev.org

iD8DBQFIV/eOiUn2r+81A2gRAqKRAKDTsb4vASCSr5icRwGeyBYRaCiLYQCgs/XV
A03xTs3S5P3JmFYutKwoQ2o=
=Wa6s
-----END PGP SIGNATURE-----

Last updated: Nov 21 2024 at 12:39 UTC