Latest Talks

(» further talks)
Nov
5

Martin Grohe

The Graph Isomorphism Problem
Monday, November 5, 2018 at 16:00 c.t.

Oct
25

Marcello D’Agostino

An informational view of classical logic
Thursday, October 25, 2018 at 16:30 s.t.

Oct
5

Tomi Janhunen

Writing Declarative Specifications for Clauses
Friday, October 5, 2018 at 14:00 s.t.

Sep
26

Rajeev Gore

Interactive Synthesis of Verified Vote-counting Programs
Wednesday, September 26, 2018 at 16:30 s.t.

Sep
20

LogicLounge with Toby Walsh

Living with Artificial Intelligence – How to stay Human
Thursday, September 20, 2018 at 18:00

Jul
25

Iyad Kanj

How to navigate through obstacles?
Wednesday, July 25, 2018 at 14:00 s.t.