Latest Talks

(» further talks)
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.

Jul
24

Markus Endres

Preference-Aware Database Systems
Tuesday, July 24, 2018 at 14:00 s.t.

Jul
19

Steven Chaplick

Approximation Schemes for Geometric Coverage Problems
Thursday, July 19, 2018 at 11:00 s.t.

Jun
26

Torsten Schaub

ASP in Time
Tuesday, June 26, 2018 at 9:30 s.t.