Skip to content. | Skip to navigation

Behavioural Types for Reliable Large-Scale Software Systems
COST Action IC1201


You are here: Home / Meetings / WG/MC Meetings: Sunday 24th March 2013 at ETAPS

WG/MC Meetings: Sunday 24th March 2013 at ETAPS

The format of the meeting was as follows:
  • Four sessions, sequentially, one for each Working Group; these sessions were open to everyone. Each session focused on working towards the state-of-the-art report that the WG is committed to producing during the first year of the Action. Within each session, there was an opening presentation outlining the scope of the WG, followed by several shorter presentations on themes within the WG, its relationship to other WGs, and directions for future research. General discussion followed. Each WG chair planned its session in discussion with WG members.
  • There was also a short meeting of the Management Committee.


  • 11.00 - 11.30: Break
  • 12.30 - 14.00: Lunch
  • 14.00 - 15.00: WG4 (Tools and Applications)
    • Overview: Peter Wong
    • Short presentations:
      1. Tijs Slaats - Session types for cross-organizational workflows in case management systems
      2. Luis Caires - Towards algorithmic typechecking of concurrent programs with behavioral-separation types
      3. Tim Hallwyl - Electronic Exchange of Social Security Information (EESSI)
    • Discussion
  • 15.00 - 15.30: Open discussion
  • 15.30 - 16.00: Break