The 2019 annual meeting of GT ALGA will take place in École Normale Supérieure on October 10 and 11.
|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|
|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|
|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|
|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:45-11:15||Florent Capelli||Proof systems for #SAT|
|11:15-11:45||Vadim Malvone||Natural Strategic Ability|
|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|
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.
The registration is free but mandatory for organizational purposes. To register, please send an email to Camille Bourgaux (*email@example.com) before September 26.