Program for Wednesday, September 24th: Talk View

PROGRAM FOR WEDNESDAY, SEPTEMBER 24TH: TALK VIEW

Days:

next day

all days

View: with abstracts session overview

8:00

8:30

9:00

9:30

10:00

10:30

11:00

11:30

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

18:00

18:30

19:00

19:30

20:00

20:30

21:00

21:30

22:00

08:00-08:50 Registration

08:50-09:00 AVM Welcome, Opening

09:00-09:50

Verifying Arithmetic Circuits with Polynomials

Daniela Kaufmann

09:50-10:10 Coffee break

10:10-10:40

Software Verification Witnesses

Marian Lingsch-Rosenfeld

10:40-11:10

Witness-guided verification in trace abstraction

Frank Schüssele

11:10-11:40

From Interleavings to Owicki–Gries via Empires: Certificates for Concurrent Program Verification

Matthias Zumkeller

11:30-12:00 Coffee break

12:00-13:00

Arithmetic Solving in Z3

Nikolaj Bjorner

13:00-14:00 Lunch break

14:00-15:00

First-Order Proof Checking

Andrei Voronkov

15:00-15:30 Coffee break

15:30-16:00

Proof-based Space Explanation of Classifying Neural Networks

Faezeh Labbaf

16:00-16:30

On the Verification of Structured Parameterized Networks

Neven Villani, Radu Iosif, Arnaud Sangnier, Marius Bozga

16:30-17:00

Hardware-Optimal Quantum Algorithms

Stefanie Muroya, Krishnendu Chatterjee, Thomas Henzinger

17:00-17:30

Bounding Probabilistic Loop Variables using Martingales and the Optional Stopping Theorem

Lorenz Winkler

17:30-22:00 Trip to Recas Winery and SYNASC/AVM Conference Dinner