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 31st August 2014 in Rome

WG/MC Meetings: Sunday 31st August 2014 in Rome

There will be Working Group and Management Committee meetings on Sunday 31st August, the day before the BEAT 2014 workshop, in Rome.

The meetings will be in room "Cesarini" at the Grand Hotel Palatino, which is near the CONCUR/BEAT venue.

BETTY funding for the WG/MC meetings and BEAT

If you are attending the WG/MC meetings with BETTY funding (for the nights of 30th and 31st) then you can also be reimbursed for the extra day to attend BEAT (the night of 1st). This only applies to the hotel and meals; you will have to pay the BEAT registration fee yourself. The BEAT registration fee is €80, and you have to pay an additional €50 if you are registering only for the workshop (i.e. if you are not registering for CONCUR or TGC). These are the early registration fees; the early registration deadline is 27th July.

Programme

09.00 - 10.15: Working Group 1: Reports on STSMs
Giovanni Bernardi (Dualities and testing relations for session types)
Mario Bravetti & Marco Carbone (Adaptable choreographies and behavioural contracts)
Nobuko Yoshida (Implementation and Expressiveness of Session Types)
Hans Hüttel, Björn Victor & Johannes Borgström (Binary Session Types for Psi-Calculi)

10.15 - 10.45: Break

10.45 - 12.00: Working Group 2: Reports on STSMs
Luca Padovani (Information Flow Analysis in Systems with Liveness Properties)
Anna Philippou (Typing Privacy)
Svetlana Jaksic (Privacy for Linked Data)
Jorge Perez (Exploring harmonious integrations of security and adaptation within session communications)

12.00 - 13.00: Management Committee Meeting
Everyone can attend, but only MC members are allowed to vote (one vote per country).
Agenda
Minutes 

13.00 - 14.00: Lunch

14.00 - 15.15: Working Group 4
Tihana Galinac Grbac (Potential new case studies for behavioural types)
other contributions to be confirmed

15.15 - 15.45: Break

15.45 - 17.00: Working Group 3
1. Overview of work by WG3 (Luca Padovani & Nobuko Yoshida)
2. Progress reports on behavioural types and programming languages
    (Rumyana Neykova, Raymond Hu, Fabrizio Montesi)
3. Discussion

Links