François Schwarzentruber

• Professor in the computer science departement at ENS de Lyon
• Member of MC2 at LIP, UMR 5668
• Email: shortfirstname.myloooooooooooooooonglastname🐌ens-lyon.fr (replace ç by c)
• LIP, ENS Lyon, 46 allée d’Italie, 69364 Lyon Cedex 07 - France
• Office GN1.329 S

☕ Research

• Research interests: artificial intelligence, reasoning about knowledge, multi-agent systems, planning and logic
• ANR project on epistemic reinforcement learning
• Publications: DBLP, HAL, ORCID

News

• Our work Spanning-tree based coverage for a tethered robot accepted in the IEEE Robotics and Automation Letters
• Our work A Simple Integration of Epistemic Logic and Reinforcement Learning accepted at AAMAS 2025
• Our work A Computationally Grounded Framework for Cognitive Attitudes accepted at AAAI 2025
• Our work on contextual reasoning won the Best Student Paper Award at KR 2024
• Our work on reasoning about graph neural networks has been accepted at IJCAI 2024.

PhD Students

• Victorien Desbois (2023-), co-supervised with Zoltan Miklos and Ocan Sankur
• Thibaut Le Marre (2023-), co-supervised with Jilles Dibangoye and Ocan Sankur
• Arthur Queffelec (2018-2020), co-supervised with Ocan Sankur
• Tristan Charrier, co-supervised with Sophie Pinchinat

✎ Teaching

Current Courses

• L3IF - INFO3105: Programming
• L3IF - INFO3207: Research internships
• M1IF - INFO4102 & INFO4208: Integrated projects
• M1IF - INFO4215: Databases (first part of the course “Databases and dataming”)

Previous Courses

• Kit de survie en logique pour l’agrégation
• Kit de survie en calculabilité pour l’agrégation
• Algorithmique
• Théorie de la complexité
• Probabilité et statistiques

Books

• Logique : Fondements et applications. With Pierre Le Barbenchon, Sophie Pinchinat. Dunod, 2022
• Compilation : analyse lexicale et syntaxique, co-written with Romain Legendre
• Kripke’s Worlds, co-written with Olivier Gasquet, Andreas Herzig, Bilal Said

Software

• Tableaunoir: an online blackboard solution for teaching, sharing ideas, and making animations and presentations (see talk @ FOSDEM 2023)
• Hintikka’s world: an online tool for learning modal logic
• Other pieces of software on my github account

💓 Curriculum vitae

Academic Positions

• 2024 - …: Professor at ENS de Lyon, member of MC2 at LIP
• 2011 - 2024: Associate professor at ENS Rennes, member of LogicA at IRISA
• 2010 - 2011: ATER at Université de Toulouse 3, member of LiLAC at IRIT

Education

• 2019 Habilitation (HDR) in Computer Science from ENS Rennes
  • Epistemic reasoning in AI
  • Defense date: May 3th, 2019
• 2010 PhD in Computer Science from the Université Paul Sabatier, Toulouse, France
  • Seeing, Knowing, doing: case studies in modal logic
  • Advisor: Olivier Gasquet
  • Defense date: December 1th, 2010

Professional Activities

• PC member for IJCAI 2011, 2016-2024
• PC member for AAAI 2019-2023
• Senior PC member for AAAI 2024
• PC member for AAMAS 2025, 2018-2024
• PC member for KR 2018, 2020, 2021
• PC member for the demonstration track at IJCAI 2019-2024
• PC member for ECAI 2020-2022, 2024

Organization

• Co-organizer of Journées synthèse de programmes 26-27 november 2024
• Co-organizer of french conference JFPDA 2021-22
• Co-organizer of the french conference JIAF-JFPDA 2023, 2024, 2025, with Zied Bouraoui, Jean-Guy Mailly and Anaëlle Wilczynski
  
• Co-organizer of the workshop FCR 2023
• Co-organizer of the workhop FOMEO 2022 at CAV’22 and FLoC’22
• Co-organizer of the workhop SR 2019 at IJCAI 2019
• Co-organizer of the workshop FMAI 2019
• Co-organizer of the french conference RJCIA 2018
• Co-organizer of the conference tools for teaching logic 2015

🎹 Piano

• Short musical bio at Les Amateurs Virtuoses !
• Gershwin, Three preludes
• 23rd International Piano Competition IDF
• Concert at FLOC 2022