GT ALGA Annual Meeting 2019

October 10-11, 2019 - Paris (DI ENS)


The 2019 annual meeting of GT ALGA will take place in École Normale Supérieure on October 10 and 11.

Program

Invited speakers: Abstracts are available here or by clicking on titles.
Thursday
9:30-10:00 Welcome coffee
10:00-11:00 Sławek Staworko Shape Expressions Schemas for RDF Semantics, Complexity, and Inference
11:00-11:30 Antoine Amarilli Query evaluation on probabilistic data: New hard cases
11:30-12:00 Mikaël Monet Logical Expressiveness of Graph Neural Networks
12:00-14:00 Lunch break
14:00-14:30 Pierre Ohlmann Deciding existence of strategies for almost sure reachability in probabilistic population control systems
14:30-15:00 Le Thanh Dung Nguyen Transductions in typed λ-calculi
15:00-15:30 Léo Exibard Synthesis of Data Word Transducers
15:30-16:15 Coffee break
16:15-16:45 Suman Sadhukhan Network Games with Synchronous Cost
16:45-17:15 Mickael Randour Games Where You Can Play Optimally With Finite Memory
Friday
09:00-9:30 Arnaud Durand Recursion schemes, discrete differential equations and characterization of polynomial time computations
9:30-10:00 Théodore Lopez Determinisation of Finitely-Ambiguous Copyless Cost Register Automata
10:00-10:45 Coffee break
10:45-11:15 Florent Capelli Proof systems for #SAT
11:15-11:45 Vadim Malvone Natural Strategic Ability
11:45-14:00 Lunch break
14:00-15:00 François Goasdoué Query answering in ontological databases
15:00-15:30 Michaël Thomazo Reasoning about Disclosure in Data Integration in the Presence of Source Constraints
15:30-16:00 Amélie Gheerbrant Best Answers over Incomplete Data : Complexity and First-Order Rewritings
16:00 Coffee

Practical information

The meeting will take place in École Normale Supérieure, 45 rue d'Ulm, 75005 Paris, in Salle Dussane (see on the map of the building) on October 10-11.

Registration

The registration is free but mandatory for organizational purposes. To register, please send an email to Camille Bourgaux (*firstname*.*lastname*@ens.fr) before September 26.

List of registered participants

Sponsors

logo-gdrIM