DMW 2018 - DEDUCTION MENTORING WORKSHOP

Automated reasoning requires continuous development on theory, algorithms and tools. Young researchers might find it hard to establish themselves in this field, due to the nature of theoretical and practical research as well as to the challenges of academic positions.
The workshop provides mentoring and help on career development for young researchers working in automated reasoning, with the overall aim to attract and help them to establish themselves as researchers in automated reasoning. The workshop addresses challenges of the academic life and give insight in industrial research. For doing so, the workshop includes talks from leading experts of automated reasoning in academia and industry, and will also include presentations on career-planning.