Seminars

Links' Seminars and Public Events Add to google calendar
2017
Thu 6th Jul
 all day
Add event to google
ANR Headwork: General Meeting
Show in Google map
Rennes
Fri 16th Jun
 all day
Add event to google

09h15-09h45 Coffee Welcome
09h45-10h30 Michel de Rougemont: Approximate integration of streaming graph edges
10h30-11h15 Florent Cappelli: Understanding the complexity of #SAT using knowledge compilation
11h15-11h45 Yann Strozecki: Enumerating maximal solutions of saturation problems
12h00 Lunch
14h00 Discussion libre
16h00 End
Show in Google map
Inria Lille
Thu 15th Jun
 all day
Add event to google
09h15-09h45 Welcome coffee
09h45-10h30 Pierre Bourhis: Introduction of circuit from database queries
10h30-11h15 Jen Keppeler: Answering FO+MOD queries under updates on bounded degree databases
11h15-12h00 Antoine Amarilli: Enumeration of valuation of circuits
12h00-13h30 Lunch + Café
13h30-14h30 Jan Ramon: Question around IA
14h30-15h15 Ahmet Kara: Covers of Query Results
15h15-15h45 Break
15h45-16h30 Alexandre Vigny: Constant delay enumeration for FO queries over
databases with local bounded expansion

20h00 Dinner at Le Palermo
Show in Google map
Inria Lille
Fri 9th Jun
10:30 am
12:30 pm
Add event to google
Valentin Montmirail: "A Recursive Shortcut for CEGAR: Application to the Modal Logic K Satisfiability Problem"
Counter-Example-Guided Abstraction Refinement (CEGAR) has been very successful in model checking.
Since then, it has been applied to many different problems. It is especially proved to be a highly successful practical approach for solving the PSPACE complete QBF problem. In this paper, we propose a new CEGAR-like approach for tackling PSPACE complete problems that we call RECAR (Recursive Explore and Check Abstraction Refinement). We show that this generic approach is sound and complete. Then we propose a specific implementation of the RECAR approach to solve the modal logic K satisfiability problem. We implemented both CEGAR and RECAR approaches for the modal logic K satisfiability problem within the solver MoSaiC. We compared experimentally those approaches to the state-of-the-art solvers for that problem. The RECAR approach outperforms the CEGAR one for that problem and also compares favorably against the state-of-the-art on the benchmarks considered.
"Lille-Salle B21"
Tue 6th Jun
to Fri 9th Jun
 all day
Add event to google
Visit of Jean-Marc Talbot, Université de Marseille

Fri 2nd Jun
 all day
Add event to google
Visit of Floris Geerts, University of Antwerp
Fri 21st Apr
 all day
Add event to google
Visit of Florent Capelli, London University
Fri 24th Mar
 all day
Add event to google
Visit of Charles Paperman, Université Paris 7
Show in Google map
INRIA Institut National Recherche Informatique Automatique
40 Avenue Halley, 59650 Villeneuve d'Ascq, France
Wed 15th Mar
10:30 am
12:00 pm
Add event to google
Emmanuel Filliot, Université Libre de Bruxelles: "Automata, Logic and Algebra for Word Transductions"

This talk will survey old and recent results about word transductions, i.e. functions mapping (finite) words to words. Connections between automata models (transducers), logic and algebra will be presented. Starting with rational functions, defined by (one-way) finite transducers, and the canonical model of bimachines introduced by Reutenauer and Schützenberger, the talk will also target the more expressive class of functions defined by two-way transducers and their equivalent MSO-based formalism.

"Lille-Salle B21"
Wed 15th Mar
 all day
Add event to google
Visit of Emmanuel Filliot, Université Libre de Bruxelles

Wed 1st Feb
11:00 am
12:30 pm
Add event to google
Pierre Bourhis: The Chase
Show in Google map
Inria Lille
Fri 20th Jan
10:30 am
12:30 pm
Add event to google
Pierre Bourhis: "Tree Automata for Reasoning in Databases and Artificial Intelligence"
In database management, one of the principal task is to optimize the queries to evaluate them efficiently. It is in particular the case for recursive queries for which their evaluation can lead to crawl all the database. In particular, one of the main question is to minimize the queries in order to avoid to evaluate useless parts of the query. The core theoretical question around this line of work is the problem of inclusion of a query in another. Interestedly, this question is related to an important question in IA which is to answer a query when the data is incomplete but rules are given to derive new information. This problem is called certain query answering. In both context, if both problem are undecidable in general, there are fragments based on guardedness that are decidable due to the fact there exists witness of the problems that have a bounded tree width and that their encoding in trees is regular. Furthermore, the queries can be translated in MSO. In both contexts, Courcelle’s Theorems imply the decidability of both problems. I will present to the different results on the translation of logic class of formula for our problems into tree automata to obtain tight bounds to the problems of inclusion of recursive queries or certain query answering.

Show in Google map
Inria Lille
Wed 11th Jan
2:15 pm
3:25 pm
Add event to google
Michael vanden Boom, Oxford University : Decidable fixpoint logics
Fixpoint logics can express dynamic, recursive properties, but often fail to have decidable satisfiability. A notable exception to this is the family of well-behaved "guarded" fixpoint logics,
which subsume a variety of query languages and integrity constraints of interest in databases and knowledge representation. In this talk, I will survey some recent results about these logics.
Show in Google map
Lille B21
Mon 9th Jan
to Fri 13th Jan
 all day
Add event to google
Visite Michael vanden Boom, Oxford University
2016
Fri 9th Dec
 all day
Add event to google
Kickoff Headwork
Show in Google map
Paris MNHN
Fri 18th Nov
10:30 am
12:00 pm
Add event to google
Florent Capelli Links Seminar
"Lille-Salle B21"
Fri 18th Nov
 all day
Add event to google
Florent Capelli visit
Tue 8th Nov
2:30 pm
4:30 pm
Add event to google
Seminar Link by Helmut Seidl: "Equivalence of Deterministic Top-Down Tree-to-String Transducers is Decidable"
Abstract:

We show that equivalence of deterministic top-down tree-to-string transducers is decidable,
thus solving a long standing open problem in formal language theory.
We also present efficient algorithms for subclasses:
polynomial time for total transducers with unary output alphabet (over a given top-down regular domain language),
and co-randomized polynomial time for linear transducers, these results are obtained using techniques from multi-linear algebra.
For our main result, we prove that equivalence can be certified by means of inductive invariants using polynomial ideals.
This allows us to construct two semi-algorithms, one searching for a proof of equivalence, one for a witness of non-equivalence.
"Lille-Salle B31 "
Mon 7th Nov
2:00 pm
4:00 pm
Add event to google
PhD defense Adrien Boiret
Fri 4th Nov
 all day
Add event to google
colis general meeting
Show in Google map
Paris
Thu 27th Oct
10:00 am
6:00 pm
Add event to google
Links day
Thu 27th Oct
 all day
Add event to google
links day
Thu 20th Oct
2:00 pm
4:00 pm
Add event to google
Seminar Links by Vincent Hugot: "Top-Down Transducers for Data Trees"
Abstract:
Tree transducers have a wide range of application domains ranging from compiler construction,
program analysis, and computational linguistics, to semi-structured databases and file system
transformations. A common application of these domains is to specify and verify transformations
of data trees, i.e., trees whose nodes are labeled by data values from an infinite domain. Most
existing classes of tree transducers and their formal studies, however, are restricted to trees over
finite signatures without data. In this paper, we lift the most prominent class of top-down tree
transducers to data trees, such that its good properties are preserved. In particular, we show that
top-down transducers for data trees have a decidable equivalence problem, without imposing any
linearity restriction as in previous approaches based on symbolic top-down tree transducers.
"Lille-Salle B21"
Thu 13th Oct
2:00 pm
3:00 pm
Add event to google
Seminar Christof Löding
"Lille-Salle B21"
Thu 13th Oct
2:00 pm
5:30 pm
Add event to google
comité de projet
Thu 13th Oct
to Fri 14th Oct
 all day
Add event to google
visit christof löding
Fri 30th Sep
 all day
Add event to google
arrivée de Jose Lozano

Thu 29th Sep
2:00 pm
4:00 pm
Add event to google
Seminar Links by Aurélien Lemay

"Lille-Salle B21"
Tue 27th Sep
 all day
Add event to google
Ircica fetes ces 10 ans
Show in Google map
Lille
Fri 9th Sep
2:00 pm
4:00 pm
Add event to google
Momar Sakho
"Lille-Salle B21"
Wed 7th Sep
11:00 am
12:00 pm
Add event to google
jason demagoj
Wed 31st Aug
10:00 am
1:00 pm
Add event to google
Links Seminar by Domagoj Vrgoč: "Querying Graph with Data"
"Lille-Salle B21"
Thu 28th Jul
 all day
Add event to google
Visit of Serge Abiteboul and Victor Vianu
Mon 11th Jul
to Tue 12th Jul
 all day
Add event to google
Aggreg meeting
Show in Google map
Marseille
Mon 27th Jun
 all day
Add event to google
Colis ANR project: general meeting
Show in Google map
Inria Paris, Salle 119 "Ada Lovelace"
Fri 24th Jun
2:00 pm
4:00 pm
Add event to google
Fatima Belkouch: on the hypercube algorithm for conjunctive queries
Abstract: We consider the problem of computing a conjunctive query on a large database in a parallel setting with p servers. Unlike traditional query processing, the complexity is no longer dominated by the number of disk accesses. Typically, a query is evaluated by a sufficiently large number of servers such that the entire data can be kept in the main memory of these servers. The dominant cost becomes that of communicating data and synchronizing among the servers.
I will present some interesting results in [1, 2, 3, 4] dealing with the communication complexity of massively parallel computation of a query. The computation is performed in "rounds".
First, I will present the Massively Parallel Communication (MPC) model to analyze the tradeoff between the number of rounds and the amount of communication required in a massively parallel computing environment.
Then I will present the HyperCube (HC) algorithm that computes a full conjunctive query q in one round.
I will discuss the communication complexity [2]. The main result is the optimal load O(m/p1/τ ) where τ is the fractional vertex cover of the hypergraph of q and m the input data size.

References
[1] Parallel Evaluation of Conjunctive Queries. Paris Koutris, Dan Suciu PODS2011
[2] Communication Steps for Parallel Query Processing. Paul Beame, Paris Koutris, Dan Suciu PODS2013
[3] Skew in Parallel Query Processing. Paul Beame, Paris Koutris Dan Suciu PODS'2014
[4] Worst-Case Optimal Algorithms for Parallel Query Processing. Paris Koutris, Paul Beame, Dan Suciu ICDT2016
"Lille-Salle B11"
Thu 23rd Jun
2:00 pm
3:30 pm
Add event to google
Victor Vianu in Polaris
Show in Google map
Auditorium IRCICA
Thu 23rd Jun
 all day
Add event to google
victor vianu visit
Mon 20th Jun
to Wed 22nd Jun
 all day
Add event to google
journee scientique inria à rennes
Fri 17th Jun
9:00 am
12:30 pm
Add event to google
PhD Thesis Defense by Tom Sebastian: Evaluation of XPath Queries on XML streams with Networks of Early Nested Word Automata

Abstract:
The challenge that we tackle in this thesis is the problem of how to answer
XPath queries on XML streams with low latency, full coverage, high time
efficiency, and low memory costs. We first propose to approximate earli-
est query answering for navigational XPath queries by compilation to early
nested word automata. It turns out that this leads to almost optimal la-
tency and memory consumption. Second, we contribute a formal semantics
of XPath 3.0. It is obtained by mapping XPath to the new query language
λXP that we introduce. We then show how to compile λXP queries to net-
works of early nested word automata, and develop streaming algorithms for
the latter. Thereby we obtain a streaming algorithm that indeed covers all of
XPath 3.0. Third, we develop an algorithm for projecting XML streams with
respect to the query defined by an early nested word automaton. Thereby
we are able to make our streaming algorithms highly time efficient. We have
implemented all our algorithms with the objective to obtain an industrially
applicable streaming tool. It turns out that our algorithms outperform all
previous approaches in time efficiency, coverage, and latency.
Thu 16th Jun
2:00 pm
4:00 pm
Add event to google
Nicolas Bacquey Links seminar: Introduction to uniform periodical computation : leader election on periodical cellular automata
"Lille-Salle B21"
Thu 16th Jun
10:00 am
12:00 pm
Add event to google
Hubie Chen, Semainar and Visit
"Lille-Salle B21"

Permanent link to this article: https://team.inria.fr/links/seminars/