[TYPES/announce] Subject: GALOP@ETAPS'08: Call for participation

[Russ Harmer]

This is a Call for Participation to the

	3rd International Workshop on Games for Logic and Programming  
Languages (GALOP3)

to be held at ETAPS, on 5--6 April 2008, in Budapest.

Invited speakers are:
	# Gabriel Sandu (University of Helsinki): Independence between  
quantifiers
	# Merlijn Sevenster (Universiteit van Amsterdam): Independence  
between modal operators
	# Paul-André Melliès (PPS, CNRS & Paris-Diderot): Game semantics as  
string diagrams

More details about the workshop, including a list of accepted  
contributions, can be found at:
	http://www.cs.bham.ac.uk/~drg/galop.html

To register for the workshop, please use the following link:
	http://etaps08.mit.bme.hu/