Program

Links to the slides and websites of the speakers can be found below!

Day 1

Mon, September 30

14:00 - 15:00

Axiomatizing Dynamic Logics without Substitution

Carlos Areces (FAMAF-UNC & CONICET) 🇦🇷

15:00 - 16:00

The Role of Logic in Advancing Machine Learning: Three Case Studies

Pablo Barceló (PUC, IMFD, CENIA) 🇨🇱

16:00 - 17:00

Proof Theory for Data-Aware Modal Logics

Danae Dutto (FAMAF-UNC & CONICET) 🇦🇷

Day 2

Tue, October 1

15:00 - 16:00

Memory-less strategies in games on graphs

Alexander Kozachinskiy (CENIA) 🇨🇱

16:00 - 17:00

Reasoning with Constrained Ability-Based Logics

Raul Fervari (FAMAF-UNC & CONICET) 🇦🇷

17:00 - 18:00

Intuitionistic S4 is decidable

Lutz Straßburger (INRIA) 🇫🇷

Day 3

Wed, October 2

15:00 - 16:00

Towards expressiveness and complexity in Propositional Dynamic Logic (or controlling the complexity vs enhancing expressiveness)

Bruno Lopes (UFF) 🇧🇷

16:00 - 17:00

Propositional Dynamic Logic with Storing, Recovering and Parallel Composition

Mario Benevides (UFF) 🇧🇷

17:00 - 18:00

Nonmonotonic Reasoning via Dynamic Consequence

Valentin Cassano (UNRC & CONICET) 🇦🇷

Page updated

Google Sites

Report abuse