LINKING
RESEARCH
GLOBALLY
GCAI 2016
VENUE
PC
SUBMISSIONS
INVITED SPEAKERS
ACCEPTED PAPERS
PROCEEDINGS
TUTORIALS
REGISTRATION
ACCOMMODATION
TRAVEL INFORMATION
GCAI
LRG
PROGRAM
INDEXES
GCAI 2016
/
2nd Global Conference on Artificial Intelligence
PROGRAM FOR THURSDAY, SEPTEMBER 29TH, 2016: SESSION VIEW
Days:
next day
all days
View:
with abstracts
talk 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
Session 1
Tutorial: Automated Theorem Proving in the TPTP World
16:00-18:00
Session 2
Tutorial: Reasoning in Expressive Non-Classical Logics with Isabelle/HOL
Disclaimer
|
Powered by EasyChair Smart Program