The Program Committee selected the following paper to receive the NETYS 2023 best paper award:

A Formal Analysis of Karn’s Algorithm

Max von Hippel, Kenneth McMillan, Cristina Nita-Rotaru and Lenore Zuck


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


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

Partners & Sponsors