The fifteenth meeting of IFIP WG 1.9/2.15 Verified Software is held in Torino, Italy, on April 13-15, 2026.

Location

The meeting will take place at 

Meeting Room 1
Dipartimento di Biotecnologie Molecolari e Scienze per la Salute
1st floor
Universita' di Torino
Piazza Nizza 44
10126 Torino
(map)

Schedule

Monday 13 
14:30	Tiziana (Opening)
14:40	Jean-Christophe (64 versions of algorithm 64, verified)
15:20	Tiziana	(LC/NC platforms and AI: which future?)
16:00	coffee break
16:40	Gidon Ernst (LemmaCalc: Quick Theory Exploration for Algebraic Data Types via Program Transformations)
17:20	Robbert Krebbers (Mechanized verification of type systems using Iris)
18:00	end
19:15   Dinner - Restaurant Ischia Pontew
Tuesday 14 
16:40	Rosemary Monahan (Interroperability via Institutions and Unifying Theories of Programming)
17:20	Caterina Urban (Termination Resilience Static Analysis)
18:00	end
Wednesday 15 
14:30	Andrei Paskevich (Verification conditions: from Why3 to Coma)
15:10	Kevin Batz (Weighted NetKAT: A Programming Language for Quantitative Network Verification)
16:00	coffee break
16:40	Clément Pit-Claudel (Not a regular talk: Semantics and algorithms for modern regexes)
17:20	business meeting and planning next meeting(s)
18:00	closing

Participants