Programme
Below, you find the preliminary schedule. Talks and times may still change.
| Time/Day | Tuesday 6th Oct |
Wednesday 7th Oct |
Thursday 8th Oct |
Friday 9th Oct |
|---|---|---|---|---|
| 10:00 - 10:30 | Coffee | Coffee | Coffee | |
| 1 Verification | 4 “Events” | 7 Twins+Types | ||
| 10:30 - 11:15 | Reiner HähnleWelcome and Information | Rudolf SchlatteThe year in ABS | S. L. Tapia TarifaData Protection Principles for Digital Twins | |
| 11:15 - 12:00 | Frank de BoerDeductive Verification for Actors | Cosimo LaneveThe Stipula Experience (Part 1) | Einar B. JohnsenFrom Fjord Questions to Runtime Monitors | |
| 12:00 - 12:45 | Niklas HeidlerCharacterising and Verifying Active Object Programs with Trace Logic | Cosimo LaneveThe Stipula Experience (Part 2) | Violet Ka I PunType-based information flow analysis for actors | |
| 12:45 - 14:00 | Lunch | Lunch | Lunch | |
| 2 Features | 5 Aggregates | End of APM | ||
| 14:00 - 14:45 | Crystal DinModular soundness checking of feature model evolution plans | Ferruccio DamianiMulti-party Aggregate Programming: Heterogeneous Collectives | ||
| 14:45 - 15:30 | Maurice ter BeekFamilies of RTS | Marco ScalettaAn LAGC Semantics for XC | ||
| 15:30 - 16:00 | Break | Break | ||
| 3 Protocols | 6 Asynchronicity | |||
| 16:00 - 16:45 | Ragnar MogkProtocols and Algebraic Replicated DT | Gabriel RadanneTail Modulo Async-Await | ||
| 16:45 - 17:30 | Daniel DrodtA Complete, Formal Semantics for Async Rust | |||
| Evening | Reception18:00 Vinoteca Carroccia |
Workshop Dinner19:00 Ferrucci Wine Bar (Menu) |