Revision as of 06:31, 28 August 2015

IFIP Working Group 2.11, Fifteenth Meeting

November 9-12, 2015, London, England

The meeting will be held in London, England, hosted by Paul Kelly (Imperial College). The first three days (Nov 9-11) will be full-day, whereas the last day (Nov 12) will be a half-day session ending with lunch.

There will be an excursion, details to be announced.

Venue

The venue will be 170 Queen’s Gate (http://www.170queensgate.co.uk), which is almost next door to the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”.

Travel

Train: London has good train connections to much of northern Europe (Paris < 2.5 hours, Amsterdam < 5 hours). London has five airports: Heathrow, Gatwick, Stansted, London City and Luton. All are roughly 1-1.5 hours from Imperial. Heathrow and London City are somewhat cheaper since they're on the tube network.

Accommodation

Imperial's conferences office offers support in finding accommodation options [1]

The Queensgate Hotel ([2]) is particularly convenient (right across the street) and is recommended by previous visitors.

We will soon post a suggestion for a less expensive hotel within a convenient (e.g., half-hour) distance, such that attendees on a budget can stay there together if they should wish to do so.

In general, if you need a cheaper option, there are cheaper hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [3] You should expect a significant commute of course.

Excursions

There will be an excursion one afternoon during the meeting time.

Venue

(To do: link to the venue and a link to a map.)

Registration

Registration will be handled by Imperial College, details and costs to be announced, but will be similar to previous recent meetings in Europe.

Attendance

Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

Jacques Carette, Atsushi Igarashi (leaving on 11th), Paul Kelly, Julia Lawall, Ulrik Pagh Schultz, Tony Sloane, Eric Van Wyk, Chung-chieh Shan

Talks and Schedule

Members: please add yourself here (in alphabetical order by last name, following the example below) or email a chair-person to be added.

Jacques Carette, TBD

Robert Glück, Maximally-polyvariant partial evaluation

Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language

Ulrik Pagh Schultz, A domain-specific language for specifying reversible robot assembly tasks

Chung-chieh Shan, something about probabilistic programming

Excursion

TBD