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]
------------------------------------------------------------------------------
ThinkGeek and WIRED's GeekDad team up for the Ultimate
GeekDad Father's Day Giveaway. ONE MASSIVE PRIZE to the
lucky parental unit. See the prize list and enter to win:
http://p.sf.net/sfu/thinkgeek-promo
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
