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.
Schedule
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: translation, running, typechecking.
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)