Professional Page of Victor Marsault

Slides used in talks associated with a publication (e.g. conference proceedings) may be found in page Publications.



Run-based semantics for RPQs.

Short presentation. Verigraph Meeting. Grenoble, France. 2024-04.
slides

Query languages for property graphs: From RPQs to Cypher.

Four hour segment. NoSQL and NewSQL M2 course. Université Gustave Eiffel, France. 2023-12.
slides

Introduction to querying with RPQs : semantics in theory and practice.

Long presentation. Séminaire automate. Université Paris-Cité, France. 2023-09.
slides

Using automata to realise additions.

Short presentation. Numeration worshop. Université de Liège, Belgium. 2023-05.
slides

Query languages for property graphs: RPQs in theory and practice.

Long presentation. Séminaire Modèle et Algorithme. Université Gustave Eiffel, Champs-sur-Marne, France. 2022-11.
slides

Introduction to property graphs: Data model and query languages.

Keynote. Action DOING, GDR MaDICS. Université Lyon 1, France. 2022-07.
slides

Run-based semantics for RPQs.

Lightning talk. Highlights workshop. Université Paris-Cité, France. 2022-06.
slides

Demonstration of Awali 2.1, a library for weighted automata and transducers.

Long presentation. Séminaire automate. Université Paris-Cité, France. 2022-01.

Introduction to View-Based Query Processing.

Long presentation. Séminaire du Département de mathématiques. Université de Liège, Belgium. 2019-10.

Demonstration of Awali 1.0.

Short presentation. Free Computational Mathematics Conference. CIRM, Luminy, France. 2019-02.

Data graphs: theory and practice.

Hallway Poster. Copernic, Université Gustave Eiffel, Champs-sur-Marne, France. 2019-01.
pdf

Formal semantics of Cypher: towards a standard language for querying property graphs.

Long presentation. GT Alga. Inria Nord Europe, Lille, France. 2018-10.
slides

Formal semantics of the query-language Cypher.

Long presentation. Séminaire de l'équipe Valda. DI, ENS, Paris, France. 2018-05.
slides

Formal semantics of the query-language Cypher.

Long presentation. Séminaire automate. IRIF, Université Paris-Cité, Paris, France. 2018-04.
slides

Formal semantics of the query-language Cypher.

Long presentation. Séminaire de l'équipe LINKS. CRIStAL, Université de Lille, France. 2018-02.
slides

An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention.

Long presentation. Séminaire automate. IRIF, Paris, France. 2017-03.
slides

An efficient algorithm to decide periodicity of b-recognisable sets using MSDF convention.

Short presentation. Séminaire vérification. Université Libre de Bruxelles, Belgium. 2017-02.
slides

The Successor Function for Minimal Words in Rational Base Numeration Systems.

Long presentation. Verification Seminar. Oxford, United Kingdom. 2016-06.
slides

Breadth-first signature and numeration systems.

Long presentation. Séminaire automate. LIAFA, Université Paris 7, Paris, France. 2014-10.
slides

Breadth-first serialisation of trees and rational languages.

Short presentation. Journées Montoises d'informatique théorique. Nancy, France. 2014-09.
slides

Breadth-first serialisation of trees and rational languages.

Short presentation. Numeration and Substitution workshop. Debrecen, Hungary. 2014-07.
slides

Rational base number systems: BLIP languages and finitely generated monoids.

Long presentation. Séminaire. Rouen, France. 2014-02.
slides

Ultimate periodicity of b-recognisable sets: a quasilinear procedure.

Long presentation. Séminaire de Mathématiques Discrètes. Université de Liège, Belgium. 2014-01.
slides

Rhythmic generation of infinite trees and languages.

Short presentation. Journée de rentrée de l'équipe automate. Université Paris 7, France. 2013-10.
slides

Auto-similarity in rational base number systems.

Short presentation. Automata Theory and Symbolic Dynamics Workshop. Pacific Institute for the Mathematical Sciences, Vancouver, Canada. 2013-06.
slides

On number sets rationally represented in a rational base number system.

Short presentation. Journées Montoises d'informatique théorique. Université catholique de Louvain, Louvain-la-Neuve, Belgium. 2012-09.
slides

Toward a strutural proof of Honkala’s theorem.

Short presentation. Journée de rentrée de l'équipe Automate. LIAFA, Université Paris 7, Paris, France. 2011-10.

français english

Last update : 2024.12.12