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


All deadlines are at 23:59 AoE

March 9, 2023 March 22, 2023

Abstract submission deadline

March 16, 2023 March 29, 2023

Paper submission deadline

April 27, 2023

Accept/Reject notification

May 11, 2023

Camera ready copy due

May 22-24, 2023



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

Partners & Sponsors