1-2 Jun 2017
Paris, France
International Workshop: Proofs 1-2 Juin 2017 IHPST, Paris, France The Institute of History and Philosophy of Sciences and Techniques (IHPST) hosts a workshop on Proofs on the 1st and 2nd of June 2017. There will be talks by: Andrew Arana (Université de Paris 1 Panthéon-Sorbonne, IHPST) Agata Ciabattoni (Technische Universität Wien) Serenella Cerrito (Université d?Evry Val d'Essonne) Jacques Dubucs (SND, CNRS) Rosalie Iemhoff (Universiteit Utrecht) Peter Milne (University of Stirling) Florian Steinberger (University of London) Silvia de Toffoli (Stanford University) The program of the workshop is in attachment. Organized by: F. Poggiolesi (IHPST, Paris) A. Sereni (IUSS, Pavia) Place of the workshop : Salle de conférence, 13 rue du Four (second floor), 75006, Paris. The workshop is open to everyone but attendance should be notified to: poggiolesi@gmail.com (Titre : Proofs) -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam