Programme

All sessions take place at Reykjavik University, Menntavegi 1. Map of the building (showing the locations of all classrooms).

All times are Reykjavik time (GMT+0). This is one hour behind CET (GMT+1).

Contributed talk slots are 22.5 mins. Plan for a 17.5 min talk.

Thursday, 4 November 2021

Both sessions in V107

8:45-9:00Morning coffee
9:05-10:05 [Chair: Antonis Achilleos]
Giovanni Bacci. From Bisimulations to Metrics via Couplings [abstract, slides, video]
10:07-10:30 Jonas Hansen* and Kim Guldstrand Larsen. Flexibility Analysis of Resource Timed Automata [abstract, video]
10:30-11:00Coffee break
11:00-12:30 [Chair: Violet Ka I Pun]
Kalmer Apinis* and Vesal Vojdani. Context-Sensitive Meta-Constraint Systems for Modular and Explainable Program Analysis [abstract, video]
Eduard Kamburjan and Jieying Chen. Semantically Lifted Programs through Ontology Modularity [abstract, video]
Mikkel Kragh Mathiesen. Polylogic [abstract, video]
Johannes Elgaard, Simon Qvist Rannes, Christian Bach Møllnitz and Hans Hüttel*. Certifying Time Complexity of Agda Programs Using Complexity Signatures [abstract, video]
12:30-13:30Lunch (in M108)
13:30-18:00Trip to the Seltún geothermal field and the Geldingadalir volcano

Friday, 5 November 2021

All sessions in M102

8:45-9:00Morning coffee
9:05-10:05 [Chair: Tarmo Uustalu]
Ornela Dardha*. Priorities for CP and GV [abstract, slides]
10:07-10:30 Bas van den Heuvel and Jorge A. Pérez. A Decentralized Analysis of Multiparty Protocols [abstract, video]
10:30-11:00Coffee break
11:00-12:30 [Chair: Niels Voorneveld]
Elena Di Lavore, Giovanni de Felice and Mario Román. Stream-based Computation in Monoidal Categories [abstract, video]
Niccolò Veltri*. Towards Normalization by Evaluation for Lambek Calculus [abstract, video]
Mikhail Barash and Magne Haveraaen. Towards Formal Grammars As Institutions [abstract, video]
Tim Kräuter, Adrian Rutle and Yngve Lamo. Heterogeneous behavioral model composition using graph grammars [abstract, video]
12:30-...Lunch
14:00-15:30 [Chair: Luca Aceto]
Aïna Linn Georges, Armaël Guéneau, Thomas van Strydonck, Amin Timany, Alix Trieu, Dominique Devriese and Lars Birkedal. Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code [abstract, video]
Ole Jørgen Abusdal, Volker Stolz, Violet Ka I Pun, Crystal Chang Din and Rohit Gheyi. Clairvoyant Assertions [abstract, video]
Dylan McDermott, Yasuaki Morita, Tarmo Uustalu. A Type System with Subtyping for WebAssembly's Stack Polymorphism [abstract, video]
Zafer Esen and Philipp Rümmer. A Theory of Heap for Constrained Horn Clauses [abstract, video]
15:30-16:00Coffee break
16:00-17:30 [Chair: Valentina Castiglioni]
Elli Anastasiadi, Antonios Achilleos and Adrian Francalanza. Monitoring Hyperproperties with Circuits [abstract, video]
Léo Exibard and Karoliina Lehtinen. History-deterministic Register Automata [abstract, video]
Amanda Stjerna and Philipp Rümmer. A Solver for Generalised Parikh Images of Regular Languages [abstract, video]
Stian Lybech. Reflection, Encodability and Separation [abstract, video]
19:30-...Dinner at Nauthóll

Saturday, 6 November 2021

All sessions in M102

8:45-9:00Morning coffee
9:00-10:30 [Chair: Dylan McDermott]
Muhammad Rizwan Ali and Violet Ka I Pun. Cost Analysis for an Actor-Based Workflow Modelling Language [abstract, video]
Rudolf Schlatte*. Integrating Relational Data with Actor-Based Models [abstract, video]
Clemens Grabmayer*. Bisimulation Slices and Transfer Functions [abstract, video]
Niels Voorneveld. Algebras for Effectful Program-Environment Interactions [abstract, video]
10:30-11:00Coffee break
11:00-12:30 [Chair: Volker Stolz]
Fatima Shokri-Manninen*, Jüri Vain and Marina Waldén. Formal Development of Multi-vessel Navigation of Maritime Autonomous Systems using UPPAAL STRATEGO [abstract, video]
Gert Kanter*, Jüri Vain, Elahe Fazeldehkordi and Olaf Owe*. Towards a High-Level Programming Language for IoT and Robotics [abstract, video]
Nikolaus Huber, Pontus Ekberg and Wang Yi. A Petri Net Based Language for Realtime Systems [abstract, video]
Nicodemus M. J. Mbwambo*, Joan Krone and Murali Sitaraman. Automated Verification of Specificationally Rich Software Components [abstract, video]
12:30-13:30Lunch
13:30-15:00 [Chair: Crystal Din]
Irene Lobo Valbuena and David Sands. Noninterference in the Presence of Collusion [abstract, video]
Carlos Tomé Cortiñas and Fabian Ruch. Information-Flow Control and Effects [abstract, video]
Ekaterina Zhuchko*, Denis Firsov and Sven Laur. Formal Analysis of Comparison-Based Non-Malleability for Commitments [abstract, video]
Chinmayi Prabhu Prasad Baramshetru, Silvia Lizeth Tapia Tarifa, Olaf Owe and Nils Gruschka. Towards a Policy Language Enforcing Privacy by Design in Distributed Services [abstract, video]

Last update 5 November 2021