(selection of) Talks & courses * « back

ICDT 2020

ICDT'20: International Conference on Database Theory. (Online.) March 30–April 2, 2020.


MOSCA 2019

MOSCA: Meeting on String Constraints and Applications. Bertinoro, Italy, May 6–9 2019.


  • Talk on: Synchronized word relations
  • abstract [txt]
  • slides [very large html5]

EPIT 2019

EPIT: Spring school on Theoretical Computer Science on Databases, Logic and Automata. CIRM, Luminy, April 8–12, 2019.

  • Course on: Logic and automata for semi-structured data
  • abstract [txt]
  • notes [pdf]
  • slides [very large html5]

LOGIC 2016

LOGIC'16: Logical Structures in Computation Reunion Workshop, Simons Institute, Berkeley (CA), USA, December 11, 2017.

  • Talk on: Semantic Tractability of Conjunctive Queries
  • abstract [txt]
  • slides [pdf]

LFDS 2015

LFDS: Logical Foundations of Data Science. Turing Institute & UCL, London, UK, November 16-17, 2015.

  • Talk on: Path Logics for Querying Graphs
  • slides [pdf]

ESSLLI 2016 #1

ESSLLI'16: European Summer School in Logic, Language and Information. Bolzano, Italy, August 15–26, 2016.

ESSLLI 2016 #2

ESSLLI'16: European Summer School in Logic, Language and Information. Bolzano, Italy, August 15–26, 2016.

GT Vérif 2015

GT Vérif'15: Groupe de Travail sur la Vérification. Créteil, France, June 15–16, 2015.

  • Talk on: On reflexive-transitive navigation in the presence of data values
  • abstract [txt]
  • slides [pdf]

Dagstuhl 2014

Dagstuhl 14141: Reachability Problems for Infinite-State Systems. Dagstuhl, Germany, March 30 – April 4, 2014.

  • Talk on: Reasoning about data repetitions with counter systems
  • slides [pdf]
* Please write to me if you find errors, omissions, typos or if you have general comments.