| HEADLINES
Annual Meeting of the Data, Automata, Algebra, and Logic French Working Group GT DAAL, IRISA, Rennes, April 25-26, 2024. (Deadline April 1st, 2024).
Workshop on automata theory and its connection with algebra and logicATLAS '24, EPITA Rennes, April 23-24, 2024.
!! Open positions at Uni Rennes in 2024 !! 3PR+9MCF
Book (in French) Logique : fondements et applications P. Le Barbenchon, S. Pinchinat, F. Schwarzentruber. Dunod, 2022.
|
FORTHCOMING EVENTS
(PC) ATVA 2024 22nd International Symposium on Automated Technology for Verification and Analysis, October 21-24, 2024, in Kyoto, Japan.
(Invited talk) TIME 2024 31st International Symposium on Temporal Representation and Reasoning, Oct. 28–30, 2024, in Montpellier, France.
(Lecturer) 24th ANU Logic Summer School December 2 – 13, 2024, Canberra, Ngunnawal and Ngambri Country, Australia.
(Invited talk) ICLA 2025 11th Indian Conference on Logic and its Applications
Indian Statistical Institute Kolkata, India
February 3 – 5, 2025.
|
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 the Plate-Forme Intelligence Artificielle.
- Each year, I am involved in many PhD and HDR committees in theoretical computer science and AI.
|
|
