TYPES Meeting 2013 (April 22-26, 2013)

"Executive summary" of main web page

19TH MEETING TYPES FOR PROOFS AND PROGRAMS (TYPES 2013)
Call for Participation
April 22-26, Toulouse, France
https://www.irit.fr/TYPES2013/
AIMS
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
Steve Awodey (Institute for Advanced Study, Princeton & Carnegie Mellon University, Pittsburgh)
"Higher Inductive Types in Homotopy Type Theory"
Lars Birkedal (Aarhus University)
"Charge! a framework for higher-order separation logic in Coq."
Ulrich Kohlenbach (Technische Universitaet Darmstadt)
"Types in Proof Mining"
34 contributed talks were selected by the program committee.
IMPORTANT DATES
Access to the online registration system (still open) is through https://www.irit.fr/TYPES2013/Registration.html where the fees can be studied offline (several payment options are available, in particular safe payment by credit card).
SATELLITE EVENTS
All the details are accessible through the main web site of TYPES 2013.
Page maintained by:
Ralph Matthes
https://www.irit.fr/~Ralph.Matthes/

Last modified (date in French): jeu. avril 4 19:39:51 CEST 2013