Photo by Robin Mathlener on Unsplash
Programme
Quick Links
Location
DisCoTec 2024 will take place at the Bernoulliborg (Bernoulli building) in the Zernike Campus of the University of Groningen.
- Address: Nijenborgh 9, 9747 AG Groningen
Bus stop: Nijenborgh (Google Maps) - Detailed information on how to reach the Bernoulliborg: read here
- Rooms: 0165, 0151, 0134, 0253 (more details)
- Video tour of the Bernoulliborg
Laurensvanheerde, CC BY-SA 4.0, via Wikimedia Commons
In A Nutshell
Monday, June 17
- DiDiT 2024: The 1st International Workshop on Distributed Digital Twins
- Location: Bernoulliborg 0165 (Max Gruber room, first floor)
- DisCoTec Opening reception
- Location: House of Connections (city center)
Grote Markt 21, 9712 HR Groningen (Google maps) -
Time: 18:00 - 19:30
- Location: House of Connections (city center)
Tuesday, June 18: Main Conferences
- Opening (09:00h) and Invited Talk: Laura Kovács (09:30h)
- Bernoulliborg Room 0105 (first floor)
- Joint best paper session: Bernoulliborg Room 0105 (first floor)
- Contributed papers in two tracks:
- COORDINATION: Bernoulliborg Room 0105 (first floor)
- DAIS+ FORTE: Bernoulliborg Room 0253 (second floor)
Wednesday, June 19: Main Conferences
- Invited Talk: Paulo Veríssimo (09:00h)
- Bernoulliborg Room 0105 (first floor)
- Contributed papers in two tracks:
- COORDINATION: Bernoulliborg Room 0105 (first floor)
- DAIS+ FORTE: Bernoulliborg Room 0253 (second floor)
- Social activities:
- Excursion. Two meeting points, both nearby the Groningen train station:
- Uncle Loek’s (white) horse (Google maps)
- Boat tour agency (Google maps)
- Dinner at the ‘t Feithhuis (Martinikerkhof 10, 9712 JG, Google maps)
- Excursion. Two meeting points, both nearby the Groningen train station:
Thursday, June 20: DisCoTec Main Conferences
- Invited Talk: Marieke Huisman (09:30h)
- Bernoulliborg Room 0105 (first floor)
- Joint award session: Bernoulliborg Room 0105 (first floor)
- Contributed papers in two tracks:
- COORDINATION: Bernoulliborg Room 0105 (first floor)
- DAIS+ FORTE: Bernoulliborg Room 0253 (second floor)
Friday, June 21: DisCoTec Workshops
- ICE 2024: 17th Interaction and Concurrency Experience.
Location: Bernoulliborg 0165 (Max Gruber room) - PLNL 2024: The Fourth VERSEN Workshop on Programming Languages in The Netherlands.
Location: Bernoulliborg 0134. - Closing reception at the Bernoulliborg
Overview (Tuesday - Thursday)
Tuesday, June 18: DisCoTec Main Conferences
| Time | COORDINATION | DAIS + FORTE |
|---|---|---|
| 09:00-09:30 | Opening Ceremony DisCoTec 2024 | Opening Ceremony DisCoTec 2024 |
| DisCoTec Invited Talk (Room BB 5161.0105) Chair: Valentina Castiglioni |
DisCoTec Invited Talk (Room BB 5161.0105) Chair: Valentina Castiglioni |
|
| 09:30-10:30 | Laura Kovács: Automated Reasoning in BlockChain Security |
Laura Kovács: Automated Reasoning in BlockChain Security |
| 10:30-11:00 | coffee break | coffee break |
| Session 1 (Joint): DisCoTec Best Papers (Room BB 5161.0105) Chair: Jorge Pérez |
Session 1 (Joint): DisCoTec Best Papers (Room BB 5161.0105) Chair: Jorge Pérez |
|
| 11:00-11:30 | A Probabilistic Choreography Language for PRISM | A Probabilistic Choreography Language for PRISM |
| 11:30-12:00 | Compact Storage of Data Streams in Mobile Devices | Compact Storage of Data Streams in Mobile Devices |
| 12:00-12:30 | Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη | Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη |
| 12:30-13:50 | lunch break | lunch break |
| COORDINATION (Room BB 5161.0105) |
DAIS + FORTE (Room BB 5161.0253) |
|
| 13:50 - 14:00 | Welcome COORDINATION | Welcome DAIS+FORTE |
| Session 2: Coordination Approaches Chair: Michele Loreti |
Session 2: Testing and Verification Chair: Adrian Francalanza |
|
| 14:00-14:30 | Field-based Coordination for Federated Learning | Network simulation-centric compositional testing |
| 14:30-15:00 | An Enhanced Exchange Operator for XC | Guess and then check: controller synthesis for safe and secure cyber-physical systems |
| 15:00-15:30 | TRAC: a tool for data-aware coordination (with an application to smart contracts) | Formally verifying a rollback-prevention protocol for TEEs |
| 15:30-16:00 | coffee break | coffee break |
| Session 3: Collective Systems Chair: Mieke Massink |
Session 3: Blockchain and CRDTs Chair: Rolando Martins |
|
| 16:00-16:30 | ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design | Mining Profitability in Bitcoin: Calculations of User-Miner Equilibria and Cost of Mining |
| 16:30-17:00 | Visualisation of Collective Systems with Sequit and Sibilla | A CRDT for Replicated Relational Databases with Integrity Constraints |
Wednesday, June 19: DisCoTec Main Conferences
| Time | COORDINATION | DAIS + FORTE |
|---|---|---|
| 08:50-09:00 | Welcome | Welcome |
| DisCoTec Invited Talk (Room BB 5161.0105) Chair: Rolando Martins |
DisCoTec Invited Talk (Room BB 5161.0105) Chair: Rolando Martins |
|
| 09:00-10:00 | Paulo Veríssimo: Platform Resilience? Beware of Threats from the “basement” |
Paulo Veríssimo: Platform Resilience? Beware of Threats from the “basement” |
| 10:00-10:30 | coffee break | coffee break |
| COORDINATION (Room BB 5161.0105) |
DAIS + FORTE (Room BB 5161.0253) |
|
| Session 4: Tools for Coordination Chair: Mirko Viroli |
Session 4: Automata, Languages and Monitoring Chair: Adrian Francalanza |
|
| 10:30-11:00 | COTS: Connected OpenAPI Test Synthesis for RESTful Applications | AuDaLa is Turing complete |
| 11:00-11:30 | An OpenWhisk Extension for Topology-aware Allocation Priority Policies | Synthesis for prefix first-order logic on data words |
| 11:30-12:00 | SEArch: an execution infrastructure for service-based software systems | Synthesizing timed automata with minimal number of clocks for optimised timed scenarios |
| 12:00-12:30 | Coconut: Typestates for Embedded Systems (Remote) | Adaptable configuration of decentralised monitors |
| 12:30-14:00 | lunch break | lunch break |
| 14:30-16:30 | Excursion (city center) |
Excursion (city center) |
| 18:00-21:00 | Dinner Feithhuis (city center) |
Dinner Feithhuis (city center) |
Thursday, June 20: DisCoTec Main Conferences
| Time | COORDINATION | DAIS + FORTE |
|---|---|---|
| 09:20-09:30 | Welcome | Welcome |
| DisCoTec Invited Talk (Room BB 5161.0105) Chair: Ilaria Castellani |
DisCoTec Invited Talk (Room BB 5161.0105) Chair: Ilaria Castellani |
|
| 09:30-10:30 | Marieke Huisman: VerCors: Inclusive Software Verification |
Marieke Huisman: VerCors: Inclusive Software Verification |
| 10:30-11:00 | coffee break | coffee break |
| COORDINATION (Room BB 5161.0105) |
DAIS + FORTE (Room BB 5161.0253) |
|
| Session 5: Call for Action and Case Studies Chair: Antonio Ravara |
Session 5: Stream Processing and Security Chair: Rolando Martins |
|
| 11:00-11:30 | The Concurrent Calculi Formalisation Benchmark | Stream Economics: Resource Efficiency in Streams with Task Over-Allocation and Load Shedding (Remote) |
| 11:30-12:00 | Choreographic Automata: A Case Study in Healthcare Management | Encryption as a Service: A Review of Architectures and Taxonomies |
| 12:00-12:30 | Simulation-based Decision Support for Cross-Organisational Workflows: A Case Study of Emergency Handling | JustAct: Actions universally justified by partial dynamic policies |
| 12:30-14:00 | lunch break | lunch break |
| Joint Session: DisCoTec Awards (Room BB 5161.0105) |
Joint Session: DisCoTec Awards (Room BB 5161.0105) |
|
| 14:00-14:20 | Awards | Awards |
| COORDINATION (Room BB 5161.0105) |
DAIS + FORTE (Room BB 5161.0253) |
|
| Session 6: Automata-based Models Chair: Alceste Scalas |
Session 6: Types Chair: Valentina Castiglioni |
|
| 14:30-15:00 | Team Automata: Overview and Roadmap | Leaf-first zipper semantics |
| 15:00-15:30 | Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal | MAG𝜋! The role of replication in typing failure prone communication |
| 15:30-16:00 | coffee break | coffee break |
| Session 7: Concurrency Models and Calculi Chair: José Proença |
Session 7: Security Chair: Diego Latella |
|
| 16:00-16:30 | Encoding Petri Nets into CCS | Noninterference analysis of reversible probabilistic systems |
| 16:30-17:00 | Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (SAX) | A multi-agent model for opinion evolution in social networks and cognitive biases |
Detailed Programme
DisCoTec 2024 Best Papers (Session 1)
- A Probabilistic Choreography Language for PRISM
by Marco Carbone and Adele Veschetti (COORDINATION) - Compact Storage of Data Streams in Mobile Devices
by Rémy Raes, Olivier Ruas, Adrien Luxey-Bitri, Romain Rouvoy (DAIS) - Weak Simplicial Bisimilarity for Polyhedral Models and SLCSη
by Nick Bezhanishvili, Vincenzo Ciancia, David Gabelaia, Mamuka Jibladze, Diego Latella, Mieke Massink and Erik De Vink (FORTE)
COORDINATION Programme
Session 2 (session chair: Michele Loreti): Coordination Approaches
- Field-based Coordination for Federated Learning
by Davide Domini, Gianluca Aguzzi, Mirko Viroli and Lukas Esterle - An Enhanced Exchange Operator for XC
by Giorgio Audrito, Daniele Bortoluzzi, Ferruccio Damiani, Giordano Scarso and Gianluca Torta - TRAC: a tool for data-aware coordination (with an application to smart contracts)
by Joao Afonso, Elvis Gerardin Konjoh Selabi, Maurizio Murgia, Antonio Ravara and Emilio Tuosto
Session 3 (session chair: Mieke Massink): Collective Systems
- ScaFi-Blocks: A Visual Aggregate Programming Environment for Low-Code Swarm Design
by Gianluca Aguzzi, Roberto Casadei, Matteo Cerioni and Mirko Viroli - Visualisation of Collective Systems with Sequit and Sibilla
by Nicola Del Giudice, Federico Maria Cruciani and Michele Loreti
Session 4 (session chair: Mirko Viroli): Tools for Coordination
- COTS: Connected OpenAPI Test Synthesis for RESTful Applications
by Christian Bartolo Burlò, Adrian Francalanza, Emilio Tuosto and Alceste Scalas - An OpenWhisk Extension for Topology-aware Allocation Priority Policies
by Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin and Gianluigi Zavattaro - SEArch: an execution infrastructure for service-based software systems
by Carlos Gustavo Lopez Pombo, Pablo Montepagano and Emilio Tuosto - Coconut: Typestates for Embedded Systems
by Arwa Hameed Alsubhi and Ornela Dardha (remote talk)
Session 5 (session chair: Antonio Ravara): Call for Action and Case Studies
- The Concurrent Calculi Formalisation Benchmark
by Marco Carbone, David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, Frederik Krogsdal Jacobsen, Alberto Momigliano, Luca Padovani, Alceste Scalas, Dawit Tirore, Martin Vassor, Nobuko Yoshida and Daniel Zackon - Choreographic Automata: A Case Study in Healthcare Management
by Sourabh Pal, Ivan Lanese and Massimo Clo - Simulation-based Decision Support for Cross-Organisational Workflows: A Case Study of Emergency Handling
by Muhammad Rizwan Ali, Yngve Lamo and Violet Ka I Pun
Session 6 (session chair: Alceste Scalas): Automata-based Models
- Team Automata: Overview and Roadmap
by Maurice ter Beek, Rolf Hennicker and José Proença - Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal
by Davide Basile
Session 7 (session chair: José Proença): Concurrency Models and Calculi
- Encoding Petri Nets into CCS
by Benjamin Bogø, Andrea Burattin and Alceste Scalas - Implementing a Message-Passing Interpretation of the Semi-Axiomatic Sequent Calculus (SAX)
by Adrian Francalanza, Frank Pfenning and Gerard Tabone
DAIS+FORTE Programme
Session 2 (FORTE, session chair: Adrian Francalanza): Testing and Verification
- Network simulation-centric compositional testing
by Tom Rousseaux, Christophe Crochet, John Aoga and Axel Legay - Guess and then check: controller synthesis for safe and secure cyber-physical systems
by Rong Gu, Zahra Moezkarimi and Marjan Sirjani - Formally verifying a rollback-prevention protocol for TEEs
by Weili Wang, Jianyu Niu, Michael Reiter and Yinqian Zhang
Session 3 (DAIS, session chair: Rolando Martins): Blockchain and CRDTs
- Mining Profitability in Bitcoin: Calculations of User-Miner Equilibria and Cost of Mining
by Enrico Tedeschi, Øyvind Nohr, Håvard Dafenborg and Dag Johansen. - A CRDT for Replicated Relational Databases with Integrity Constraints, Claudia-Lavinia Ignat
by Victorien Elvinger and Habibatou Ba
Session 4 (FORTE, session chair: Adrian Francalanza): Automata, Languages and Monitoring
- AuDaLa is Turing complete
by Tom T.P. Franken and Thomas Neele - Synthesis for prefix first-order logic on data words
by Julien Grange and Mathieu Lehaut - Synthesizing timed automata with minimal number of clocks for optimised timed scenarios
by Neda Saeedloei and Feliks Kluzniak - Adaptable configuration of decentralised monitors
by Ennio Visconti, Ezio Bartocci, Yliès Falcone and Laura Nenzi
Session 5 (DAIS+FORTE, session chair: TBD): Stream Processing and Security
- Stream Economics: Resource Efficiency in Streams with Task Over-Allocation and Load Shedding
by Luís Alves and Luís Veiga (remote talk) - Encryption as a Service: A Review of Architectures and Taxonomies
by Amir Javadpour, Forough Ja’Fari and Tarik Taleb - JustAct: Actions universally justified by partial dynamic policies
by Christopher Esterhuyse, Tim Müller and L. Thomas van Binsbergen
Session 6 (FORTE, session chair: Valentina Castiglioni): Types
- Leaf-first zipper semantics
by Sergueï Lenglet and Alan Schmitt - MAG𝜋! The role of replication in typing failure prone communication
by Matthew Alan Le Brun and Ornela Dardha
Session 7 (FORTE, session chair: Diego Latella): Security.
- Noninterference analysis of reversible probabilistic systems
by Andrea Esposito, Alessandro Aldini and Marco Bernardo - A multi-agent model for opinion evolution in social networks and cognitive biases
by Mário S. Alvim, Sophia Knight, Artur Gaspar Silva and Frank Valencia
Sponsors & Supporters
