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
Abstract submission deadline
March 7 ,2024
Paper submission deadline
April 22 ,2024
Accept/Reject notification
May 19 ,2024
Camera ready copy due
May 29-31 ,2024
Conference
Proceedings
Revised selected papers will be published as a post-proceedings in Springer's LNCS "Lecture Notes in Computer Science"
Partners & Sponsors (Pending)
