[Agda] Types'10 - Call for Participation
Aleksy Schubert
alx at mimuw.edu.pl
Thu Sep 2 15:14:09 CEST 2010
Call for Participation
Types Meeting 2010
Warsaw, 13 -- 16 October 2010
http://types10.mimuw.edu.pl
This is a reminder that the early registration deadline for Types'10 is
Monday, September 13
Note also that your talk should be submitted no later than September 20.
Do not hesitate to contact types10 at mimuw.edu.pl if you have any
questions.
See you in Warsaw at Types 2010!
The Organizing Committee
types10 at mimuw.edu.pl
More information about the Agda
mailing list