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.
 

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.