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

View: with abstractssession overview

13:30
14:00
14:30
15:00
15:30
16:00
16:30
17:00
17:30
18:00
13:30-15:30 Tutorial: Automated Theorem Proving in the TPTP World
16:00-18:00 Tutorial: Reasoning in Expressive Non-Classical Logics with Isabelle/HOL