DAV 2023

Deep Learning-aided Verification
July 18, 2023
Paris, France

Program Committee

• Swarat Chaudhuri (University of Texas, USA)
• Nathanaël Fijalkow (University of Warsaw, Poland and CNRS, LaBRI, France)
• Christopher Hahn (Stanford University, USA)
• Jan Kretinsky (Technical University of Munich, Germany)
• Nina Narodytska (VMware Research, USA)
• Julian Parsert (University of Edinburgh, UK)
• Elizabeth Polgreen (University of Oxford, UK)
• Markus Rabe (Google Research, USA)
• Frederik Schmitt (CISPA Helmholtz Center for Information Security, Germany)
• Haoze Wu (Stanford University, USA)