1-2 Jun 2017
Paris, France
---------------------------------------------------------------------------------------------------------------------------------------------- International Workshop: Proofs 1-2 June 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. The workshop will bring together leading researchers and practitioners in philosophy, computer science and mathematics to discuss the topic of proofs. It has been co-funded by the IHPST, UMR 8590 and SND, FRE 3592 laboratoires, as well as Ecole doctorale Concepts et Langages of the Université Paris-Sorbonne (ED 433). There will be talks by: Andrew Arana (Université de Paris 1 Panthéon-Sorbonne, IHPST) Serenella Cerrito (Université d?Evry Val d'Essonne) Agata Ciabattoni (Technische Universität Wien) Jacques Dubucs (CNRS, SND, Paris) Rosalie Iemhoff (Universiteit Utrecht) Peter Milne (University of Stirling) Florian Steinberger (University of London) Silvia de Toffoli (Stanford University) The program of the workshop can be seen at the following page: https://sites.google.com/site/poggiolesi/home Organized by: F. Pataut (SND, Paris) F. Poggiolesi (IHPST, Paris) 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 (Title : 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