Invited Speakers

The NETYS 2023 programme includes Keynote Lectures, given by distinguished researchers. Below is the list of confirmed keynote speakers.
Gilles Barthe
Max Planck Institute for Security and Privacy, Germany
Nikolaj Bjorner
Microsoft Research, USA
Karima Echihabi
Mohammed VI Polytechnic University, Morocco
Nate Foster
Cornell University, USA
Iordanis Kerenidis
University Paris Diderot, France
Prof. Dr.  Peter Müller
Peter Müller
ETH Zurich, Switzerland
Ruzica Piskac
Yale University, USA
Adnane Saoud
Mohammed VI Polytechnic Univesity, Morocco

Dates

February 29 ,2024 March 11 ,2024

Abstract submission deadline

March 7 ,2024 March 18 ,2024

Paper submission deadline

April 22 ,2024

Accept/Reject notification

May 12 ,2024

Camera ready copy due

May 27-28 ,2024

Metis Spring school

May 29-31 ,2024

Netys Conference

Proceedings

Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"

Partners & Sponsors