[TYPES] Etaps Workshop on Games for Logic and Programming Languages

[Dan Ghica]

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 at cs.bham.ac.uk
http://www.cs.bham.ac.uk/~drg