21 Feb
2005
21 Feb
'05
3:50 p.m.
This is a Call for Participation for the Workshop on Games for Logic and Programming Languages to be held at Etaps, on 2-3 April, in Edinburgh. Invited speakers are: # Luke Ong, Oxford University # Luca de Alfaro, University of California, Santa Cruz More details about the workshop, including a list of accepted contributions can be found at: http://users.ox.ac.uk/%7Ecoml0074/galop.html To register for the workshop please use the following link: https://www.etaps05.inf.ed.ac.uk/Registration -- Dr. Dan Ghica, Lecturer School of Computer Science University of Birmingham Birmingham B15 2TT mailto:D.R.Ghica@cs.bham.ac.uk http://www.cs.bham.ac.uk/~drg 21-Feb-2005 15:45:38 -0400,4578;000000000000-00000000