Awards
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
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
