[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PARTICIPATION
6th Workshop on Games for Logic and Programming Languages (GaLoP 2011)
// ETAPS 2011 // Saarbrücken, Germany // 26–27 March //
The full preliminary programme is now posted at:
http://sites.google.com/site/galopws/
Please register soon in order to take advantage of lower fees, through
the ETAPS central site:
http://www.etaps.org/registration
I hope to see you in Saarbrucken.
Best wishes,
Dan Ghica