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:
-
Global Programming (Marco Carbone)
-
Typing Progress in Communication Centred Systems (Hugo Torres Vieira)
-
Adaptive Choreographies (Ivan Lanese)
-
Logical Foundations of Session-Based Interaction (Luis Caires)
-
Live Sessions With Responses (Marco Carbone)
-
-
Discussion
-
-
10.00 - 11.00: WG2 (Security)
-
Overview (Ilaria Castellani and Hugo Vieira)
-
Short presentations:
-
Information flow control and reputation in multiparty sessions (Sara Capecchi)
-
Multi-party sessions as a security protocol abstraction (Pierre-Malo Deniélou)
-
Security Types for Dynamic Web Data (Svetlana Jakšic)
-
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:
-
Modular Session Types for Objects (Nils Gesbert)
-
Session Types in Functional Languages (Vasco Vasconcelos and Bernardo Toninho)
-
Let’s Scribble (Rumyana Neykova)
-
-
Discussion
-
-
12.30 - 14.00: Lunch
-
14.00 - 15.00: WG4 (Tools and Applications)
-
Overview: Peter Wong
-
Short presentations:
-
Tijs Slaats - Session types for cross-organizational workflows in case management systems
-
Luis Caires - Towards algorithmic typechecking of concurrent programs with behavioral-separation types
-
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.