Recent talks

Resourcebounded ATL: The Quest for
Tractable Fragments.
Conference Nationale Intelligence Artificielle (CNIA),
Toulouse, July 2019.

Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard?.
Seminar at I3S, Sophia Antipolis, June 2019.

Modal Separation Logics: Complexity and Axiomatisation
.
Workshop on Formal Methods and AI, Rennes, May 2019.

A framework for Modalities and Separating Connectives
.
Dept. of Computing, Imperial College, London, April 2019.

A short introduction to ATLlike logics with resources
.
Talk for the day of the
PEPS FormHuLog, LIMSI, November 2018.

On temporal and separation logics
.
Invited talk at TIME'18, Warsaw, October 2018

On the complexity of modal separation logics
.
AiML'18, Bern, August 2018

On Symbolic Heaps Modulo Permission Theories
.
TCS Seminar, KTH, Stockholm, May 2018

Reasoning about data repetitions with counter systems
.
Workshop LIA INFINIS, IRIF, Paris, Nov. 2016

On the complexity of resourcebounded logics
.
10th International Workshop on Reachability Problems (RP'16), Aalborg, Denmark, September 2016.

Reversalbounded counter machines
.
Workshop on Logics for ResourceBounded Agents, Barcelona, August 2015.

Separation logic and fragments: from expressive power to decision procedures
.
Seminar at IBM Thomas J. Watson Research Center, NY,
March 2015.

IOF, ACSys and WMSO+U
.
Gdt INFINI, Cachan, January 2015.

Verification of LinearTime Properties on Flat Counter Systems
.
Oberseminar "Theoretische Informatik", Kassel, November 2014.

Two variables and the magic wand
.
LORIA, Nancy, September 2014.

Quantifier Elimination in Separation Logic:
One Quantified Variable Fragment
.
ACSys seminar, NYU, February 2014, New York.

Counter Systems: The Quest for Pushing the Decidability Borders
.
Joint invited talk, FROCOS'13 &
TABLEAUX'13, September 2013, Nancy.

How good are counter systems for data logics
.
ACSys seminar, NYU, May 2013, New York.

LinearTime Temporal Logics over Concrete Domains
.
ACSys seminar, NYU, March 2013, New York.

On Selective Unboundedness of VASS
.
Talk given during
12th International Workshop on Verification of InfiniteState Systems, September 2010, Singapore.

Counter Systems for Data Logics
.
Invited talk during 12th European Conference on Logics in Artificial
Intelligence, September 2010, Helsinki.

When ModelChecking Freeze LTL over Counter Machines Becomes Decidable
.
Concurrency, Verification & Security Seminars, Oxford, February 2010.

Covering and Boundedness Problems for Branching Vector Addition Systems
.
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 lineartime logics over onecounter 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 modelchecker 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, MarneLaVallé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 modelchecking 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 (M4M3)'', Nancy,
September 2003.