Programme

All times are listed for CEST (Central European Summer Time)

Monday June 13

DisCoTec Workshops

DisCoTec Tutorials

Time Blockchain Track (Sagrestia) Verification Track (Cappella Guinigi)
10.50 - 11.00 welcome welcome
11.00 - 12.30 Smart contracts in Bitcoin and BitML An introduction to Spatial Logics and Spatial Model Checking
12.30 - 14.00 lunch break lunch break
14.00 - 15.30 The ΔQ Systems Development Paradigm A Gentle Adventure Mechanising Message Passing Concurrency Systems
15.30 - 16.00 coffee break coffee break
16.00 - 17.30 ChorChain: a Model-driven Approach for Trusted Execution of Multi-party Business Processes on Blockchain -
19.00 - 20.00 Welcome reception (Sala Canova) Welcome reception (Sala Canova)


Tuesday June 14

Conference Talks

Time DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
09.45 - 10.00 welcome welcome welcome
10.00 - 11.00 Muffy Calder: 30+ years of FORTE research: a personal perspective Muffy Calder: 30+ years of FORTE research: a personal perspective Muffy Calder: 30+ years of FORTE research: a personal perspective
11.00 - 11.25 break break break
  COORDINATION
(Cappella Guinigi)
DAIS
(Classroom 2)
FORTE
(Refettorio)
11.25 - 11.30 welcome welcome welcome
  Session 1: Timed, Probabilistic, and Collective Systems Session 1: Blockchains & Cryptocurrencies Session 1: Process Calculi and Session Types
11.30 - 12.00 MIMOS: A Deterministic Model for the Design and Update of Real-Time Systems Evaluating Blockchain Application Requirements and their Satisfaction in Hyperledger Fabric Encodability Criteria for Quantum Based Systems
12.00 - 12.30 A Sound Up-to-n,delta Bisimilarity for PCTL Using SGX for Meta-Transactions Support in Ethereum DApps The Reversible Temporal Process Language
12.30 - 13.00 Sibilla: A Tool for Reasoning about Collective Systems Understanding Cryptocoins Trends Correlations (Work-in-Progress Paper) Fault-Tolerant Multiparty Session Types
13.00 - 15.00 lunch break lunch break lunch break
  Session 2: Aggregate Computing Session 2: Fault Tolerance Session 2: Monitoring and Program Verification
15.00 - 15.30 Extensible 3D Simulation of Aggregated Systems with FCPP Lesser Evil: Embracing Failure to Protect Overall System Availability Monitoring Hyperproperties with Circuits (Short paper)
15.30 - 16.00 Towards Reinforcement Learning-based Aggregate Computing Failure Root Cause Analysis for Microservices, Explained Offline and Online Monitoring of scattered uncertain logs using uncertain linear dynamical systems
16.00 - 16.30 Space-fluid Adaptive Sampling: a Field-based, Self-organising Approach - Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
16.30 - 17.00 networking coffee networking coffee networking coffee


Wednesday June 15

Conference Talks

Time DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
09.55 - 10.00 welcome welcome welcome
10.00 - 11.00 Luca Viganò: Formal Methods for Socio-Technical Security Luca Viganò: Formal Methods for Socio-Technical Security Luca Viganò: Formal Methods for Socio-Technical Security
11.00 - 11.30 break break break
  DisCoTec Best Papers
(Cappella Guinigi)
DisCoTec Best Papers
(Cappella Guinigi)
DisCoTec Best Papers
(Cappella Guinigi)
11.30 - 12.00 A Monitoring Tool for Linear-Time μHML A Monitoring Tool for Linear-Time μHML A Monitoring Tool for Linear-Time μHML
12.00 - 12.30 Rebop: Reputation-based Incentives in Committee-based Blockchains Rebop: Reputation-based Incentives in Committee-based Blockchains Rebop: Reputation-based Incentives in Committee-based Blockchains
12.30 - 13.00 Traits: Correctness-by-Construction for Free Traits: Correctness-by-Construction for Free Traits: Correctness-by-Construction for Free
13.00 - 15.00 lunch break lunch break lunch break
  COORDINATION
(Cappella Guinigi)
DAIS
(Classroom 2)
FORTE
(Refettorio)
  Session 3: Processes and Languages Session 3: Trusted Execution, Deep Learning, and IoT Session 3: State-space reduction
15.00 - 15.30 Formal Choreographic Languages Attestation Mechanisms for Trusted Execution Environments Demystified LTL under reductions with weaker conditions than stutter-invariance
15.30 - 16.00 A Model of Actors and Grey Failures Accelerate Model Parallel Deep Learning Training Using Effective Graph Traversal Order in Device Placement Effective Reductions of Mealy Machines
16.00 - 16.30 Soft Concurrent Constraint Programming with Local Variables Analysis of the impact of IoT protocols and interaction patterns on energy consumption for IoT consumer applications -
16.30 - 17.00 networking coffee networking coffee networking coffee
18.00 - 20.00 Social event event - guided tour of Lucca
Meeting point Piazza San Francesco
Social event event - guided tour of Lucca
Meeting point Piazza San Francesco
Social event event - guided tour of Lucca
Meeting point Piazza San Francesco
20.00 - 22.00 Social dinner @ Ristorante Mecenate
Via del Fosso, 94
Social dinner @ Ristorante Mecenate
Via del Fosso, 94
Social dinner @ Ristorante Mecenate
Via del Fosso, 94


Thursday June 16

Conference Talks

Time DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
09.55 - 10.00 welcome welcome welcome
10.00 - 11.00 Maarten van Steen: Challenges in automated measurement of pedestrian dynamics Maarten van Steen: Challenges in automated measurement of pedestrian dynamics Maarten van Steen: Challenges in automated measurement of pedestrian dynamics
11.00 - 11.30 break break break
  COORDINATION
(Cappella Guinigi)
DAIS
(Classroom 2)
FORTE
(Refettorio)
  Session 4: Runtime Verification, Monitor Synthesis, and Microservices Session 4: Elastic and Scalable Systems Session 4: Verification and Semantics
11.30 - 12.00 A Synthesis Tool for Optimal Monitors in a Branching-Time Setting The HDFS Replica Placement Policies: a comparative experimental investigation Process Algebra Can Save Lives: Static Analysis of XACML Access Control Policies using mCRL2
12.00 - 12.30 Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs An Elastic and Scalable Topic-based Pub/Sub System using Deep Reinforcement Learning Branch-Well-Structured Transition Systems and Extensions
12.30 - 13.00 - - Co-engineering safety-security using statistical model checking (Journal First)
13.00 - 15.00 lunch break lunch break lunch break
  DisCoTec Artefacts (Cappella Guinigi) DisCoTec Artefacts (Cappella Guinigi) DisCoTec Artefacts (Cappella Guinigi)
15.00 - 15.10 Opening and presentation of the EAPLS Artefact Badges Opening and presentation of the EAPLS Artefact Badges Opening and presentation of the EAPLS Artefact Badges
15.10 - 15.20 The Science of Computer Programming track on Original Software Publications The Science of Computer Programming track on Original Software Publications The Science of Computer Programming track on Original Software Publications
15:20 - 15:25 Announcement of DisCoTec best tool award winners Announcement of DisCoTec best tool award winner Announcement of DisCoTec best tool award winners
15.25 - 16.00 Birds of a Feather session on software artefacts and replication issues Birds of a Feather session on software artefacts and replication issues Birds of a Feather session on software artefacts and replication issues
16.00 - 16.30 Artefact demonstrations Artefact demonstrations Artefact demonstrations
16.30 - 17.00 networking coffee networking coffee networking coffee
17.00 - 17.05 DisCoTec 2023
(Cappella Guinigi)
DisCoTec 2023
(Cappella Guinigi)
DisCoTec 2023
(Cappella Guinigi)
  DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
DisCoTec Invited Talk
(Cappella Guinigi)
17.05 - 18.00 Moshe Y. Vardi: Lessons from Texas, COVID-19 and the 737 Max: Efficiency vs Resilience Moshe Y. Vardi: Lessons from Texas, COVID-19 and the 737 Max: Efficiency vs Resilience Moshe Y. Vardi: Lessons from Texas, COVID-19 and the 737 Max: Efficiency vs Resilience


Friday June 17

DisCoTec Workshops



DisCoTec Invited Talk (Cappella Guinigi)

FORTE Invited Speaker

(session chair: Mohammad Mousavi)

Coordination Invited Speaker

(session chair: Marjan Sirjani)

DAIS Invited Speaker

(session chair: Spyros Voulgaris )

DisCoTec Best Papers (Cappella Guinigi)

(session chair: Maurice ter Beek)

Coordination Best Paper

DAIS Best Paper

FORTE Best Paper

DisCoTec Artefacts (Cappella Guinigi)

(session chair: Maurice ter Beek)

Coordination programme

Session 1: Timed, Probabilistic, and Collective Systems

(session chair: Mirko Viroli)

Session 2: Aggregate Computing

(session chair: Emilio Tuosto)

Session 3: Processes and Languages

(session chair: Michele Loreti)

Session 4: Runtime Verification, Monitor Synthesis, and Microservices

(session chair: Narges Khakpour)

DAIS programme

Session 1: Blockchains & Cryptocurrencies

(session chair: Marcelo Pasin)

Session 2: Fault Tolerance

(session chair: Valerio Schiavoni)

Session 3: Trusted Execution, Deep Learning, and IoT

(session chair: Claudio Antares Mezzina)

Session 4: Elastic and Scalable Systems

(session chair: Arian Baloochestani)

FORTE programme

Session 1: Process Calculi and Session Types

(session chair: Anna Philippou)

Session 2: Monitoring and Program Verification

(session chair: Claudio Antares Mezzina)

Session 3: State-space reduction

(session chair: Étienne André)

Session 4: Verification and Semantics

(session chair: Adrian Francalanza)

DisCoTec Best Artefacts

(session chair: Maurice ter Beek)

Coordination Best Artefact

DAIS Best Artefact

FORTE Best Artefact