January 2016 Meeting

Dates

6–7 January, 2016

Location

Room G.07, Informatics Forum, The University of Edinburgh

Transport

The Informatics forum is in easy walking distance of central Edinburgh and Edinburgh Waverly train station. If arriving at Edinburgh airport, either the AirLink bus service or Edinburgh trams can be taken to central Edinburgh.

Schedule

6th January

12:00-13:00	Lunch
13:00-13:40	Raymond Hu (Imperial) - Java API generation
13:40-14:20	Simon Fowler (Edinburgh) - Actors and channels in core λ-calculi
14:20-14:40	Break
14:40-15:20	Alceste Scalas (Imperial) - Lightweight session types in Scala
15:20-16:00	J. Garrett Morris (Edinburgh) - Talking Bananas (Recursion, Linearity and Session Types)
16:00-16:20	Break
16:20-16:50	Gary Brown (Red Hat), Simon Gay (Glasgow) - Scribble update and discussion
16:50-17:20	Dimitris Kouzapas (Glasgow) - Status of use case paper
17:20-17:50	Discussion of use case paper
19:00-	Dinner, Mother India

7th January

8:30-9:00	Breakfast
9:00-9:40	Philip Wadler (Edinburgh) - Logical Interpretation of Multiparty Session Types
9:40-10:20	Laura Voinea (Glasgow) - Paxos
10:20-10:40	Break
10:40-11:20	Sam Lindley (Edinburgh) - Continuation-passing semantics and polarisation for functional session types
11:20-11:40	Break
11:40-12:20	Florian Weber (Glasgow) - POP3
12:20-13:00	Vasco Vasconcelos (Lisbon) - Towards Context-free Session Types
13:00-14:00	Lunch
14:00-14:30	Institutional activity summaries
14:30-16:00	Advisory board meeting (advisory board only)