HEADLINES
Invited talk at the Virtual Talk Series 2023 of IEEE CSS TC DES, May 25, 2033.
Book (in French) Logique : fondements et applications P. Le Barbenchon, S. Pinchinat, F. Schwarzentruber. Dunod, 2022.
|
FORTHCOMING EVENTS
JFIA-JFPDA (PC) Journées d’Intelligence Artificielle Fondamentale et Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes
06-07 Juillet 2023, Strasbourg, France.
WoLLIC 2023 (PC) 29th Workshop on Logic, Language, Information and Computation, Dalhousie University in Halifax, Canada, July 11-14, 2023.
Highlights 2023 (invited talk) Highlights of Logic, Automata and Games, Kassel, Germany, July 24-28, 2023.
MFCS 2023 (PC) Mathematical Foundations of Computer Science, Bordeaux, France, August 28-31, 2023.
GandALF 2023 (invited talk) Games, Automata, Logics, and Formal Verification
18–20 September 2023, Udine, Italy.
RADICAL (PC) Third International Workshop on
Recent Advances in Concurrency and Logic, 18 September 2023, Antwerp, Belgium. Co-located with CONFEST 2023.
|
ACTIVITIES - MEMBERSHIP
- Each year, I am involved in many PC boards: such as MFCS, WoLLIC, IJCAI, AAMAS, AAAI, AiML, ICALP, LICS, CSL, LAMAS&SR, TIME (see here for accurate details)
- Each year, I am involved in many national events to promote computer science and AI, see for instance PFIA 2023.
- Each year, I am involved in many PhD and HDR committees in theoretical computer science and AI.
|
|