WG211/M15Schedule

From WG 2.11
Revision as of 12:38, 22 October 2015 by Paul (talk | contribs) (Talks and Schedule)
Jump to: navigation, search

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 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], 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.

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

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, Jacques Carette, Alastair Donaldson, Jeremy Gibbons (not present Nov 12th), Robert Glück (leaving on Nov 12th), 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), Christoph Reichenbach (leaving on Nov 12th), Sven-Bodo Scholz, 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 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.

Sandrine Blazy, Formal verification of source program obfuscations

Edwin Brady TBD

Jacques Carette, Simplifying probabilistic programs using computer algebra

Alastair Donaldson, Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler

Robert Glück, Maximally-polyvariant partial evaluation

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, TBD

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

Laurence Tratt, Fine-grained language composition

Julia Lawall, Prequel: A Patch-Like Query Language for Commit History Search

Herbert Wiklicky, On Frameworks for Quantitative Program Synthesis

Nobuko Yoshida (to be confirmed)

Excursion

TBD