Recent talks

On Selective Unboundedness of VASS . Talk given during 12th International Workshop on Verification of Infinite-State Systems, September 2010, Singapore.
Counter Systems for Data Logics . Invited talk during 12th European Conference on Logics in Artificial Intelligence, September 2010, Helsinki.
When Model-Checking Freeze LTL over Counter Machines Becomes Decidable . Concurrency, Verification & Security Seminars, Oxford, February 2010.
Covering and Boundedness Problems for Branching Vector Addition Vectors . Talk given during FST&TCS'09, Kanpur.
On the almighty wand . Seminar at DTU Informatics, Copenhagen, november 2009.
Reasoning about memory states with automata and tableaux . Worskhop on Tableaux versus Automata as Logical Decision Procedures, Oslo, July 2009.
Modal logics with Presburger constraints . GT MVTsi -- Séminaire, LABRI, Bordeaux, march 2009.
Reasoning about sequences of memory states . Seminar "Méthodes formelles pour les systèmes logiciels et matériels" (MeFoSyLoMa), Cachan, november 2008.
Model checking memoryful linear-time logics over one-counter automata . Talk given during Dagstuhl seminar "Beyond the finite: new challenges in verification and semistructured data", april 2008.
The complexity of temporal logic with until and since over ordinals . Talk given during LPAR'07, Yerevan, october 2007.
The effects of bounding syntactic resources on Presburger LTL (extended abstract) . Talk given during TIME'07, Alicante, june 2007.
Logics for specification and verification . Habilitation's defense, Cachan, june 2007.
Towards a model-checker for counter systems . Talk given during ATVA06, Beijing, october 2006.
Temporal logics over Presburger constraints . Invited talk given at the INTAS Workshop held in Olsztyn (june 2006) for the INTAS project 'Algebraic and Deduction Methods in NonClassical Logics and their Applications to Computer Science'.
Reasoning about transfinite sequences . IGM Seminar, Marne-La-Vallée, January 2006.
On the complexity of information logics . Invited talk at "Workhop on logical and algebraic foundations of rough sets", RFSFDGrC'05, Regina, September 2005.
On the freeze operator in constraint LTL . LIAFA Verification Seminar, Paris, May 2005.
Parameterized model-checking problems . Seminar at Centre Fédéré de Vérification, Bruxelles, June 2004.
Deciding regular grammar logics with converse through GF2 . Talk at the day of Action Spécifique ``Automates, modèles distribués et temporisés'', Cachan, January 2004.
(Modal) Logics for Semistructured Data (bis) . Invited talk at ``Third Workshop on Methods for Modalities (M4M-3)'', Nancy, September 2003.