* GaLoP VI Program and Call for Participation
@ 2011-02-01 10:24 Dan Ghica
0 siblings, 0 replies; 2+ messages in thread
From: Dan Ghica @ 2011-02-01 10:24 UTC (permalink / raw)
To: categories
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
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] 2+ messages in thread
* GaLoP VI Program and Call for Participation
@ 2011-02-01 10:24 Dan Ghica
0 siblings, 0 replies; 2+ messages in thread
From: Dan Ghica @ 2011-02-01 10:24 UTC (permalink / raw)
To: types-announce-nHFbR+4dATOoZA3Q9b/B0PZ8FUJU4vz8,
lics-jNDFPZUTrfT1r4uDOcZfYxQ0avMEgXv9, categories-59hdLBrVOVU,
pietro galliani
[ 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
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2011-02-01 10:24 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-02-01 10:24 GaLoP VI Program and Call for Participation Dan Ghica
-- strict thread matches above, loose matches on Subject: below --
2011-02-01 10:24 Dan Ghica
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).