===================================================================== EPIT 2019 - Spring school on databases, logic and automata CIRM - Centre International de Rencontres Mathématiques - Marseille Luminy - France April 8-12, 2019 https://conferences.cirm-math.fr/1934.html ===================================================================== EPIT (École de Printemps d'Informatique Théorique, https://epit.irif.fr/) is a French recurrent spring school in theoretical computer science, initiated by Maurice Nivat in 1973. It has since then spanned many exciting topics in foundational computer science, and has become a major event for the research community in France and beyond. The 2019 edition of the EPIT will cover the foundations of data management. It will in particular focus on the fruitful interaction between database theory and two other main areas of theoretical computer science : logic and automata - as well as other closely related fields, such as finite model theory, descriptive complexity, game theory, and inference. Programme --------- Monday * Morning: Introduction to database theory (Pierre Senellart, ENS Paris) * Afternoon : Optimal joins (Szymon Toruńczyk, Warsaw) Tuesday * Morning: Logic and automata for semi-structured data (Diego Figueira, Bordeaux) * Afternoon: - Logic-based distributed query processing (Frank Neven, Hasselt) - Incremental query evaluation (Thomas Schwentick, Dortmund) Wednesday * Morning: Graph data management (Wim Martens, Beyreuth) Thursday * Morning: Databases and descriptive complexity (Nicole Schweikardt, Humboldt) * Afternoon: - View-based query processing (Nadime Francis, Marne la Vallée) - Incomplete data management (Leonid Libkin, Edinburgh) Friday * Morning : Ontologies and rules (Meghyn Bienvenu, Montpellier) In addition, poster sessions will be organised, so that participants who are willing to, will be able to present their work. All courses will be given in English. Audience ------------ Lectures are intended to be accessible to a wide audience. No prior knowledge of database theory will be assumed, but some familiarity with basic automata theory and logic is recommended. The EPIT 2019 Spring School is primarily addressed to PhD students and young researchers, but more senior participants are also encouraged to join. Date and Venue -------------- The EPIT 2019 Spring School will take place from Monday, April 8th to Friday, April 12th, 2019 in France, at CIRM, the International Center for Mathematical Meetings (https://www.cirm-math.fr/) in Luminy, Marseille. Registration ----------- Pre-registration will soon open on the Webpage of the event https://conferences.cirm-math.fr/1934.html. Registration fees, including accommodation and meals at CIRM, will be as moderate as possible (details will be announced soon). sOrganisation ------------ The school is organised by : Amélie Gheerbrant <amelie@irif.fr> Leonid Libkin <libkin@inf.ed.ac.uk> Luc Segoufin <luc.segoufin@inria.fr> Pierre Senellart <pierre@senellart.com> Cristina Sirangelo <cristina@irif.fr> For any further information please contact the organisers.