Difference between revisions of "WG211/M15Schedule"
(→Excursion) |
(→November 9-12, 2015, London, England) |
||
| Line 5: | Line 5: | ||
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). | 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). | ||
| − | + | === Venue === | |
| + | |||
| + | The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”. Specifically: | ||
| − | + | Rooms 217&218, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building] | |
| + | Dept of Computing, Imperial College London | ||
| + | 180 Queen's Gate, | ||
| + | London SW7 2AZ | ||
| − | + | A pleasant walking route from the London Town Hotel is [https://goo.gl/maps/uKxuJpvgxhr here]. | |
| + | A recommended route from South Kensington tube station is [https://goo.gl/maps/QNZnANwRCwG2 here]. | ||
=== Travel === | === Travel === | ||
| Line 24: | Line 30: | ||
In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk] | In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [http://doctorhouse.co.uk] | ||
You should expect a significant commute of course. | You should expect a significant commute of course. | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Registration == | == Registration == | ||
Revision as of 20:23, 4 November 2015
Contents
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).
Venue
The venue will be the Department of Computing at Imperial, and is in the heart of London’s “Museum Quarter”. Specifically:
Rooms 217&218, the Huxley Building Dept of Computing, Imperial College London 180 Queen's Gate, London SW7 2AZ
A pleasant walking route from the London Town Hotel is here. A recommended route from South Kensington tube station is here.
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], we suggest one of the following two options:
- The Queensgate Hotel ([2]) is particularly convenient (right across the street) and is recommended by previous visitors.
- London Town Hotel (15 Penywern Rd, Kensington and Chelsea, London, SW5 9TY, United Kingdom) which is not too far and cheaper than Queensgate, see booking.com [3] and tripadvisor [4]
In general there are many other hotels to choose from. In particular, if you need a cheaper option, there are many cheap hotels; our experience with them is mixed. We do have had good experience with this agency, which offers rooms in private homes: [5] You should expect a significant commute of course.
Registration
Please use this link to register online: https://www.eventbrite.co.uk/e/wg211-fifteenth-meeting-london-2015-tickets-18843174442 Registration costs £225 per person. This includes lunches on Nov 9,10,11,12 and dinners Nov 9,10,11.
Attendance
Members: please add yourself here (in alphabetical order by last name) or email a chair-person to be added.
Sandrine Blazy, Edwin Brady (not present Nov 12th), Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), Alexander Grebhahn, Kevin Hammond, Atsushi Igarashi (leaving on Nov 11th), Paul Kelly, Naoki Kobayashi, Julia Lawall, Christian Lengauer, Peter Mosses, John O'Donnell, Klaus Ostermann (leaving on Nov 12th), Derek Rayside, Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz (not present on Nov 12th), Ulrik Pagh Schultz, Chung-chieh Shan, Tony Sloane, Armando Solar-Lezama, Laurence Tratt (not present 13:00-18:00 on Nov 11), Eric Van Wyk, Herbert Wiklicky, Nobuko Yoshida
Talks
See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.
Sandrine Blazy, Formal verification of source program obfuscations
Edwin Brady Resource-dependent Algebraic Effects
Jacques Carette, Simplifying probabilistic programs using computer algebra
Alastair Donaldson, Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler
Jeremy Gibbons, Comprehending Monadic Queries
Robert Glück, Maximally-polyvariant partial evaluation
Alexander Grebhahn, Performance-Influence Models: Prediction, Optimization, Debugging
Atsushi Igarashi, Type systems for a polymorphic imperative multi-stage language
Paul Kelly, Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?
Naoki Kobayashi, Higher-order model checking and program verification
Christian Lengauer, The ExaStencils DSL ExaSlang
Peter Mosses, Run your component-based semantics
John O'Donnell, Circuit generators in a functional hardware description language
Klaus Ostermann, Variability-Aware Programming
Christoph Reichenbach, Copy and Paste Redeemed
Sven-Bodo Scholz, SHRAY - a DSM tailored for generated code
Ulrik Pagh Schultz, A domain-specific language for specifying reversible robot assembly tasks
Chung-chieh Shan, Symbolic Bayesian inference by lazy partial evaluation
Tony Sloane, Respect Your Parents: How Attribution and Rewriting Can Get Along
Armando Solar-Lezama, Interactive derivation of provably correct divide-and-conquer dynamic programming implementations
Laurence Tratt, Fine-grained language composition
Eric Van Wyk Semantic Preservation in Language Extensions
Herbert Wiklicky, On Frameworks for Quantitative Program Synthesis
Nicholas Ng and Nobuko Yoshida Protocols by Default: Safe MPI Code Generation based on Session Types (to be confirmed)
Schedule
Note that the actual scheduling of talks will not be available until the meeting starts (although you will know in advance if you are giving a talk in the first session).
Monday Nov 9th:
- 9:15 arrive, welcome
- 9:30-11:00 work (2 talks)
- 11:00-11:30 morning break with refreshments
- 11:30-13:00 work (2 talks)
- 13:00-14:00 buffet lunch
- 14:00-15:30 work (2 talks)
- 15:30-16:00 afternoon break with refreshments
- 16:00-17:30 work (2 talks)
- 19:00 dinner at a local South Kensington restaurant
Tuesday Nov 10th:
- 9:30-11:00 work (2 talks)
- 11:00-11:30 morning break with refreshments
- 11:30-13:00 work (2 talks)
- 13:00-14:00 working lunch
- 14:00-15:30 work (2 talks)
- 15:30-16:00 afternoon break with refreshments
- 16:00-17:30 business meeting (members only)
- 19:00 dinner at Doggetts Coat and Badge on the South Bank (tube or cycle, 30mins)
Wednesday Nov 11th
- 9:30-11:00 work (2 talks)
- 11:00-11:30 morning break with refreshments
- 11:30-13:00 work (2 talks)
- 13:00-14:00 working lunch
- 14:00-15:30 work (2 talks)
- 16:00-17:00 tour of Victoria and Albert museum
- 19:00 dinner a local South Kensington restaurant
Thursday Nov 12th
- 9:30-11:00 work (2 talks)
- 11:00-11:30 morning break with refreshments
- 11:30-13:00 work (2 talks)
- 13:00-14:00 buffet lunch
Excursion
16:00 on Wednesday 11th November: an introductory tour of the [| Victoria and Albert Museum] (approximately one hour). The museum is within 15 minutes walk from the workshop location.
