[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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/
