Registration

The 14th International Workshop on the Implementation of Logics

09:00-09:30 Simon Schwarz  "Gröbner Bases for Boolean Function Minimization”

09:30-10:00 David Fuenmayor and Christoph Benzmüller "Searching for> Wormholes in Proof-Space"

Break

The 14th International Workshop on the Implementation of Logics

10:30-11:00 Jack McKeown "A Framework for Running Reinforcement Learning Experiments in E"

11:00-11:30 Geoff Sutcliffe, Jack McKeown  and Alexander Steen "A Chat with Bard"

11:30-12:30 Panel "Implementation of Logics in the Face of the New AI"

Lunch (provided at UN La Nubia)

Tutorial by David Toman: From Data Independence to Ontology Based Data Access (and back)

Break

Tutorial by David Toman: From Data Independence to Ontology Based Data Access (and back)

Welcome reception