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
       
  • 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
       
  • 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)
       

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
       
  • 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)
       
  • 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
       
  • 12:30 – 12:35: Closing

Back to Top