Program

Monday
Tuesday

#I0

9:00		Decidable Problems for Partially Observable MDPs Guillermo A. Pérez Table Host Chair: Anna Lukina
:10
:20
:30		Assured Automatic Programming via LLMs Andreea Costea Table Host Chair: Anna Lukina
:40
:50
10:00		Round-table discussion
:10
:20
:30		Coffee/Tea & Posters
:40
:50
11:00		Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification Abdelrahman Sayed Sayed, Pierre-Jean Meyer, Mohamed Ghazel Paper Chair: Mirco Giacobbe
:10
:20		Neural Network Verification for Gliding Drone Control: A Case Study Colin Kessler, Ekaterina Komendantskaya, Marco Casadio, Ignazio Maria Viola, Albaraa Ammar Othman, Alistair Malhotra, Robbie McPherson Paper Chair: Mirco Giacobbe
:30
:40		Scenario-based Compositional Verification of Autonomous Systems Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu Paper Chair: Mirco Giacobbe
:50
12:00		Lunch
:10
:20
:30
:40
:50
13:00
:10
:20
:30
:40
:50
14:00		Soft Pattern Matching: Toward Runtime Verification of NLP Systems Masaki Waga Table Host Chair: Anna Lukina
:10
:20
:30		Formal Methods for Natural Language Processing Luca Arnaboldi Table Host Chair: Mirco Giacobbe
:40
:50
15:00		Round-table discussion
:10
:20
:30		Coffee/Tea & Posters
:40
:50
16:00		(Hybrid) ClassInvGen: Class Invariant Synthesis using Large Language Models Chuyue Sun, Saikat Chakraborty, Jubi Taneja, Viraj Agashe, Xiaokang Qiu, David L. Dill, Clark Barrett, Shuvendu K Lahiri Paper Chair: Mirco Giacobbe
:10
:20		Quantifiers for Differentiable Logics in Rocq Jairo Miguel Marulanda-Giraldo, Ekaterina Komendantskaya, Alessandro Bruni, Reynald Affeldt, Matteo Capucci, Enrico Marchioni Paper Chair: Mirco Giacobbe
:30

#I0

9:00		Neuro-Symbolic and Generative AI Eleonora Giunchiglia Table Host Chair: Mirco Giacobbe
:10
:20
:30		(Hybrid) Safeguarded AI: Funding Opportunities Nora Ammann Table Host Chair: Mirco Giacobbe
:40
:50
10:00		Round-table discussion
:10
:20
:30		Coffee/Tea & Posters
:40
:50
11:00		Abstraction-Based Proof Production in Formal Verification of Neural Networks Yizhak Yisrael Elboher, Omri Isac, Guy Katz, Tobias Ladner, Haoze Wu Paper Chair: Anna Lukina
:10
:20		Robustness Margin: A new measure for the robustness of neural networks Lionel Kielhofer, Annelot Willemijn Bosman, Jan N. van Rijn, Holger Hoos Paper Chair: Anna Lukina
:30
:40		CTRAIN - A Training Library for Certifiably Robust Neural Networks Konstantin Kaulen, Holger Hoos Paper Chair: Anna Lukina
:50
12:00		Lunch
:10
:20
:30
:40
:50
13:00
:10
:20
:30
:40
:50
14:00		VNN-COMP Chair: Eleonora Giunchiglia
:10
:20
:30		Certified Error Analysis of Homomorphically Encrypted Neural Networks Philipp Daniel Kern, Edoardo Manino, Carsten Sinz Paper Chair: Anna Lukina
:40
:50		(Hybrid) GRENA: GPU-aided Abstract Refinement for Neural Network Verification Yuyi Zhong, Shaun Tan Zong Zhi, Hanping Xu, Siau-Cheng Khoo Paper Chair: Anna Lukina
15:00
:10		Probabilistic verification of neural networks with sampling-based Probability Box propagation Marcel Chwiałkowski, Sylvie Putot, Eric Goubault Paper Chair: Anna Lukina
:20
:30		Coffee/Tea & Posters
:40
:50
16:00		How to Verify Generalization Capability of a Neural Network with Formal Methods Arthur Clavière, Dmitrii Kirov, Darren Cofer Paper Chair: Anna Lukina
:10
:20		On the Complexity of Formal Reasoning in State Space Models Eric Alsmann, Martin Lange Paper Chair: Anna Lukina
:30

Caption

Invited Talk

Presentation

VNN-COMP

Discussion

Break

Posters