Talks & presentations

Outreach & dissemination talks

• Marino Miculan: Automated Symbolic Verification of Telegram’s MTProto 2.0
  OWASP Italy September Meetup 2021. September 30, 2021.
  
• Emilio Tuosto: A model of Asymmetric Replicated State Machines
  Dagstuhl Seminar 21372 on Behavioural Types: Bridging Theory and Practice. September 16, 2021.
  Slides
• Michele Pasqua: A Calculus for Attribute-based Memory Updates
  18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Nur-Sultan, Kazakhstan (Online). September 02, 2021.
  
• Davide Castelnovo: Closure Hyperdoctrines
  9th Conference on Algebra and Coalgebra in Computer Science (CALCO 2021), Salzburg. September 02, 2021.
  Slides
• Rocco De Nicola: Targeted Disinformation on Online Social Media
  XX International School on Foundations of Security Analysis and Design, Bertinoro. August 30, 2021.
  
• Vincenzo Ciancia: Spatial Model Checking for Smart Stations: Research Challenges
  26th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2021), in the context of QONFEST 2021. August 24, 2021.
  
• Vincenzo Ciancia: A Hands-On Introduction to Spatial Model Checking Using VoxLogicA
  Invited talk at the 27th International SPIN Symposium on Model Checking of Software (SPIN 2021), in the context of ECOOP/ISSTA 2021. July 12, 2021.
  Slides
• Luca Aceto: In search of lost time: Axiomatising parallel composition in process algebras
  Keynote address at LICS 2021. June 29, 2021.
  Slides
• Vincenzo Ciancia: Querying Medical Imaging Datasets using Spatial Logics (position paper)
  The International Health Data Workshop (HEDA 2021), in the context of MEDI 2021. June 21, 2021.
  
• Davide Basile: A Clean and Efficient Implementation of Choreography Synthesis for Behavioural Contracts
  23rd International Conference on Coordination Models and Languages (COORDINATION 2021), in the context of DisCoTec 2021. June 17, 2021.
  
• Laura Bussi: Towards a Spatial Model Checker on GPU
  41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), in the context of DisCoTec 2021. June 15, 2021.
  
• Davide Basile: Supervisory Synthesis of Configurable Behavioural Contracts with Modalities
  41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), in the context of DisCoTec 2021. June 15, 2021.
  
• Davide Castelnovo: Fuzzy algebraic theories
  Logic Seminars at Department of Mathematics, University of Padua. May 24, 2021.
  
• Giovanna Broccia: Feasibility of Spatial Model Checking for Nevus Segmentation
  9th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE 2021), in the context of ICSE 2021. May 20, 2021.
  
• Michele Loreti: Reasoning about space: a logical framework based on Simplicial Complexes
  Meeting of IFIP WG1.3 Foundations of System Specification Luxembourg. March 27, 2021.
  
• Luca Aceto: An operational guide to monitorability
  Webinar at the Tehran Institute for Advanced Studies (TeIAS). February 24, 2021.
  Slides
• Marino Miculan: Automated Symbolic Verification of Telegram’s MTProto 2.0
  ITU Center for Information Security and Trust (ITU CISAT). December 14, 2020.
  
• Emilio Tuosto: Open Problems in Choreographic Development of Message-Passing Applications
  Invited talk at ASYDE 2020. September 15, 2020.
  Slides
• Emilio Tuosto: A Choreography-Driven Approach to APIs: the OpenDXL Case Study
  A presentation at COORDINATION 2020. June 16, 2020.
  Slides
• Maurice ter Beek: Team Automata@Work: On Safe Communication
  22nd International Conference on Coordination Models and Languages (COORDINATION 2020), in the context of DiscoTec 2020. June 16, 2020.
  
• Emilio Tuosto: Choreographic Development of Message-Passing Applications - A Tutorial
  A tutorial at DisCoTec 2020. June 15, 2020.
  Slides
• Davide Basile: Strategy Synthesis for Autonomous Driving in a Moving Block Railway System with Uppaal Stratego
  40th IFIP WG6.1 International Conference on FORmal Techniques for Distributed Objects (FORTE 2020), in the context of DisCoTec 2020. June 15, 2020.
  
• Mieke Massink: Refined Mean Field Analysis: The Gossip Shuffle Protocol Revisited
  22th International Conference on Coordination Models and Languages (COORDINATION 2020), in the context of DisCoTec 2020. June 15, 2020.
  
• Marco Peressotti: Computing Embeddings of Directed Bigraphs
  International Conference on Graph Transformation, Bergen (Norvegia). June 01, 2020.
  
• Marco Peressotti: Towards a formal model for composable container systems
  35th Annual ACM Symposium on Applied Computing, Brno. April 01, 2020.
  
• Davide Castelnovo: Closure hyperdoctrines
  EWSCS’20, Palmse, Estonia. March 01, 2020.
  
• Emilio Tuosto: Behavioural APIs & choreographic development
  A talk at NOVA LINCS. February 26, 2020.
  Slides
• Omar Inverso: Parallel and distributed bounded model checking of multi-threaded programs
  Principles and Practices of Parallel Programming (PPoPP) 2020. February 25, 2020.
  
• Emilio Tuosto: Behavioural APIs & choreographic development
  A talk at FCUL. February 14, 2020.
  Slides
• Maurice ter Beek: Variability meets Security: Quantitative Security Modeling and Analysis of Highly Customizable Attack Scenarios
  14th International Working Conference on Variability Modelling of Software-Intensive Systems (VaMoS 2020). February 05, 2020.
  
• Daniel Tosone: Securing the Art Market with Distributed Public Ledgers
  Distributed Ledger Technologies @ ITASEC, Ancona, Italy. February 01, 2020.
  
• Mieke Massink: Verification of Data in Space and Time
  Centre Universitaire d’Informatique – Université de Genève. January 30, 2020.
  
• Michele Loreti: How far is your program from mine?
  Meeting of IFIP WG1.3 Foundations of System Specification Massa Marittima, Italy. January 13, 2020.
  
• Mieke Massink: Innovating Medical Image Analysis via Spatial Logics
  Colloquium in Honour of Stefania Gnesi on the occasion of her 65th birthday, in the context of the 3rd World Congress on Formal Methods. Porto, Portogallo. October 08, 2019.
  
• Mieke Massink: Verification of Data in Space and Time (Invited Talk)
  8th International Symposium “From Data to Models and Back (DataMod). Porto, Portogallo. October 07, 2019.
  
• Rocco De Nicola: Programming Collective Adaptive Systems by relying on Attribute-based Communication
  Meeting of IFIP WG2.2 Formalization of Programming Concepts Vienna, Austria. September 23, 2019.
  
• Luca Aceto: A story of monitorability (Invited talk)
  Colloquium Jacques Morgenstern, INRIA Sophia Antipolis. September 10, 2019.
  
• Luca Geatti: An abstract distributed middleware for transactions over heterogeneous stores
  ICTCS 2019, Como, Italy. September 01, 2019.
  
• Diego Latella: Embedding RCC8D in the Collective Spatial Logic CSLCS
  Rocco65: A Symposium in honor of Rocco De Nicola on the occasion of his 65th birthday. IMT Lucca. July 01, 2019.
  

Internal Talks

• AbU: Event-driven Programming Meets Attribute-based Interaction
  Marino Miculan. May 02, 2022. Slides
• Securing Interruptible Enclaved Execution on Small Microprocessors
  Matteo Busi. February 21, 2022. Slides
• Specification and implementation of RDTs
  Fabio Gadducci. February 07, 2022. Slides
• Composable Partial Multiparty Session Types
  Claude Stolze. January 24, 2022. Slides
• A Logic for Locally Complete Abstract Interpretations
  Roberto Bruni. July 05, 2021. Slides
• Modular Digitalization of the Law with Dynamic Condition Response Graphs
  Thomas Hildebrandt. June 21, 2021. Slides
• A Logical Framework for reasoning about Local and Global Properties of Multi-Agent Systems
  Michele Loreti. June 07, 2021. Slides
• The VoxLogicA toolkit, and its extension to Polytopes
  Vincenzo Ciancia. May 24, 2021.
• Exploring the frontiers between coordination and control syntheses with Contract Automata
  Davide Basile. April 26, 2021.
• Experiments in run-time monitoring via probabilistic session-types
  Emilio Tuosto. April 12, 2021. Slides
• On Petri Nets, Monoidal Categories, and other amazing stuff
  Fabrizio Romano Genovese. March 29, 2021.
• Steel: Merging Event-Driven Programming with Attribute-Based Communication
  Michele Pasqua. March 15, 2021.
• Feasibility of Spatial Model Checking for Nevus Segmentation
  Giovanna Broccia. March 01, 2021.
• A Spatial Logic for Simplicial Complex Model
  Michela Quadrini. February 15, 2021.
• Quantitative Analysis of Moving Block Railway Signalling Scenarios: Experiences and Outlook
  Maurice ter Beek. June 12, 2020. Slides
• A GPU-based implementation for Vox-Logica
  Laura Bussi. June 05, 2020.
• Closure operators on (Hyper)Doctrines
  D. Castelnovo. May 29, 2020.
• Are graphs enough to reason about spatial-temporal properties?
  Michele Loreti. May 22, 2020. Slides
• Introduction to WP1
  Fabio Gadducci. May 22, 2020. Slides
• Closure Spaces & SLCS - WP1 preliminary report
  Diego Latella. May 22, 2020. Slides