Types Meeting 2010
Warsaw, 13 - 16 October 2010
First Announcement
The 17-th Workshop "Types for Proofs and Programs" will take place
in Warsaw, Poland, from October 13 (Wednesday) to October 16 (Saturday).
The Types Meeting is a forum to present new and on-going work in all
aspects of type theory and its applications, especially in formalized
and computer assisted reasoning and computer programming.
Invited speakers:
* Henk Barendregt;
* Yves Bertot;
* Pierre-Louis Curien;
* Aarne Ranta.
Important information concerning accomodation in Warsaw is already
available
from the conference web page:
http://types10.mimuw.edu.pl
Details concerning registration, fees, and how to submit a talk will
soon
be posted there as well. We are looking forward to your participation.
The Organizing Committee
[email protected]
_______________________________________________
clean-list mailing list
[email protected]
http://mailman.science.ru.nl/mailman/listinfo/clean-list
