FORTE
The proceedings are available online at: http://link.springer.com/book/10.1007%2F978-3-319-39570-8
Day 1: Monday, June 6
- 08:30 – 09:30: Registration
- 09:30 – 10:30: Keynote Speaker: Vijay Saraswat, (Logical and Imperative) Calculi for Distributed Coordination
- 10:30 – 11:00: Break
- 11:00 – 12:30: Expressiveness
- Jorge A. Pérez
The Challenge of Typed Expressiveness in Concurrency (Short Paper) - Yehia Abd Alrahman, Rocco De Nicola and Michele Loreti
On the Power of Attribute-based Communication - Ludovic Henrio, Eric Madelaine and Min Zhang
A theory for the composition of concurrent processes
- Jorge A. Pérez
- 12:30 – 14:00: Lunch
- 14:00 – 16:00: Session types
- Luis Caires and Jorge A. Pérez
Multiparty Session Types Within A Canonical Binary Theory, and Beyond - Tzu-Chun Chen, Malte Viering, Andi Bejleri, Lukasz Ziarek and Patrick Eugster
A Type Theory for Robust Failure Handling in Distributed Systems - Hugo A. López, Flemming Nielson and Hanne Riis Nielson
Enforcing Availability in Failure-Aware Communicating Systems - Carlo Spaccasassi and Vasileios Koutavas
Type-Based Analysis for Session Inference
- Luis Caires and Jorge A. Pérez
- 16:00 – 16:30: Break
- 16:30 – 18:00: Tool Papers
- Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari and Emilio Tuosto
Playing with our CAT and Communication-Centric Applications (Tool Paper) - Nicola Atzei and Massimo Bartoletti
Developing honest Java programs with Diogenes (Tool Paper) - Manel Tekaya, Mohamed Taha Bennani, Samir Ben Ahmed and Nedra Ebdelli
SimAutoGen tool: Test vector generation from large scale Matlab/Simulink models (Tool Paper)
- Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari and Emilio Tuosto
Day 2: Tuesday, June 7
- 08:30 – 09:30: Registration
- 09:30 – 10:30: Keynote Speaker: Tim Harris, What does the operating system ever do for me? System challenges in graph analytics
- 10:30 – 11:00: Break
- 11:00 – 12:30: Joint Session
- Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini
On Sessions and Infinite Data - Yaroslav Hayduk, Anita Sobe and Pascal Felber
Enhanced Energy Efficiency with the Actor Model on Heterogeneous Architectures - Parosh Aziz Abdulla, Mohamed Faouzi Atig, Stefanos Kaxiras, Carl Leonardsson, Alberto Ros and Yunyun Zhu
Fencing Programs with Self-Invalidation and Self-Downgrade
- Paula Severi, Luca Padovani, Emilio Tuosto and Mariangiola Dezani-Ciancaglini
- 12:30 – 14:00: Lunch
- 14:00 – 16:00: Self-stabilization & Formal methods in practice
- Karine Altisen, Stéphane Devismes and Pierre Corbineau
A Framework for Certified Self-Stabilization - Fathiyeh Faghih, Borzoo Bonakdarpour, Sebastien Tixeuil and Sandeep S. Kulkarni
Specification-based Synthesis of Distributed Self-Stabilizing Protocols - Luís Cruz-Filipe and Fabrizio Montesi
Choreographies in Practice (Short Paper) - Francesco Mercaldo, Vittoria Nardone, Antonella Santone and Corrado Aaron Visaggio
Ransomware Steals your Phone. Formal Methods Rescue it. (Short Paper)
- Karine Altisen, Stéphane Devismes and Pierre Corbineau
- 16:00 – 16:30: Break
- 18:00: Social Event
Day 3: Wednesday, June 8
- 08:30 – 09:30: Registration
- 09:30 – 10:30: Keynote Speaker: Catuscia Palamidessi, Verifying Generalized Differential Privacy in Concurrent Systems
- 10:30 – 11:00: Break
- 11:00 – 12:30: Verification and Testing
- Ákos Hajdu, Tamás Tóth, András Vörös and Istvan Majzik
A Configurable CEGAR Framework with Interpolation-based Refinements - Alexandre Petrenko, Omer Landry Nguena Timo and S Ramesh
Multiple Mutation Testing from FSM - David De Frutos Escrig, Jeroen J.A. Keiren and Tim A.C. Willemse
Branching Bisimulation Games
- Ákos Hajdu, Tamás Tóth, András Vörös and Istvan Majzik
- 12:30 – 12:35: Closing