[TYPES/announce] Workshop announcement "Proofs that and proofs why"

francesca.poggiolesi at unifi.it francesca.poggiolesi at unifi.it
Thu Oct 10 09:16:10 EDT 2013


Workshop Announcement

Proofs that and proofs why

Paris, France, 14-15 November 2013

Organised by Marco Panza and Francesca Poggiolesi


- Alan Baker (Swarthmore College)
- Arianna Betti (University of Amsterdam)
- Fabrice Correia (University of Neuchatel)
- Philippe de Rouilhan (CNRS-IHPST)
- Giovanni Sambin (University of Padua)
- Peter Schroeder-Heister (University of Tubinga)
- Peter Schuster (University of Leeds)
- Neil Tennant (Ohio State University)

Venue: IHPST, 13, rue du Four, 75006, Paris, France.

More information will be posted on the official workshop website at:


More information about the Types-announce mailing list