Seminars

Links' Seminars and Public Events Add to google calendar
2019
Fri 24th May
11:00 am
12:00 pm
Add event to google
Seminaire Sławek
Fri 10th May
11:00 am
12:00 pm
Add event to google
Seminaire Iovka
Fri 12th Apr
11:00 am
12:30 pm
Add event to google
Alexandre Vigny in Links Seminar
Fri 5th Apr
11:00 am
12:00 pm
Add event to google
Semyon Grigorev in Links' seminar
Fri 5th Apr
11:00 am
12:30 pm
Add event to google
Talk of Semyon Grigorev
Title: Parsing techniques for context-free path querying
Abstract: Context-free path querying (CFPQ) is a case of language constrained path querying: the way to specify constraints on paths in a graph in terms of formal languages. In CFPQ language is restricted to be a context-free. Classical parsing techniques and algorithms, such as generalized LR and LL parsing, or parser combinators, can be used for CFPQ. Results of adaptation of different parsing techniques for CFPQ will be presented.
Show in Google map
B31
Fri 22nd Mar
10:00 am
11:30 am
Add event to google
Seminar LINKS by Aurelien Lemay "Tutorial: Grammatical Inference"
Fri 8th Mar
11:00 am
12:00 pm
Add event to google
Seminar Momar
Title: Regular Matching and Inclusion on Compressed Tree Patterns with Context Variables

Abstract: We study the complexity of regular matching and inclusion for compressed tree patterns extended by context variables. The addition of context variables to tree patterns permits us to properly capture compressed string patterns but also compressed patterns for unranked trees with tree and hedge variables. Regular inclusion for the latter is relevant to certain query answering on Xml streams with references.
Fri 15th Feb
11:00 am
12:00 pm
Add event to google
Seminar [Florent]
Wed 13th Feb
1:30 pm
2:30 pm
Add event to google
30mn de science : Florent Capelli on Knowledge Compilation

Show in Google map
Inria salle Plénière (Bâtiment A)
Fri 1st Feb
11:00 am
12:30 pm
Add event to google
Bruno Guillon in Links' seminar
Title: Finding paths in large graphs

Abstract:
When dealing with large graphs, classical algorithms for finding paths such as Dijkstra's Algorithm are unsuitable, because they require to perform too many disk accesses. To avoid this while keeping a data structure of size quasi-linear in the size of the graph, we propose to guide the path search with a distance oracle, obtained from a topological embedding of the graph.
I will present fresh experimental research on this topic, in which we obtain graph embeddings using learning algorithms from natural language processing. On some graphs, such as the graph of publications from DBLP, our topologically-guided path search allows us to visit a small portion of the graph only, in average.
This is joint work with Charles Paperman.
Show in Google map
B21 Room
2018
Fri 23rd Nov
11:00 am
12:30 pm
Add event to google
Filip Mazowiecki in Links' seminar
Title: Containment for Probabilistic automata.

Abstract: This is an ICALP 2018 paper. We analyze when the model of probabilistic
automata has decidable properties, when restricting the ambiguity. The
notion of ambiguity is usually used in weighted automata or transducers,
but we follow a recent paper by Fijalkow, Riveros and Worrell, which
introduced this approach. We do not solve everything but our decidability
results rely unexpectedly on Schanuel's conjecture and we provide some
geometric intuition behind the hardness of the problem.
Fri 16th Nov
11:00 am
12:30 pm
Add event to google
Aurelien Lemay's Habilitation defense
Show in Google map
IRCICA
Thu 15th Nov
4:30 pm
5:30 pm
Add event to google
Andreas Maletti in Aurélien Lemay's prehabilitation seminar
Show in Google map
Lille-Salle B21
Thu 15th Nov
3:30 pm
4:30 pm
Add event to google
Henning Fernau in Aurélien Lemay's prehabilitation seminar:
Show in Google map
Lille-Salle B21
Fri 9th Nov
11:00 am
12:30 pm
Add event to google
Talk of Bruno Guillon
Abstract: The time complexity of 1-limited automata is investigated from a
descriptional complexity view point. Though the model recognizes
regular languages only, it may use quadratic time in the input length.
We show that, with a polynomial increase in size and preserving
determinism, each 1-limited automaton can be transformed into a
linear-time equivalent one. We also obtain polynomial transformations
into related models, including weight-reducing Hennie machines (i.e.,
one-tape Turing machines syntactically forced to operate in
linear-time), and we show exponential gaps for converse
transformations in the deterministic case.
Fri 26th Oct
11:00 am
12:30 pm
Add event to google
Momar Sakho in Links seminar
"Lieu : Lille, Salle : A12"
Thu 18th Oct
4:00 pm
5:00 pm
Add event to google
Talk of Mikael Monet
Title: Combined Complexity of Probabilistic Query Evaluation

Abstract:
Query evaluation over probabilistic databases (probabilistic query evaluation, or PQE) is known to be intractable in many cases, even in data complexity, i.e., when the query is fixed. Although some restrictions of the queries and instances have been proposed to lower the complexity, these known tractable cases usually do not apply to combined complexity, i.e., when the query is not fixed. This talk gives an overview of my PhD research, which investigates which queries and instances ensure the tractability of PQE in combined complexity.

I will first present our work on PQE of conjunctive queries on binary signatures, which can be rephrased as a probabilistic graph homomorphism problem. We restrict the query and instance graphs to be trees and show the impact on the combined complexity of diverse features such as edge labels, branching, or connectedness. This is joint work with Antoine Amarilli and Pierre Senellart and was presented at PODS'2017.

Second, we will explore the combined complexity of evaluating queries on treelike databases, i.e., databases whose treewidth is bounded by a constant. We introduce a class of queries (named 'CFG-Datalog') which generalizes many known query languages that are tractable in this context. Specifically, we show that the (non-probabilistic) evaluation of CFG-Datalog on treelike databases can be solved with complexity linear in the product of the instance size and of the query size. In the process, we introduce a new representation of the provenance of a query on a database, based on cyclic Boolean circuits. This is joint work with Antoine Amarilli, Pierre Bourhis, and Pierre Senellart, and was presented at ICDT'2017.

Last, we will move to the field of knowledge compilation and present our work that connects various notions of width for Boolean circuits. We show that circuits of bounded treewidth can be efficiently compiled into structured deterministic decomposable normal forms (d-SDNNFs), which in particular allows efficient probability computation. We show the implications of this result for PQE of CFG-Datalog on treelike databases. We also prove general lower bounds on knowledge compilation formalisms, which imply lower bounds for provenance computation. This is joint work with Antoine Amarilli and Pierre Senellart and was presented at ICDT'2018.
"Lieu : Lille, Salle : B21"
Fri 28th Sep
10:15 am
11:45 am
Add event to google
José Lozano Links seminar
Fri 21st Sep
10:30 am
12:00 pm
Add event to google
Fabian Reiter in Links' Seminar: Descriptive distributed complexity
This talk connects two classical areas of theoretical computer science: descriptive complexity and distributed computing. The former is a branch of computational complexity theory that characterizes complexity classes in terms of equivalent logical formalisms. The latter studies algorithms that run in networks of interconnected processors.

Although an active field of research since the late 1970s, distributed computing is still lacking the analogue of a complexity theory. One reason for this may be the large number of distinct models of distributed computation, which make it rather difficult to develop a unified formal framework. In my talk, I will outline how the descriptive approach, i.e., connections to logic, could be helpful in this regard.
Show in Google map
Salle B21
Fri 7th Sep
11:00 am
12:30 pm
Add event to google
Rustam Azimov in Links Seminar: "Context-Free Path Querying by Matrix Multiplication"
Fri 25th May
10:00 am
11:30 am
Add event to google
Nicolas Crosetti in Links' Seminar: Dependency weighted aggregation
Show in Google map
Lille B21
Fri 27th Apr
10:30 am
12:30 pm
Add event to google
Yann Strozecki in Links' Seminar: Methods in enumeration
In enumeration we are interested in generating a set of solutions, while bounding the time needed to generate one solution. We will first present the complexity measures used in this context, simple theoritical results and a few open questions.
We then introduce classical problems in this area such as the enumeration of: trees, models of a DNF, model of a FO or MSO formula, the maximal cliques of a graph, circuits of a matroid ...
We use them to illustrate the algorithmic toolbox of enumeration (Gray Code, backtrack search, reverse search, saturation...).
Show in Google map
Lille B21
Wed 25th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 20th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 13th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 13th Apr
10:00 am
12:00 pm
Add event to google
Iovka Boneva and Jérémie Dusart in Links' Seminar: Shape Expressions Schemas 2.0 : Semantics and Implementation
We will present the semantics of the ShEx language, its implementation
in java, and future directions of research.
Show in Google map
Salle B21
Fri 6th Apr
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 30th Mar
2:15 pm
3:45 pm
Add event to google
Nicolas Stage
Show in Google map
Jan's office
Fri 23rd Mar
10:00 am
11:30 am
Add event to google
Paul Gallot: High-Order Tree Transducers
Paul présentera le papier de Sylvain, Aurélien et Paul, soumis à LICS 2018, sur le sujet des transducteurs d'arbres d'ordre supérieur.
Wed 21st Mar
2:00 pm
3:15 pm
Add event to google
répétition Delta

Fri 16th Mar
10:00 am
11:30 am
Add event to google
Luc Dartois in Links' Seminar: A Logic for Word Transductions with Synthesis
In this talk I present a logic, called LT, to express properties of transductions, i.e. binary relations from input to output (finite) words. I argue that LT is a suitable candidate as a specification language for verification of non reactive systems, extending the successful approach of verifying synchronous systems via Mealy Machines and MSO.

In LT, the input/output dependencies are modelled via an origin function which associates to any position of the output word, the input position from which it originates. LT is well-suited to express relations (which are not necessarily functional), and can express all regular functional transductions, i.e. transductions definable for instance by deterministic two-way transducers.
Despite its high expressive power, LT has decidable satisfiability problems. The main contribution is a synthesis result: it is always possible to synthesis a regular function which satisfies the specification.

Finally, I explicit a correspondence between transductions and data words. As a side-result, we obtain a new decidable logic for data words.
Show in Google map
Inria Lille
Fri 9th Mar
10:00 am
11:00 am
Add event to google
Benjamin Bergougnoux : Counting minimal transversals of hypergraphs
A transversal of a hypergraph H is a subset of vertices that
intersects all the hyper-edges H. The enumeration and the counting of
the minimal transversals have a lot of applications in many domains
(graph theory, AI, datamining, etc). Counting problems are generally
harder than theirs associated decision problems. For example, finding
a minimal transversal is doable in polynomial time but counting them
is #P-complet (the equivalent of NP-complet for counting problems).

We have proved that we can count the minimal transversals of any
beta-acyclique hypergraph in polynomial time. Our result is based on
a recursive decomposition of the beta-acyclique hypergraph founded by
Florent Capelli and by the introduction of a new notion that
generalize the minimal transversals.

A lot of exciting open questions live in the neighborhood of our
result. In particular, our algorithm is able to count the minimum
dominating set of a strong-chordal graph. But counting the minimum
dominating set is #P-complete on split graphs. Is it the beginning of
a complete characterization of the complexity of counting minimal
dominating sets in dense graphs ?
Show in Google map
Salle B21
Fri 16th Feb
10:30 am
11:30 am
Add event to google
Victor Marsault : Formal semantics of the query-language Cypher
Cypher is a query-language for property-graphs. It was originally designed and implemented as part of the Neo4j graph database, and it is currently used by several commercial database products and researchers. The semantics of Cypher queries is currently described using natural language and, as a result, it is often not well defined. This work is part of a project to define a full denotational semantics of Cypher queries. The talk will first present the main features of Cypher through examples, including the core mecanism: graph pattern-matching, and then will describe the formal semantics in its current state.
Show in Google map
Salle B21 - INRIA Institut National Recherche Informatique Automatique; 40 Avenue Halley, 59650 Villeneuve d'Ascq, France

Lien Permanent pour cet article : https://team.inria.fr/links/fr/seminars/