[TYPES] Games for Logic and Programming Languages: Deadline Extension

[Dan Ghica]

   Games for Logic and Programming Languages
   An Etaps 2005 Workshop
   Edinburgh, 2-3 April 2005

   SUBMISSION DEADLINE EXTENSION: January 22nd

   More info: http://users.ox.ac.uk/%7Ecoml0074/galop.html


--
Dr. Dan Ghica,
Research Officer
Oxford University Computing Laboratory,
Oxford, OX1 3QD, England.
Phone: +44 (0)1865 283563
Email: Dan.Ghica at comlab.ox.ac.uk
Web:   http://web.comlab.ox.ac.uk/oucl/work/dan.ghica/