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
Dagstuhl Seminar 24251 Teaching Support Systems for Formal Foundations of Computer Science, Jun 16–21, 2024.
(PC) JFIA 2024 Journées d’Intelligence Artificielle Fondamentale, 1er au 3 juillet 2024, La Rochelle, France.
(PC) Highlights 2024 September 16 to September 20 at the University of Bordeaux, France, in LaBRI.
(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.
|
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.
|
|