Sylvain Conchon, Paris-Saclay University

Professor at Paris-Saclay University and a member of LMF (the Formal Methods Laboratory - ULMR 9061) and the Toccata team, a joint project with INRIA Saclay - Île-de-France. Previously, He was Senior Research Associate in the OBASCO team at Ecole des Mines de Nantes, Senior Research Associate in the PacSoft team at the OGI School of Science & Engineering at OHSU and Ph.D student at INRIA Rocquencourt in the MOCSOVA team.

Mohamed Faouzi Atig, UPPSALA University

Professor in computer systems at the Department of Information Technology, Uppsala University. its research interests broadly span model checking, verification of infinite-state systems, weak memory models, and automata theory.