Skip to content. | Skip to navigation

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

Navigation

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.

Programme

09.00 - 10.00: WG1 (Foundations)
- Overview (Hans Hüttel)
- Short presentations:
  1. Global Programming (Marco Carbone)
  2. Typing Progress in Communication Centred Systems (Hugo Torres Vieira)
  3. Adaptive Choreographies (Ivan Lanese)
  4. Logical Foundations of Session-Based Interaction (Luis Caires)
  5. Live Sessions With Responses (Marco Carbone)
- Discussion

10.00 - 11.00: WG2 (Security)
- Overview (Ilaria Castellani and Hugo Vieira)
- Short presentations:
  1. Information flow control and reputation in multiparty sessions (Sara Capecchi)
  2. Multi-party sessions as a security protocol abstraction (Pierre-Malo Deniélou)
  3. Security Types for Dynamic Web Data (Svetlana Jakšic)
  4. Proof-Carrying Code with Dependent Session Types (Bernardo Toninho)
- Discussion

11.00 - 11.30: Break

11.30 - 12.30: WG3 (Languages)
- Overview (Luca Padovani)
- Short presentations:
  1. Modular Session Types for Objects (Nils Gesbert)
  2. Session Types in Functional Languages (Vasco Vasconcelos and Bernardo Toninho)
  3. Let’s Scribble (Rumyana Neykova)
- Discussion

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

16.00 - 17.00: Management Committee meeting (MC members only). Here are the agenda, the minutes, and the DC Rapporteur's slides.