Overview

The Second Deduction Mentoring Workshop (DeMent) 2019

August 25, 2019, Natal, Brazil, affiliated with CADE 2019

The workshop will provide 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 will address challenges of the academic life and give insight in industrial research. For doing so, the workshop will include talks from leading experts of automated reasoning in academia and industry, and will also include presentations on career-planning.

The workshop aims to reach and attract master students, PhD students and young postdocs as participants.