Scientific committees, seminars and workshops

Seminars

Since 2016, I am in charge, together with F. Pataut, of the PHILMATH seminar at the IHPST, Paris.

2020-2023, I have been in charge together with L. Incurvati and F. Pataut of the PHILMMATH-EXPRESS seminar, a joint seminar between IHPST and SND, Paris and the EXPRESS group, Université of Amsterdam.

2013-2015, I have been in charge of the Séminaire Générale, CEPERC, Aix-en Provence

Organisation of workshops and conferences

2022 - «Mathematical explanations: ideas, models and perspectives», together with F. Genco, 9-11 may , IHPST, Paris, France. Invited speakers: A. Arana, J. Avigad, S. Baron, J. Dougherty, P. Huneman, L. Jansson,  A. Kasirzadeh, E. Lehet,  C.Pincock, D. Sarikaya.

2021 - «Explanation between logic and philosophy», together with F. Genco, 21-23September,IHPST, Paris, France. Invited speakers: F. Correia, O. Harari, C. Jenkins, O. T. Hjortland.

  - «Truth, proof and communication», together with L. Incurvati and A.Naibo, 14-16 June, On-line. Invited speakers: L. Bussière, F. Genco, G. Sbaordolini, F. Poggiolesi, A. Ozgun, Y. Thakhashi. 

2019 - «Dagsthul seminar: Conditional Logics and Conditional Reasoning», together with G. Aucher, P. Egré et G. Kern-Isebrner, 13-16  January, Dagsthul, Germany. 

2017 - «Mathematical and Metaphysical Explanation: New Perspectives», together with A. Sereni, 14-16 December, IUSS, Pavia, Italy. Invited speakers: M. Carrara, C. de Florio, P. Garavaso, O. Linnebo, J. Litland, M. Plebani, F. Poggiolesi, R. Schwartzkopff, A. Sereni, T. Tahko, N. Thompson.

  - «Mathematical and Metaphysical Explanation: New Perspectives», together with A. Sereni, 2-3 February, IHPST, Paris, France. Invited speakers: A. Arana, L. Incurvati, M. Lange, M. Leng,  H. Leitgeb, ,D. Molinini, , S. Roski, . 

       - «Proofs», together with F. Pataut, 1-2 June, IHPST, Paris, France. Invited speakers: A. Arana, S. Cerrito,A. Ciabattoni, J. Dubucs, R. Iemhoff, P. Minle, S. de Toffoli, F. Steinberger.

2013 - «Proofs that and proofs why », together with M. Panza, 14-15 November, IHPST, Paris, France. Invited speakers: A. Baker, A. Betti, F. Correia, P. de Rouilhan, G. Sambin, P. Schuster, P. Schroeder-Heister, P. Schuster, N. Tennant. 

       «LoQI (Logic, Question and Inquiry) International Conference », in the organisation committee, 30 may - 1 june, IHPST, Paris, France.

2012 - «Cross Perspectives on Proof systems and their Significance », together with M. Petrolo, 3 may, ENS, Paris, France. Speakers: P. Blackburn, K. Dôsen, D. Galmiche, D. Miller, T. Piecha, F. Poggiolesi.

2011 - «Proof Systems at the Test of Computer Science: Foundational and Applicational Encounters », together with G. Primero, in 14 Congrès de Logique, Méthodologie et Philosophie des Sciences, 19-26 july, Nancy, France. Speakers: A. Ciabattoni, S. Hetzl, S. Kremer, V. de Paiva, L. Strassburger.

     «Dynamics in Logic », together with S. Smets, 3 may, Vrije Universiteit Brussel, Bruxelles, Belgium. Speakers: P. Allo, A. Herzig, J. Lang, F. Poggiolesi, S. Rahman, G. Sandu, S. Smets.

2010 - «Meaning and Proofs - Logical and Philosophical Perspectives», together with M. Petriolo, 22 march, Maison des Sciences de l’Homme, Paris. Speakers: J. Fichot, J. B. Joinet, M. Petrolo, P. Schroeder-Heister, G. Sundholm, N. Zeilberger.

2008 - «Studia Logica International Conference. Logic and foundations of physics : space, time and quanta», in the organisation committee. 11-12 december, University Foundation, Bruxelles, Belgium Organization Committee

Scientific Committees 

2024 -  Beth Dissertation Prize,

              Logic Colloquium,

               NCL 24,

               PHILMATH 24, 

2023 - Beth Dissertation Prize,

               ESAP 2023,

               WOLLIC 2023, 

2022 - Beth Dissertation Prize,

                NCL 22,

2019  - Tabelaux 2019, London, UK, 

              - TARK Conference , Toulouse, France,

            - Ph.D Logic Conference, Bern, Switzerland,

2018 - Louis Couturat Logic Prize, France,

2017 - - FPMW 9, 5-7 October, Nancy, France, 

              Graduate Philosophy of Mathematics Conference, 13-14 July, Trento, Italy,

2016 - FPMW 8, 3-5 November, Marseille, France,

          PhilMath conference, 26-28 May, Chieti, Italy,

2014 - SPS conference, 25-27 Juin, Lille, France,

2013 - La Preuve et Ses Moyens Conference, 13-19 January, Rochebrune, France,

           LoQI International Conference, 14-16 Juin, Paris, France,

2011-  LORI III Conference, 10-13 Octobre, Guangzhou, China.