Seminars
Since 2025, I am in charge, together with D. Bonnay, P. Huneman, and M. Schuele of he seminar Philosophy and AI.
Since 2025, I am in charge, together with A. Arana, V. Giardino, and Y. Hamami of he seminar PANALM.
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.