RESEARCH SCHOOL / ECOLE DE RECHERCHE

Spring School on Theoretical Computer Science (EPIT) – Databases, Logic and Automata
Ecole de Printemps d’Informatique Théorique (EPIT) – Donnees, logique et automates

8 – 12 April 2019

Scientific Committee  & Organizing Committee
Comité scientifique & Comité d’organisation

Amélie Gheerbrant (Université Paris Diderot)
Leonid Libkin (University of Edinburgh)
Luc Segoufin (INRIA & ENS Paris) 
Pierre Senellart (ENS Paris) 
Cristina Sirangelo (Université Paris Diderot) 
Description
The EPIT is a French thematic school proposing, on an yearly basis, an intensive 5-day long training, specialising on a particular topic in theoretical computer science. It is primarily addressed to PhD students, Post-doctoral researchers and junior academics.

The 2019 edition of the EPIT aims to initiate the foundations of data management. It will focus in particular  on the fruitful interaction with two other main areas of theoretical computer science, lying at the boundary with mathematics : logic and automata theory – as well as other closely related areas, such as finite model theory, descriptive complexity, game theory, and inference.

The following are the three main goals of this edition of the school :
Interdisciplinary exchange : gathering participants working on different areas of theoretical computer science. Attracting in particular PhD students and junior academics willing to enlarge their interests towards database theory.
Foundational training : training PhD students and junior academics already working on database systems, willing to deepen their knowledge of the foundational aspects of the area.
Dissemination and visibility : in almost 45 years the EPIT has never addressed database theory, which is not widespread in France, despite the central role of data management in computer science. This EPIT edition aims to give a wider visibility to this topic, presenting it both as an application ground and a source of new challenges for other scientific areas.

EPIT 2019 is intended to attract an audience from both France and other countries. Courses will be given in English.

L’EPIT est une école thématique française qui propose chaque année une formation intensive (d’environs 5 jours) sur une thématique de l’informatique théorique. Elle est principalement destinée aux doctorants et jeunes chercheurs.

L’EPIT 2019 a comme but principal d’initier aux fondements de la gestion de données. L’accent sera mis sur les piliers de l’interaction fructueuse avec deux autres thématiques phares de l’informatique théorique, à la frontière avec les mathématiques : la logique et les automates – ainsi que d’autres domaines intimement liés à ceux-là, tels que la théorie des modèles finis, la complexité descriptive, la théorie des jeux et l’inférence.

Trois objectifs seront principalement visés :
L’interdisciplinarité et l’ouverture : Permettre de ressembler des participants travaillant sur plusieurs thématiques de l’informatique théorique. En particulier attirer des doctorants / jeunes chercheurs qui souhaiteraient s’ouvrir vers la théorie de bases de données.
La formation fondamentale : Former des doctorants / jeunes chercheurs en systèmes de bases de données qui souhaiteraient approfondir les aspects fondamentaux du domaine.
La diffusion et visibilité : En presque 45 ans l’EPIT n’a jamais traité la théorie des bases de données, qui est peu répandue en France, malgré le rôle central que les données jouent dans l’informatique. Cette édition de l’EPIT vise également à donner une plus ample diffusion à cette thématique en la présentant comme terrain d’application et source de nouveau défis pour d’autres domaines.

​L’EPIT 2019 vise à attirer un public aussi bien Français que étranger. Les cours seront en anglais.

Lectures

Meghyn Bienvenu (CNRS/ Universé de Bordeaux) – Ontologies and rules
​​​Diego Figueira (CNRS/ Université de Bordeaux) – Logic and automata for semi-structured data
Wim Martens (University of Bayreuth) – Graph data management
​Pierre Senellart (INRIA/ ENS Paris) – Introduction to database theory
Nicole Schweikardt (Humboldt University) – Databases and descriptive complexity
Talks

Nadime Francis (Université Paris-Est Marne-la-Vallée) – View-based query processing
Leonid Libkin (University of Edinburgh) – Incomplete data management
Frank Neven (University of Hasselt) – Logic-based distributed query processing
Thomas Schwentick (Dortmund University) – Incremental query evaluation
Szymon Toruńczyk (Warsaw University) – Optimal joins

SPONSORS