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: 17th/18th March 2016 in Malta

WG/MC Meetings: 17th/18th March 2016 in Malta

There will be a BETTY meeting in Valletta, Malta, on Thursday 17th and Friday 18th March 2016. The meeting will take place at the Valletta Campus (also known as the Old University Building) of the University of Malta. Please note that this is in the town of Valletta, not on the main campus (the Msida campus) which is out of town. Here are another map with the location marked, and another useful map also with the location marked.

The meeting will include Working Group sessions and a Management Committee meeting. The meeting will be two full days (Thursday and Friday) with the MC meeting on the afternoon of Thursday 17th March.

There is funding for BETTY members to attend the meeting.


Thursday 17th

9.30: Adrian Francalanza (University of Malta)
A theory of monitors

10.15: Jorge Pérez (University of Groningen)
Reversible sessions using monitors

11.00: Coffee break

11.30: Ian Cassar (University of Malta)
Typing adaptation monitors for actor systems

12.15: Ivan Lanese (University of Bologna)
Dynamic choreographies - safe runtime updates of distributed applications

13.00: Lunch

14.15: Management Committee meeting (non-MC members are welcome to join the discussion)
Agenda, Minutes of the previous meetingMinutes of this meeting.

15.30: Coffee break

16.00: Hugo-Andrés Lopez (Technical University of Denmark)
Towards Available-By-Design Communication Protocols

16.40: Bogdan Aman (Institute of Computer Science, Romanian Academy)
Probabilistic multiparty session types

17.20: Tarmo Uustalu (Institute of Cybernetics, Tallinn University of Technology)
Interaction morphisms

18.00: End

18.25: Leave the workshop venue, walk to the ferry terminal, take a boat to dinner.

Friday 18th

9.00: Thomas Hildebrandt (IT University of Copenhagen)
Communication and data in declarative process models, with applications to run-time adaptation

9.45: Aleksandra Mileva (Goce Delcev University of Štip)
Network steganography - can behavioural types make the difference?

10.30: Coffee break

11.00: Bernardo Toninho (Imperial College London)
Certifying and signing data in multiparty session types

11.45: Dimitrios Kouzapas (University of Glasgow)
On the relative expressiveness of higher-order session processes

12.30: Lunch

13.30: Julien Lange (Imperial College London)
Characteristic formulae for session types

14.15: Luís Caires (Universidade Nova de Lisboa)
Behavioural rely-guarantee protocols for shared memory

15.00: Coffee break

15.30: Alceste Scalas (Imperial College London)
Session types in Scala

16.15: Francisco Martins (University of Lisbon)
ParTypes in action: proving the correctness of C+MPI protocols

17.00 : End