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

[francesca.poggiolesi at unifi.it]

------------------------------------------------------------------

Workshop Announcement

Proofs that and proofs why

Paris, France, 14-15 November 2013

Organised by Marco Panza and Francesca Poggiolesi

Speakers:

- 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:

https://sites.google.com/site/proofsthatandwhy/programme