DEMENT20: DEMENT 2020: THE THIRD DEDUCTION MENTORING WORKSHOP
Overview

The Third Deduction Mentoring Workshop (DeMent) 2020

June 29, 2020, Paris, France, affiliated with IJCAR 2020

The workshop is also part of Paris Nord Summer of LoVe 2020, a joint event on LOgic and VErification at Université Paris 13, made of Petri Nets 2020, IJCAR 2020, FSCD 2020, and over 20 satellite events.

The DeMent 2020 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.