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