The Scala Workshop 2026
Mon 29 Jun 2026 Brussels, Belgium
co-located with ECOOP 2026
ECOOP 2026 (series) / The Scala Workshop 2026 (series) / Vrije Universiteit Brussel /

Room information: I.1.07

VenueVrije Universiteit Brussel
Room nameI.1.07
Floor1
Room numberI.1.07
Room Information

Building I, floor 1, room I.1.07

https://link.mazemap.com/19alfVMW

Program

This program is tentative and subject to change.

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 09:10
Welcome sessionVeriLang at I.1.07
09:00
10m
Day opening
VeriLang welcome!
VeriLang
Mateo Sanabria Universidad de los Andes
09:10 - 10:10
Verilang KeynoteVeriLang at I.1.07
Chair(s): Nicolás Cardozo Universidad de los Andes
09:10
59m
Keynote
Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
VeriLang
Jorge A. Pérez University of Groningen
11:00 - 12:30
Session 2VeriLang at I.1.07
Chair(s): Mateo Sanabria Universidad de los Andes
11:00
25m
Talk
A Case Study in Proving the Soundness and Completeness of Natural Deduction for Propositional Logic in Dafny
VeriLang
Daniel Bîrleanu Alexandru Ioan Cuza University, Iasi, Ștefan Ciobâcă Alexandru Ioan Cuza University of Iasi
11:25
25m
Talk
Proof Primitives for Equality Saturation-based Automated Provers
VeriLang
George Zakhour , Jahrim Gabriele Cesario University of St. Gallen, Pascal Weisenburger University of St. Gallen, Guido Salvaneschi University of St. Gallen
14:00 - 15:30
Session 3VeriLang at I.1.07
16:00 - 17:30
Session 4VeriLang at I.1.07

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

09:00 - 10:30
Morning Session 1 (keynote, talk)VORTEX at I.1.07
09:00
5m
Day opening
Welcome to VORTEX 2026
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Giorgio Audrito
09:05
60m
Keynote
If At First You Don’t Succeed: Extended Monitorability through Multiple Executions
VORTEX
K: Adrian Francalanza VELOCiTY Research Group, Department of Computer Science, University of Malta
10:05
25m
Talk
Property Grouping and Context-Aware Runtime Enforcement
VORTEX
Saumya Shankar International Institute of Information Technology Bangalore, Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Thierry Jéron INRIA, Srishti Gupta Indian Institute of Technology Bhubaneswar
11:00 - 12:30
Morning Session 2 (keynote, talk)VORTEX at I.1.07
11:00
60m
Keynote
Between static and run-time verification of message-passing systems with behavioural types
VORTEX
K: Alceste Scalas Technical University of Denmark
12:00
25m
Talk
Autonomous Runtime Management of Cloud Performance Anomalies Using End-to-End Service Topology
VORTEX
Dhanya R Mathews India Indian Institute of Science, Bangalore, Jagarlamudi Lakshmi Indian Institute of Science, Bangalore,
14:00 - 15:30
Afternoon Session 1 (keynote, talk)VORTEX at I.1.07
14:00
60m
Keynote
TBA
VORTEX
K: Yliès Falcone Univ. Grenoble Alpes, Inria
15:00
25m
Talk
 RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Deployment
VORTEX
Adriano d'Alessandro , Angelo Ferrando , Christian Colombo University of Malta
16:00 - 17:30
Afternoon Session 2 (talks)VORTEX at I.1.07
16:00
25m
Talk
Runtime Semantic Discovery for Evolving Action Alphabets
VORTEX
Pietro Bernabei Scuola IMT Alti Studi Lucca, University of Florence, Rosario Pugliese University of Florence
16:25
25m
Talk
A New Syntax and Semantics for Probabilistic Trace Expressions
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Angelo Ferrando , Viviana Mascardi DIBRIS, University of Genova, Italy
16:50
25m
Talk
Spatial Logic of Directed Graphs
VORTEX
Giorgio Audrito Università di Torino, Gianluca Aguzzi Alma Mater Studiorum - Università di Bologna, Ferruccio Damiani University of Turin, Gianluca Torta giatorta@gmail.com, Volker Stolz Høgskulen på Vestlandet

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
I.1.07

VeriLang

Welcome session

VeriLang

Verilang Keynote

VeriLang

Session 2

VeriLang

Session 3

VeriLang

Session 4

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
I.1.07

VORTEX

Morning Session 1 (keynote, talk)

VORTEX

Morning Session 2 (keynote, talk)

VORTEX

Afternoon Session 1 (keynote, talk)

VORTEX

Afternoon Session 2 (talks)

Mon 29 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:0015304510:0015304511:00153045
I.1.07
VeriLang
VeriLang welcome!
09:00 - 09:10
VeriLang
Asynchronous Session-based Concurrency: Deadlock Freedom by Typing
09:10 - 10:09
VeriLang
A Case Study in Proving the Soundness and Completeness of Natural Deduc ...
11:00 - 11:25
VeriLang
Proof Primitives for Equality Saturation-based Automated Provers
11:25 - 11:50

Tue 30 Jun

Displayed time zone: Brussels, Copenhagen, Madrid, Paris change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
I.1.07
VORTEX
Welcome to VORTEX 2026
09:00 - 09:05
VORTEX
If At First You Don’t Succeed: Extended Monitorability through Multiple ...
09:05 - 10:05
VORTEX
Property Grouping and Context-Aware Runtime Enforcement
10:05 - 10:30
VORTEX
Between static and run-time verification of message-passing systems wit ...
11:00 - 12:00
VORTEX
Autonomous Runtime Management of Cloud Performance Anomalies Using End- ...
12:00 - 12:25
VORTEX
TBA
14:00 - 15:00
VORTEX
RV-TEE for Post-Quantum Digital Signatures: Trustworthy Dilithium Depl ...
15:00 - 15:25
VORTEX
Runtime Semantic Discovery for Evolving Action Alphabets
16:00 - 16:25
VORTEX
A New Syntax and Semantics for Probabilistic Trace Expressions
16:25 - 16:50
VORTEX
Spatial Logic of Directed Graphs
16:50 - 17:15