[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