Programme
All workshop sessions will take place in room 507AB of the university's ICT building (Akadeemia tee 15A, 2nd stairwell, level 5).
Wednesday, 13 November 2019
| 9:00-9:30 | Registration and welcome from the organizers |
| 9:30-10:30 | (Chairs: Jüri Vain, Tarmo Uustalu)
Invited talk by Paweł Sobociński A compositional approach to Signal Flow Graphs |
| 10:30-11:00 | Coffee break |
| 11:00-12:30 | (Chair: Daniel Schnetzer Fava)
Lars Tveito, Einar Broch Johnsen and Rudolf Schlatte A Framework for Exogenous Stateless Model Checking [pdf] Faustin Ahishakiye, Volker Stolz and Lars Michael Kristensen Generating Test Cases Satisfying MC/DC from BDDs [pdf] Xin Zhao and Philipp Haller Towards type-level model checking for distributed protocols [pdf] |
| 12:30-13:30 | Lunch |
| 13:30-15:00 | (Chair: Olaf Owe)
Kalmer Apinis, Simmo Saan and Vesal Vojdani Approaches to Thread-Modular Static Analysis [pdf] Daniel Fava and Martin Steffen Ready, set, Go! Data race detection and the Go language [pdf] Justus Sagemüller, Volker Stolz and Olivier Verdier Algebra-Oriented Proofs for Optimisation of Lockset Data Race Detectors [pdf] |
| 15:00-15:30 | Coffee break |
| 15:30-17:30 | (Chair: Rudolf Schlatte)
Elli Anastasiadi, Antonis Achilleos, Luca Aceto and Anna Ingólfsdóttir Axiomatizations for equivalences over Regular Monitors [pdf] Antonis Achilleos and Mathias Ruggaard Pedersen Axiomatising Weighted Monadic Second-Order Logic on Finite Words [pdf] Elahe Fazeldehkordi and Olaf Owe Futures, Histories, and Smart Contracts [pdf] Shukun Tokas and Olaf Owe A Formal Framework for Consent Management [pdf] |
| 18:00-21:00 | Welcome reception in the cafeteria of the university library (Akadeemia tee 1) |
Thursday, 14 November 2019
| 9:00-10:30 | (Chairs: Tarmo Uustalu, Jüri Vain)
Invited talk by Ando Saabas Interpreting and validating machine learning models Hendrik Maarand and Tarmo Uustalu Operational Semantics with Semicommutations [pdf] |
| 10:30-11:00 | Coffee break |
| 11:00-12:30 | (Chair: Paweł Sobociński)
Niccolò Veltri and Andrea Vezzosi The early $\pi$-calculus in Ticked Cubical Type Theory [pdf] Magne Haveraaen, Markus Roggenbach and Håkon Robbestad Gylterud Syntactic Theory Functors for Specifications with Partiality [pdf] Alejandro Rodríguez, Adrian Rutle, Francisco Durán, Lars Michael Kristensen, Fernando Macías and Uwe Wolter Composition of Multilevel Modelling Hierarchies [pdf] |
| 12:30-13:30 | Lunch |
| 13:30-15:00 | (Chair: Magne Haveraaen)
Gianluca Turin, Einar Broch Johnsen and Silvia Lizeth Tapia Tarifa Statically derived data access patterns for NUMA architectures [pdf] Jan Haltermann Analyzing Usage of Data in Array Programs [pdf] Zafer Esen and Philipp Rümmer Towards Automatic Verification of C Programs With Heap [pdf] |
| 15:00-15:30 | Coffee break |
| 15:30-16:30 | (Chair: Uwe Wolter)
Fatima Shokri-Manninen, Jüri Vain and Marina Waldén Formal Verication of Maritime Autonomous Systems Using UPPAAL STRATEGO [pdf] James Snook, Michael Butler and Thai Son Hoang B♯: Enabling Reusable Theories in Event-B [pdf] |
| 18:30-19:30 | Tour in Fotografiska (Telliskivi 60A/8, instructions) |
| 19:30- | Workshop dinner in Fotografiska |
Friday, 15 November 2019
| 9:00-10:30 | (Chair: Niccolò Veltri)
Invited talk by Jan von Plato Two centuries of formal computation Mario Román, Bryce Clarke, Derek Elkins, Jeremy Gibbons, Bartosz Milewski, Fosco Loregian and Emily Pillmore Profunctor optics, a categorical update [pdf] |
| 10:30-11:00 | Coffee break |
| 11:00-12:30 | (Chair: Marina Waldén)
Seyed Hossein Haeri and Peter Van Roy Marking Piecewise Observable Purity [pdf] Dariusz Biernacki, Mateusz Pyzik and Filip Sieczkowski Back to Direct Style for Delimited Continuations [pdf] Nikolay Shilov Study of recursion elimination for a class of semi-interpreted recursive program schemata [pdf] |
| 12:30-13:30 | Lunch and PC meeting |
| 13:30 | End of the workshop and departure |
