Revision as of 16:10, 30 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 meeting will last 3.5 days, 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 (note: an email wrongly indicated the meeting as being Nov 9-11, as should be clear from this page, the duration is Nov 9-12 ending in a half day).

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, Jeremy Gibbons (not present Nov 12th), Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Julia Lawall, Christoph Reichenbach (leaving on Nov 11th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Walid Taha, Laurence Tratt, Eric Van Wyk

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

Walid Taha, Binding Time Analysis in Acumen

Excursion

TBD