DEMENT 2019: 2ND DEDUCTION MENTORING WORKSHOP
TALK AUTHOR INDEX
Shortcuts: STUW
S
Sutcliffe, Geoff
How to Give a Successful Talk
T
Tinelli, Cesare
Should I work on SAT/SMT reasoning? Challenges and opportunities
U
Urban, Josef
AIAI4AITP: Adventures in Artificial Intelligence for Automated and Interactive Theorem Proving
W
Weidenbach, Christoph
Getting Tenure in Automated Deduction