|
(selection of)
|
Talks & courses *
|
« back
|
RW Summer School 2021
RW School'21: Reasoning Web Summer School 2021. (Online.) September 8–15, 2021.
- Talk on: Foundations of Graph Path Query Languages
- abstract [html]
- slides [very large pdf]
- video [streaming]
- notes [pdf]
|
PODS 2022
PODS'22: Symposium on Principles of Database Systems, June 2022, Philidelphia, United States.
- Talk on: When is the Evaluation of Extended CRPQ Tractable?
- video [streaming]
- paper [pdf]
|
ICDT 2020
ICDT'20: International Conference on Database Theory. (Online.) March 30–April 2, 2020.
|
KR 2020
KR'20: International Conference on Principles of Knowledge Representation and Reasoning. (Online.) September 12-18, 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]
|
|
|