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: Friday 17th April 2015 in London

WG/MC Meetings: April 2015 in London

There will be Working Group and Management Committee meetings on Friday 17th April, at the end of the ETAPS conference, in London.

The meetings will take place on the Mile End campus of Queen Mary University of London, which is the ETAPS venue. We will be in the Bancroft Building, room 3.26. The Bancroft Building is also the ETAPS workshops venue.

Directions to the campus can be found here. There is a direct link to a campus map here; the Bancroft Building is building 31.

The PLACES workshop, which many BETTY members are likely to attend, will be on Saturday 18th April.


08.30: Coffee available on arrival

09.00 - 10.15: Working Group 3: Languages

Chair: Luca Padovani

09.00 António Ravara :: Behavioural type inference for Java-like languages 
                                   (based on an STSM with Hans Hüttel, Adrian Francalanza and Mario Bravetti)

09.15 Paula Severi :: Coinductive data in sessions 
                                (based on an STSM with Mariangiola Dezani-Ciancaglini)

09.30 Julien Lange :: From communicating machines to graphical choreographies

09.45 Luca Padovani :: Chemistry of type states

10.00 Hugo Vieira :: From verification to synthesis of communication-centred systems using behavioural types

10.15 - 10.45: Break

10.45 - 12.00: Working Group 4: Tools and Applications

Chair: Thomas Hildebrandt

10.45 Luca Padovani :: Demonstration of the Hypha system for type reconstruction in linear pi-calculus

11.10 Ornela Dardha :: Demonstration of static typechecking of SMTP using Scribble and Mungo
Videos: translationrunningtypechecking.

11.35 Massimo Bartoletti :: Demonstration of a contract-oriented middleware based on timed session types

12.00 - 13.00: Management Committee Meeting
Everyone can attend, but only MC members are allowed to vote (one vote per country).
Here are the agenda and the minutes of the previous meeting. Here are the minutes of this meeting.

13.00 - 14.00: Lunch

14.00 - 15.15: Working Group 1: Foundations

Chair: Hans Hüttel

14.00 Adrian Francalanza :: Unblocking locked processes 
                                         (based on an STSM with António Ravara)

14.25 Jorge Pérez :: Relative expressiveness of adaptable processes and compensations 
                               (based on an STSM with Jovana Dedeić)

14.50 Ugo de'Liguoro :: Intersection types for mixin composition 
                                  (based on STSMs with Jakob Rehof and others)

15.15 - 15.45: Break

15.45 - 17.00: Working Group 2: Security

Chair: Ilaria Castellani

15.45 Alberto Lluch Lafuente :: Discretionary Information Flow Control for Interaction-Oriented Specifications

16.15 Ugo de'Liguoro :: Secure multiparty sessions with topics
 (based on an STSM with Ilaria Castellani and Mariangiola Dezani-Ciancaglini)