DEMENT 2019: 2ND DEDUCTION MENTORING WORKSHOP
PROGRAM FOR SUNDAY, AUGUST 25TH

View: session overviewtalk overview

08:30-10:00 Session 1: Invited Mentoring Talks
08:30
Getting Tenure in Automated Deduction

ABSTRACT. I will discuss strategies how to get a tenure (track) professor position when working in automated deduction. For example, in Germany every university
 with a computer science department includes a theory chair. In Germany, theory is typically interpreted as "Complexity of Algorithms", but almost never
as automated deduction. Even for people working in computational logic that do research in theoretical complexity, it is difficult to be successful
in getting such a theory position. On the other hand, there are rarely openings specifically
in automated deduction. So, more concretely, I will discuss strategies how to
successfully apply as an automated deduction person to openings outside automated deduction.
 

09:15
AIAI4AITP: Adventures in Artificial Intelligence for Automated and Interactive Theorem Proving
10:30-12:00 Session 2: Invited Mentoring Talks
10:30
Should I work on SAT/SMT reasoning? Challenges and opportunities
11:15
How to Give a Successful Talk

ABSTRACT. Almost everyone has to give a public presentation at some time. Graduate students have to defend their theses, research students have to present their results, and many jobs require presentations. It is common to have little or no experience when you give your first presentation, and you may even be a little nervous! This talk is aimed at (graduate, research, and other) students. It describes how to present a successful talk, in a simple standard format. This talk does not try to teach general speaking skills, nor impose any personally preferred techniques. It covers the structure of a talk, the use of visual aids, speaking technique, and how to cope with questions.