LINKING
RESEARCH
GLOBALLY
GCAI 2016 / 2nd Global Conference on Artificial Intelligence
PROGRAM FOR THURSDAY, SEPTEMBER 29TH, 2016
Days:
next day
all days

View: session overviewtalk overview

13:30-15:30 Session 1: Tutorial: Automated Theorem Proving in the TPTP World

Seminar room SR006, Takustrasse 9, Institut für Informatik, FU Berlin, see the map

Chair:
Geoff Sutcliffe
16:00-18:00 Session 2: Tutorial: Reasoning in Expressive Non-Classical Logics with Isabelle/HOL

Seminar room SR006, Takustrasse 9, Institut für Informatik, FU Berlin, see the map

Chair:
Christoph Benzmüller