[TYPES/announce] Symposium for Gordon Plotkin: Call for Participation

Alex Simpson als at inf.ed.ac.uk
Mon Jul 3 09:48:57 EDT 2006


                    SYMPOSIUM FOR GORDON PLOTKIN

                        7-8 September, 2006
         LFCS, School of Informatics, University of Edinburgh

    A symposium to celebrate the 60th birthday of Gordon Plotkin

         http://www.lfcs.ed.ac.uk/events/plotkin-symposium/

                      CALL FOR PARTICIPATION

PROGRAMME: Two days of invited talks on 7th and 8th September, with a
banquet on the evening of Thursday 7th September.

INVITED SPEAKERS: Martin Abadi (UC Santa Cruz); Samson Abramsky
(University of Oxford); Rod Burstall (University of Edinburgh,
Emeritus); Luca Cardelli (Microsoft Research, Cambridge); Marcelo Fiore
(University of Cambridge); Philippa Gardner (Imperial College);
Matthew Hennessy (University of Sussex); Robin Milner (Univerity of
Cambridge, Emeritus); Eugenio Moggi (Universita` di Genova);
John Power (University of Edinburgh); David Pym (Hewlett-Packard
Laboratories, Bristol); Dana Scott (Carnegie Mellon University,
Emeritus); Colin Stirling (University of Edinburgh); Glynn Winskel
(University of Cambridge).

SUPPORT FOR PHD STUDENTS: Financial assistance is available for
UK-based PhD students who wish to attend the symposium. This will
be issued on a first-come first-served basis.

REGISTRATION: is now open. For more information see webpage.



More information about the Types-announce mailing list