20-21 Mar 2020
Tuebingen, Germany
******************************************************************************* Call For Participation: Workshop "Proofs, Computation and Meaning" University of Tübingen (Germany), 20-21 March 2020 http://ls.informatik.uni-tuebingen.de/PCM/ ******************************************************************************* SCOPE: Around thirty years after the fall of Hilbert's program, the proofs-as-programs paradigm established the view that a proof should not be identified, as in Hilbert's metamathematics, with a string of symbols in some formal system. Rather, proofs should consist in computational or epistemic objects conveying evidence to mathematical propositions. The relationship between formal derivations and proofs should then be analogous to the one between words and their meanings. ?This view naturally gives rise to questions such as ?which conditions should a formal arrangement of symbols satisfy to represent a proof?? or ?when do two formal derivations represent the same proof?". These questions underlie past and current research in proof theory both in the theoretical computer science community (e.g. categorical logic, domain theory, linear logic) and in the philosophy community (e.g. proof-theoretic semantics). In spite of these common motivations and historical roots, it seems that today proof theorists in philosophy and in computer science are losing sight of each other. This workshop aims at contributing to a renaissance of the interaction between researchers with different backgrounds by establishing a constructive environment for exchanging views, problems and results. ******************************************************************************* IMPORTANT DATES: Extended registration deadline: 26 February 2020 Workshop: 20-21 March 2020 Warm-up for Master and PhD students: 19 March 2020 ******************************************************************************* INVITED SPEAKERS: In addition to regular invited talks, the workshop includes two tutorials, aimed at introducing recent ideas on the correspondence between proofs, programs and categories as well as to the historical and philosophical aspects of the notions of infinity and predicativity. Tutorials: - Laura Crosilla (University of Oslo) - Noam Zeilberger (École Polytechnique) Regular speakers: - Bahareh Afshari (University of Gothenburg) - Federico Aschieri (TU Vienna) - Gilda Ferreira (Universidade Aberta, University of Lisbon) - Dominic Hughes (UC Berkeley) - Alberto Naibo (Paris 1 University) - Gabriel Scherer (INRIA, Saclay) Contributed speakers: - Matteo Acclavio (INRIA Saclay) - David Binder (Tübingen Univerisity) - Patr??cia Engrácia (Lisbon University) - Herman Geuvers (Nijmegen \& Eindhoven University) - Iris van der Giessen (Utrecht University) - Hidenori Kurokawa (Kanazawa University) - David Pym (University College London) - Antonio Piccolomini d'Aragona (Aix-Marseille University) - Peter Schuster (University of Verona) - Lutz Strassburger (INRIA Saclay) ******************************************************************************* CALL FOR PARTICIPATION: If you wish to attend, please send an e-mail to luca.tranchini@gmail.com or paolo.pistone@uniroma3.it by 26 FEBRUARY. A warm-up for master and PhD students introducing the proofs-as-programs correspondence between proof theory and type theory will be organized on 19 March the day before the start of the workshop. (The warm-up will consists in two 2-hours lectures by the organizers). There might be possibility to get ECTS credits for PhD students attending the workshop. ******************************************************************************* REGISTRATION: There will be a small registration fee (20 euros) covering both coffee breaks and the social dinner to be paid on arrival. ******************************************************************************* ORGANIZERS: Luca Tranchini (Tübingen University), luca.tranchini@gmail.com Paolo Pistone (Bologna University), paolo.pistone@uniroma3.it -- [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