Les conférences de rentrée 2021 auront lieu du mercredi 1er septembre au mercredi 8 septembre 2021, en visio-conférence, sur BlackBoard Collaborate. (BBCollaborate vous demandera votre nom; donnez-le moi vraiment, histoire que je sache qui est là!)
We will have excellent speakers, dont deux de France, and the other two from Sweden and Poland, respectively. Hence some of the talks will be in English, d’autres seront en Français.
- Valérie Berthé, IRIF, CNRS et Université de Paris
An Introduction to Combinatorics
(Mercredi 1er septembre, 14h-17h15) - Bartek Klin, Faculty of Mathematics, Informatics and Mechanics (MIMUW), Warsaw University, Poland
Computation Theory over Sets with Atoms
(Monday, September 6th, 9h-12h15; link to the conference) - Gerardo Schneider, Formal Methods Division, Department of Computer Science and Engineering, a shared department between Chalmers and the University of Gothenburg, Gothenburg, Sweden
A Gentle Introduction to Runtime Verification of Autonomous Systems
(Tuesday, September 7th, 9h-12h15; link to the conference) - Arnaud Tisserand, Lab-STICC, CNRS, Lorient
Introduction to Efficient and Secure Arithmetic Circuits
(Mercredi 8 septembre après-midi, via BBCollaborate, comme d’habitude)