January 2014 Meeting

Location

Room 217 and 218 at Huxley Building, Imperial College London, 180 Queen's Gate

Dates

9th January
09.00-18.00 and dinner from 19.00. Coffee is available from 08.30.
10th January
09.00-14.00: coffee is available from 08.30. If you wish, you can return before lunch (12.30).

Schedule

9th January
08.30 - 09.00 coffee
09.00 - 09.15 Philip Wadler (Edinburgh) - overview of program grant
09.15 - 09.30 Simon Gay (Glasgow) - overview of Glasgow
09.30 - 09.45 Nobuko Yoshida (IC) - overview of IC
09.45 - 10.00 Sam Lindley (Edinburgh) - overview of Edinburgh
10.00 - 10.10 short break
10.10 - 11.10 Raymond Hu (IC) - Scribble tutorial
11.10 - 11.40 coffee
11.40 - 12.10 Rumyana Neykova (IC) - Multiparty Session Types for Runtime Verification
12.10 - 12.30 Gary Brown (Red Hat) - Introduction to Savara
12.30 - 14.00 lunch
14.00 - 14.20 Matthew Arrott (OOI) - Overview of the OOI Governance Layer
14.20 - 14.50 Garrett Morris (Edinburgh) - Replication, Recursion and Concurrency
14.50 - 15.30 coffee
15.30 - 15.50 Steve Ross-Talbot (Cognizant) - Understanding legacy: A practical use of session types and session instances
15.50 - 16.20 Dimitris Kouzapas (Glasgow) - Typestate and session types for Java
16.20 - 16.30 short break
16.30 - 17.00 Nicholas Ng (IC) - Pabble: Parameterised Scribble for Parallel Programming
17.00 - 17.30 Frank Pfenning (Carnegie Mellon) - Concurrent Programming in Linear Type Theory
19.00 - dinner (TAS Bloomsbury).
10th January
09.00 - 09.30 Vasco Vasconcelos (Lisbon) - A concurrent programming language with refined session types
09.30 - 09.50Andrew Birkett (Amazon) - Distributed Systems and Amazon
09.50 - 10.20 Mariangiola Dezani (Torino) - Self-Adaptive Monitors for Multi-party Session Types
10.20 - 11.10coffee
11.10 - 11.45 Laura Bocchi (IC) - Resolving non-determinism in choreographies
11.45 - 12.20 Ornela Dardha (Glasgow) - Session Types Revisited
12.20 - 14.00lunch
13.15 - 14.00Management Committee (Phil, Simon and Nobuko only)
14.00 - 17.00 Advisory Board (with coffee break)
Attendees
Christina Turner (EPSRC)
 
Matthew Arrott (OOI)
Andrew Birkett (Amazon)
Gary Brown (Red Hat)
Steve Ross-Talbot (Cognizant)
Alexis Richardson (VMware)
 
Mariangiola Dezani (Torino)
Vasco Vasconcelos (Lisbon)
Frank Pfenning (Carnegie Mellon)
 
Simon Gay (Glasgow)
Phil Wadler (Edinburgh)
Nobuko Yoshida (IC)
17.00 - 18.00Management Committee