Talks: september 2016-may 2017


17 september 2016: L’analyse  cognitive  :  appliquer  les  sciences  cognitives  à  l’amélioration  de  l’enseignement, invited speaker at Préparer la nouvelle génération de psychologues : objectifs, méthodes et ressources dans l’Enseignement de la Psychologie

19 september 2016: The Ideal Theory for WSTS, invited speaker at RP'2016

17 november 2016: 2ème Journée Initiatives Pédagogiques, Univ. Saclay, Maison de l'ingénieur, Orsay.
Animation d'un atelier avec 25 participants:  Plaisir d'enseigner, plaisir d'apprendre.

16 december 2016: Qu'est-ce que penser ? Invited seminar at Paris 1 and Paris 7 Universities

23-25 january 2017: 2 seminars at Chennaï Mathematical Institute (CMI). Le théorème d'Erdös et Tarski et WBTS the new class of WSTS

7-8 mars 2017 Formation des MCF débutants de l'Univ. de Nantes, organisé par le SUP de l'Univ. de Nantes, 7-8 mars 2017. (en collaboration avec Thomas Rabeyron, MCF en psychologie clinique).

23 april 2017: WBTS: the new class of WSTS without WQO
invited speaker at the SynCoP + PV 2017 4th International Workshop on Synthesis of Complex Parameters (SynCoP) and 3rd International Workshop on Parameterized Verification (PV)

9 may 2017:
WBTS: the new class of WSTS without WQO seminar at LaBRI, Bordeaux

11 may 2017: Trois histoires secrètes, invited speaker at the 20 ans du LSV

3-7 july 2017: Gregynog 71717: Workshop on Vector Addition Systems and related stuff

12 july 2017: With Etienne Lozes, Synchronizability of Communicating Finite State Machines is not Decidable, ICALP'2017

july 2017: CAV'2017