Meeting in Torino, Italy, 10 April 2026

The meeting took place in Turin, colocated with ETAPS 2026. It was a one-day meeting. Our venue is ITS Torino, Via Jacopo Durandi 10, Turin (the same as the ETAPS satellite events venue).

Talks

Fri, 10 April 2026

• 09:15 Accelerating Formal Verification of DNNs Using Activation Properties by Kyungmin Bae      abstract
• 10:00 The Algebra of Iterative Constructions by Benjamin Lucien Kaminski      abstract
• 11:15 Terminal Coalgebras for Finitary Functors by Stefan Milius      abstract paper
• 11:45 RL-Guided Contraction of Symbolic Tensor Networks for Quantum Circuit Equivalence by Max Tschaikowski      abstract
• 14:00 Axiomatising relative entropy by Fabio Zanasi      abstract
• 14:00 Name deallocation in nominal automata by Lutz Schröder     
• 14:30 A logic for abstract (hyper)properties by Paolo Baldan     
• 16:00 Business meeting by Holger Schlingloff