ForMaL

DigiCosme Spring School on Formal Methods and Machine Learning, ForMaL ENS Paris-Saclay,

Amphithéâtre Chemla (Institut d'Alembert), Cachan, France

4th-7th June 2019

Nowadays, there is an increasing need for providing formal guarantees for machine-learning algorithms. Conversely, machine learning techniques have been successfully applied in the realm of formal methods and, in particular, verification. This school will bring together student and senior researchers from, and at the interface of, formal methods and machine learning, with the aim to create synergies between them. It will feature invited lectures, covering fundamental concepts in machine learning and formal methods, as well as more advanced topics highlighting current research challenges. In addition to the invited talks, we will provide a platform for all participants to present their (published or ongoing) work.

Confirmed Invited Speakers

• Giovanni Cherubin - EPFL, Lausanne, Switzerland
• Nathanaël Fijalkow CNRS, LaBRI, Bordeaux, France - The Alan Turing Institute, London, UK
• Guy Katz - The Hebrew University of Jerusalem, Israel
• Daniel Neider, Max Planck Institute for Software Systems, Kaiserslautern, Germany
• Reza Shokri, National University of Singapore
• Martin Vechev, ETH Zürich, Switzerland

Talks and Poster Sessions

Please submit talk or poster proposals (2-4 pages, no particular format required) via easychair by 26th April 2019 - Easychair

Registration

Participation is free (including coffee and lunch breaks), but registration is mandatory. Please register before 30th April 30 2019. Registration is open as long as there is enough capacity. To register, please fill out the web form Registration