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.
Programme
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 meeting, Minutes 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