Photo Kadi-Liis Koppel,

13-15 November 2019
Tallinn - Estonia

31st Nordic Workshop on Programming Theory, NWPT'19
Tallinn, Estonia, 13-15 November 2019


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:30Registration 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:00Coffee 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]
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:30Coffee 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:00Welcome 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:00Coffee 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]
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:30Coffee 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:30Tour 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:00Coffee 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:30Lunch and PC meeting
13:30 End of the workshop and departure

NWPT 2019 page  © Taltech:NWPT'19   Last modified December 23, 2019 16:50 UTC by local organizers    Contact: