DEMENT 2019: 2ND DEDUCTION MENTORING WORKSHOP
PROGRAM
Sunday, August 25th

View this program: with abstractssession overviewtalk overview

08:30-10:00 Session 1: Invited Mentoring Talks
08:30
Christoph Weidenbach
Getting Tenure in Automated Deduction (abstract)
09:15
Josef Urban
AIAI4AITP: Adventures in Artificial Intelligence for Automated and Interactive Theorem Proving (abstract)
10:30-12:00 Session 2: Invited Mentoring Talks
10:30
Cesare Tinelli
Should I work on SAT/SMT reasoning? Challenges and opportunities (abstract)
11:15
Geoff Sutcliffe
How to Give a Successful Talk (abstract)