[TYPES/announce] GaLoP VI Program and Call for Participation

Dan Ghica d.r.ghica at cs.bham.ac.uk
Tue Feb 1 05:24:27 EST 2011


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


More information about the Types-announce mailing list