Team Logic Day on 08.01.2020

Team Logic Day on 08.01.2020

The Team Logic Day will take place on 08. January 2020 at the Institute of Theoretical Computer Science. It brings together researchers from Helsinki, Paris, Tampere and Hannover. The focus is on topics related to expressivity and complexity of team logics.

Guests: Arnaud Durand (Paris), Miika Hannula (Helsinki), Lauri Hella (Tampere), Juha Kontinen (Helsinki)

We are happy to announce the following talks:

  • Enumerating Teams in First-Order Team Logics (Fabian Müller)
  • A Logical Characterization of Constant-Depth Arithmetic Circuits over the Reals (Timon Barlag)