* Types Meeting 2010
@ 2010-05-31 14:01 Aleksy Schubert
0 siblings, 0 replies; only message in thread
From: Aleksy Schubert @ 2010-05-31 14:01 UTC (permalink / raw)
To: caml-list
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
types10@mimuw.edu.pl
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-05-31 14:02 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-05-31 14:01 Types Meeting 2010 Aleksy Schubert
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox