Opening
Speakers: Frank de Boer, Jacopo Mauro, Gianluigi Zavattaro, and Saverio Giallorenzo
12:30 12:50
A logic programming approach to Reaction Systems
Authors: Giulia Palma and Moreno Falaschi
12:50 13:10
A Formal Analysis of the Bitcoin Protocol
Authors: Cosimo Laneve and Adele Veschetti
13:10 13:30
Deconfined Intersection Types in Java
Authors: Mariangiola Dezani-Ciancaglini, Paola Giannini, and Betti Venneri
13:30 13:50
Tuning analysis precision through program transformation
Author: Mila Dalla Preda
13:50 14:00
Coffee Break
14:00 14:20
The Servers of Serverless Computing: a Formal Revisitation of Functions as a Service
Authors: Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, and Stefano Pio Zingaro
14:20 14:40
Abstract Interpretation, Symbolic Execution and Constraints
Authors: Roberto Amadini, Graeme Gange, Peter Schachte, Harald Sondergaard, and Peter J. Stuckey Abstract
14:40 15:00
The standard model for programming languages: The birth of a mathematical theory of computation
Author: Simone Martini
15:00 15:20
Locally Static, Globally Dynamic Session Types for Active Objects
Authors: Reiner Hähnle, Anton Haubner, and Eduard Kamburjan
15:20 15:30
Coffee Break
15:30 15:50
A concurrent language for Argumentation
Authors: Stefano Bistarelli and Carlo Taticchi
15:50 16:10
Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
Authors: Frank De Boer, Einar Broch Johnsen, Rudolf Schlatte, Silvia Lizeth Tapia Tarifa, and Lars Tveito
16:10 16:30
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy
Authors: Moreno Falaschi, Catuscia Palamidessi, and Marco Romanelli
16:30 16:50
Adaptive Real Time IoT Stream Processing in Microservices Architecture
Authors: Luca Bixio, Giorgio Delzanno, Stefano Rebora, and Matteo Rulli