WG 2.11 - User contributions [en]

WG211/M17Schedule

2017-07-16T00:31:33Z

Paul: /* Talks */

=IFIP Working Group 2.11, Seventeenth Meeting=

== July 17-20, 2017 in Koblenz, Germany. ==

The meeting will be held in Koblenz, Germany, hosted by [http://www.softlang.org/rlaemmel:home Ralf Lämmel] (University of Koblenz-Landau).

The meeting will last 3.5 days; the first three days (July 17-19) will be full-day, whereas the last day (July 20) will be a half-day session. Recommended arrival is afternoon/evening of Sunday 16 July. Recommended departure is noon Thursday 20 July.

=== Venue ===

The meeting will take place at [http://www.contel-koblenz.de/pages/en/home.php?lang=EN Contel Hotel Koblenz] ([https://www.google.de/maps/place/CONTEL+Hotel+Koblenz/@50.366071,7.575757,17z/data=!3m1!4b1!4m5!3m4!1s0x47be634b933abd41:0x3deab960124706a9!8m2!3d50.366071!4d7.577951?hl=en Google Maps]). The hotel is right at the Mosel River, it is less than 1km from the most beautiful parts of the old city. If the weather is nice, you can walk to the hotel from the main station. Otherwise, get on the bus (3/13, direction Güls) and get off after 9mins at Ludwig-Erhardt-Str. The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

=== Travel ===

[https://www.frankfurt-airport.com/en/flights---more/flights.html Frankfurt Airport] is well connected to Koblenz. Terminal 1 is connected to the regional and inter-city/express train station. From the train station there is an hourly service to Koblenz. You may need to change trains in Mainz. The journey by train takes about 70 minutes. You should [https://www.bahn.com/en/view/booking-information/booking/online-ticket.shtml buy the train ticket online]. Alternative airports include Cologne-Bonn Airport and Hahn Airport both with similar journey times. The Koblenz main train station is 2.3km from the conference hotel, several public transportation options are available; in particular: bus 3/13, direction Güls, station Ludwig-Erhardt-Str., travel time 9mins.

=== Accommodation ===

The deal for the conference hotel assumes that we are also booking rooms in the same hotel.

The price for a hotel room is 90 Euro per night incl. VAT and breakfast. (Note: If you travel with spouse, the price is 106 Euro instead, subject to change).

Please reserve your hotel room by email: hotel@contel-koblenz.de

'''Please cc laemmel@uni-koblenz.de so that the local organizer is aware of your booking and can assist.'''

You need to mention "IFIP WG 2.11" in the email reservation, and you need to mention arrival and departure dates explicitly: arrival should be Sunday 16 July, departure should be Thursday 20 July.

Here is a [mailto:hotel@contel-koblenz.de?cc=laemmel@uni-koblenz.de&subject=Hotel%20reservation,%20IFIP%20WG2.11&body=%20%20Dear%20Contel%20Hotel%20Koblenz,%0a%0aI%20would%20like%20to%20reserve%20a%20room%20from%20Sunday%20July%2016%20until%20Thursday%20July%2020,%20using%20the%20special%20rate%20IFIP%20WG2.11.%0a%0aPlease%20confirm%20the%20reservation,%20thank%20you.%0a%0a cleverly crafted hotel reservation mailto link] that includes the relevant information.

=== Registration ===

To register add your name to the attendance list below (or email a chair-person to have it added for you) '''and''' reserve a room at the hotel (accommodation, above). The registration fee is 350 Euro.

You pay in two parts.

====Part I: Conference facilities====

(Note: If you travel with spouse, this part is not relevant for your spouse.)

Assuming you stay for the full period, you will pay 203 Euro with your hotel bill, to cover the related conference services.

For example: you stay 16-20 July (4 nights). Your hotel bill will be 90*4+203=563 Euro.

This covers use of conference facilities, refreshments, and lunch.

====Part II: Catering and social events====

(Note: If you travel with spouse, this part is relevant for your spouse, if she/he wants to take part.)

In addition to the hotel, each participant needs to pay an extra 147 Euro to "Landeshochschulkasse Mainz" (see below).

You can pay by bank transfer or cash onsite.

This covers all the social events.

You will receive an official receipt for the registration fee onsite. The receipt will specify a single amount as your registration fee for participating in the meeting.

Payment details if you opt for bank transfer (rather than cash onsite):

* Amount: 147 Euro
* Account holder: Landeshochschulkasse Mainz
* Bank: Deutsche Bundesbank Filiale Mainz
* IBAN: DE25 5500 0000 0055 0015 11
* BIC: MARKDEF1550

'''You must include this note to payee: 6501Ko/1509-28202/5142128'''

Also mention IFIP WG 2.11.

Make sure that you cover all costs of bank transfer.

== Attendance ==

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

Nada Amin (except 20/7), Jacques Carette, Bernd Fischer, Robert Glück, Atsushi Igarashi, Yukiyoshi Kameyama, Paul Kelly, Stefan Kronawitter, Ralf Lämmel, Julia Lawall, Christian Lengauer, Stefan Marr, Bruno C. d. S. Oliveira, Markus Püschel (arrives afternoon 17th, leaves 20th at 11), Christoph Reichenbach, Ulrik Pagh Schultz, Chung-chieh Shan (the first two days), Tony Sloane, Yannis Smaragdakis, Armando Solar-Lezama, Friedrich Steimann, Eric Van Wyk, Jeremy Yallop, Vadim Zaytsev.

== Talks ==

See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts. Members: please add yourself and your topic, following the template below.

* Nada Amin [[ WG211/M17Amin | Collapsing Towers of Interpreters ]]
* Jacques Carette [[WG211/M17Carette | Multi-lingual code generation in Drasil]]
* Bernd Fischer [[ WG211/M17Fischer | Breaking Parsers ]]
* Robert Glück [[WG211/M17Glueck | An experiment in ping-pong protocol verification by pushdown automata]]
* Atsushi Igarashi [[ WG211/M17Igarashi | Towards gradually typed multi-stage programming ]]
* Yukiyoshi Kameyama [[ WG211/M17Kameyama | Environment Classifiers, Revisited ]]
* Paul Kelly [[ WG211/M17Kelly | Domain-specific optimisation of finite-element integration loops – and what we learned ]]
* Stefan Kronawitter, Christian Lengauer [[ WG211/M17Lengauer | The ExaStencils Compiler: Domain-Specific Stencil-Code Optimization ]]
* Ralf Lämmel [[WG211/M17Laemmel | Systematic comparison of metaprogramming technologies]]
* Stephan Marr [[WG211/M17Marr | Kómpos: A Concurrency-Agnostic Debugger, An Example for Domain-Specific Live Debugging ]]
* Bruno C. d. S. Oliveira [[WG211/M17Oliveira | Semantic Modularization Techniques in Practice: A TAPL case study ]]
* Markus Püschel [[WG211/M17Puschel | Program generation for small linear algebra (not on Monday or last talk Thursday) ]]
* Christoph Reichenbach [[WG211/M17Reichenbach | Adding an extensible backend for PQL/Java]]
* Ulrik Pagh Schultz [[WG211/M17Schultz | Safety as a Programming Language Concept]]
* Chung-chieh Shan [[WG211/M17Shan | Inference building blocks]] (I don't have to speak; I'm only around on July 17 and 18)
* Yannis Smaragdakis [[WG211/M17Smaragdakis | Stream Fusion, to Completeness ]]
* Armando Solar-Lezama [[ WG211/M17SolarLezama | Type system support for template based synthesis ]]
* Friedrich Steimann [[WG211/M17Steimann | Transactional Editing: Giving ACID to Programmers ]]
* Eric Van Wyk [[WG211/M17VanWyk | Extensible and composable type qualifiers in AbleC ]]
* Jeremy Yallop [[WG211/M17Yallop | Staged Generic Programming ]]
* Vadim Zaytsev [[WG211/M17Zaytsev | Succeeding at Impossible Industrial Projects with Generative Technologies ]]

== Program / schedule ==

=== Scientific program ===

The scheduling of the talks will be posted here at the start of the meeting. The overall schedule is as follows.

Monday July 17:
* 8.45-9.00: Welcome
* 9.00-10:30: 2 talks
* 10:30-11:00: Break
* 11:00-12:30: 2 talks
* 12:30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: 2 talks
* 17.30: Social event

Tuesday July 18:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: Business meeting (members only)
* 18.00: Social event

Wednesday July 19:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-12.30: 2 talks
* 12.30-14.15: Lunch (break)
* 14.15-15.00: 1 talk
* 15.00-15.30: Break
* 15.30-17.00: 2 talks
* 17.30: Social event

Thursday July 20:
* 9.00-10.30: 2 talks
* 10.30-11.00: Break
* 11.00-11.45: 1 talk
* 12.00: Lunch

=== Social events ===

* Sunday 16 July; 6pm - ...
** Informal meeting at [https://www.kaffeewirtschaft.de/ Kaffeewirtschaft]
* Monday 17 July; 5.30-8pm
** Planwagentour ("mobile wine tasting") in Winningen mit [http://www.weingut-fries.de/ Winzermeister Fries]
* Tuesday 18 July; 6-7pm
** Guided city tour in Koblenz mit [http://www.koblenz-touristik.de/ Koblenz Touristik]
* Tuesday 18 July; 7.30-10pm
** Dinner at [http://www.weinkeller-schwaab.de/restaurant-schwaab.html Weingut Schwaab] in Güls
* Wednesday 19 July; 5.30-11pm
** Dinner at [http://www.weindorf-koblenz.de/ Weindorf Koblenz]
* Thursday 20 July; 12.01-1.30pm
** Lunch in the city center

Social events are covered by the registration fee except informal reception on Sunday (one free drink, though) and the lunch on Thursday.

== Excursion==

[https://www.tripadvisor.com/Attractions-g187391-Activities-Koblenz_Rhineland_Palatinate.html TripAdvisor] provides some fairly "exhausting" list of local attractions. One thing to keep in mind is that Koblenz is a wine region. Magically, both the Mosel river and the Rhine river meet right at [https://en.wikipedia.org/wiki/Deutsches_Eck Deutsches Eck] ("German Corner"). Koblenz has a beautiful old city. One is supposed to visit nearby castles, fortresses -- many of them along the rivers (mainly the Rhine river). Such visits may be very well done on a (rented) bike. For instance, one should strive for [https://en.wikipedia.org/wiki/Lorelei Lorelei] (a rock). If you should run out of ideas, you could still go to Bonn and Cologne.

WG211/M17Kelly

2017-07-16T00:29:13Z

Paul: Domain-specific optimisation of finite-element integration loops – and what we learned

Title: '''Domain-specific optimisation of finite-element integration loops – and what we learned'''

Abstract:

Firedrake is a program generator that automates the finite element method for solving partial differential equations (PDEs). It has a growing community of users, particularly in geophysical flows, for weather, climate and tidal energy. Firedrake implements a domain-specific language (UFL, from the FEniCS Project), which represents the (weak form of the) PDE. It generates efficient code to run on your laptop or supercomputer. Firedrake is entirely written in Python, generating C at runtime using a number of optimisations that would be very challenging to implement by hand. This talk is a reflection on some of our experience in building Firedrake, with a specific dive into its strategy for minimising FLOPs in the local integration loop nests executed at each element of the mesh.

The key Firedrake paper is: Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. Mcrae, Gheorghe-Teodor Bercea, Graham R. Markall, and Paul H. J. Kelly. ''Firedrake: automating the finite element method by composing abstractions''. ACM Trans. Math. Softw., 43(3):24:1–24:27, 2016. URL: [http://arxiv.org/abs/1501.01809].

More specifically, see Fabio Luporini, David A. Ham, and Paul H. J. Kelly. ''An algorithm for the optimization of finite element integration loops''. ACM Transactions on Mathematical Software, 44(1):3:1–3:26, 2017. URL: [https://arxiv.org/abs/1604.05872].

WG211/M17Kelly

2017-07-16T00:28:03Z

Paul: Domain-specific optimisation of finite-element integration loops – and what we learned

Title: '''Domain-specific optimisation of finite-element integration loops – and what we learned'''

Abstract:

Firedrake is a program generator that automates the finite element method for solving partial differential equations (PDEs). It has a growing community of users, particularly in geophysical flows, for weather, climate and tidal energy. Firedrake implements a domain-specific language (UFL, from the FEniCS Project), which represents the (weak form of the) PDE. It generates efficient code to run on your laptop or supercomputer. Firedrake is entirely written in Python, generating C at runtime using a number of optimisations that would be very challenging to implement by hand. This talk is a reflection on some of our experience in building Firedrake, with a specific dive into its strategy for minimising FLOPs in the local integration loop nests executed at each element of the mesh.

The key Firedrake paper is: Florian Rathgeber, David A. Ham, Lawrence Mitchell, Michael Lange, Fabio Luporini, Andrew T. T. Mcrae, Gheorghe-Teodor Bercea, Graham R. Markall, and Paul H. J. Kelly. ''Firedrake: automating the finite element method by composing abstractions''. ACM Trans. Math. Softw., 43(3):24:1–24:27, 2016. URL: [http://arxiv.org/abs/1501.01809].

More specifically, see Fabio Luporini, David A. Ham, and Paul H. J. Kelly. An algorithm for the optimization of finite element integration loops. ACM Transactions on Mathematical Software, 44(1):3:1–3:26, 2017. URL: [https://arxiv.org/abs/1604.05872].

WG211/M15Nardi

2015-11-09T22:37:14Z

Paul: Created page with "Title: Vertically-integrated exploration of algorithmic and implementation design spaces in 3D scene understanding Speaker: Luigi Nardi ([http://wp.doc.ic.ac.uk/lnardi/]) Abst..."

Title:
Vertically-integrated exploration of algorithmic and implementation design spaces in 3D scene understanding

Speaker: Luigi Nardi ([http://wp.doc.ic.ac.uk/lnardi/])

Abstract:
Real-time computer vision and in particular simultaneous localisation and mapping (SLAM) offer great potential for a new level of scene modelling, tracking and real environmental interaction for many types of robot, but their high computational requirements mean that use on mass market embedded platforms is challenging. Meanwhile, trends in low-cost, low-power processing are towards massive parallelism and heterogeneity, making it difficult for robotics and computer vision researchers to implement their algorithms in a performance-portable way.

In this talk we briefly introduce SLAMBench, a publicly-available benchmarking framework which represents a starting point for quantitative, comparable and validatable experimental research to investigate trade-offs in performance, accuracy and energy consumption of a SLAM system. We then examine how it can be mapped to power constrained embedded systems. Key to our approach is the idea of incremental co-design exploration, where optimisation choices that concern the domain layer are incrementally explored together with low-level compiler and architecture choices. The goal of this exploration is to reduce execution time while minimising the power but without sacrificing the quality of the result. We can see a clear interest in pushing the envelope at a higher level of abstraction than current popular languages, e.g. C. The take-away message is that domain-specific knowledge can give a boost in performance, a boost that would not have been harnessed by more standard compiler optimisation techniques.

WG211/M15Schedule

2015-11-09T22:34:48Z

Paul: /* Talks */

=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, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],
Dept of Computing, Imperial College London,
180 Queen's Gate,
London SW7 2AZ.

If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.

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 ===

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. Details of various ways to reach the College are [https://www.imperial.ac.uk/visit/campuses/south-kensington/ here].

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

== 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

Luigi Nardi [[WG211/M15Nardi | Vertically-integrated exploration of algorithmic and implementation design spaces in 3D scene understanding]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | A Library for Probabilistic and Variability-Aware Programming]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | Protocols by Default: Safe MPI Code Generation based on Session Types]] (to be confirmed)

== Schedule (v1.3) ==

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): Carette, Igarashi
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Sloane, Kobayashi
* 13:00-14:00 buffet lunch
* 14:00-15:30 work (2 talks): Kelly, Reichenbach
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks): Armando, Brady
* 19:00 dinner at [http://pizzametropizza.com/notting-hill/ PizzaMetroPizza (Notting Hill)], 147 – 149 Notting Hill Gate, London W11 3LF. A recommended (and interesting) 30-minute walk from Imperial [https://goo.gl/maps/iT3pyRANtWn], or fairly direct bus (number 70) is also available [https://goo.gl/maps/FGSg43znyLT2]. From the London Town Hotel it's a 30-minute walk [https://goo.gl/maps/3cfwPVXb9Yv] or a short tube ride [https://goo.gl/maps/fheK5yFf8vC2].

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks): Wiklicky, Blazy
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Tratt, Lengauer
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks): Grebhahn, Donaldson
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:15 dinner at [http://www.nicholsonspubs.co.uk/restaurants/london/doggettscoatandbadgesouthbanklondon Doggetts Coat and Badge] on the South Bank. From Imperial take the tube [https://goo.gl/maps/hb5jSHuRk9L2], from the London Town Hotel [https://goo.gl/maps/K4RiAPyJQJD2]. The journey takes about half an hour. However you are recommended to go early and walk along the South Bank. For example, take the same tube but get off at Westminster [https://goo.gl/maps/QzProuVMbt52 (20 mins)] then walk along the Thames [https://goo.gl/maps/7kpG5ZP3rcm (25 mins)].

Wednesday Nov 11th
* 9:30-11:00 work (2 talks): Yoshida, Scholz
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Gibbons, Glück
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks): Ostermann, Nardi
* 16:00-17:00 tour of Victoria and Albert museum
* 19:00 dinner at [http://www.masalazone.com/locations/bayswater/ Masala Zone (Bayswater)]. From Imperial you can walk ([https://goo.gl/maps/RhmM2f9m6jB2 (35 mins)]) or take the number 70 bus again [https://goo.gl/maps/da2STkYeFk62 (20 mins)]. From The London Town Hotel by tube [https://goo.gl/maps/X6ohLZDfQBL2 (20 mins)] or on foot [https://goo.gl/maps/EdPHT5WWAK12 (45 mins)].

Thursday Nov 12th
* 9:30-11:00 work (2 talks): Schultz, Mosses
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Rayside, Shan
* 13:00-14:00 buffet lunch

== Excursion==

16:00 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-11-09T16:59:03Z

Paul: /* Schedule (v1.3) */

=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, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],
Dept of Computing, Imperial College London,
180 Queen's Gate,
London SW7 2AZ.

If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.

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 ===

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. Details of various ways to reach the College are [https://www.imperial.ac.uk/visit/campuses/south-kensington/ here].

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

== 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | A Library for Probabilistic and Variability-Aware Programming]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | Protocols by Default: Safe MPI Code Generation based on Session Types]] (to be confirmed)

== Schedule (v1.3) ==

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): Carette, Igarashi
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Sloane, Kobayashi
* 13:00-14:00 buffet lunch
* 14:00-15:30 work (2 talks): Kelly, Reichenbach
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 work (2 talks): Armando, Brady
* 19:00 dinner at [http://pizzametropizza.com/notting-hill/ PizzaMetroPizza (Notting Hill)], 147 – 149 Notting Hill Gate, London W11 3LF. A recommended (and interesting) 30-minute walk from Imperial [https://goo.gl/maps/iT3pyRANtWn], or fairly direct bus (number 70) is also available [https://goo.gl/maps/FGSg43znyLT2]. From the London Town Hotel it's a 30-minute walk [https://goo.gl/maps/3cfwPVXb9Yv] or a short tube ride [https://goo.gl/maps/fheK5yFf8vC2].

Tuesday Nov 10th:
* 9:30-11:00 work (2 talks): Wiklicky, Blazy
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Tratt, Lengauer
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks): Grebhahn, Donaldson
* 15:30-16:00 afternoon break with refreshments
* 16:00-17:30 business meeting (members only)
* 19:15 dinner at [http://www.nicholsonspubs.co.uk/restaurants/london/doggettscoatandbadgesouthbanklondon Doggetts Coat and Badge] on the South Bank. From Imperial take the tube [https://goo.gl/maps/hb5jSHuRk9L2], from the London Town Hotel [https://goo.gl/maps/K4RiAPyJQJD2]. The journey takes about half an hour. However you are recommended to go early and walk along the South Bank. For example, take the same tube but get off at Westminster [https://goo.gl/maps/QzProuVMbt52 (20 mins)] then walk along the Thames [https://goo.gl/maps/7kpG5ZP3rcm (25 mins)].

Wednesday Nov 11th
* 9:30-11:00 work (2 talks): Yoshida, Scholz
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Gibbons, Glück
* 13:00-14:00 working lunch
* 14:00-15:30 work (2 talks): Ostermann, Nardi
* 16:00-17:00 tour of Victoria and Albert museum
* 19:00 dinner at [http://www.masalazone.com/locations/bayswater/ Masala Zone (Bayswater)]. From Imperial you can walk ([https://goo.gl/maps/RhmM2f9m6jB2 (35 mins)]) or take the number 70 bus again [https://goo.gl/maps/da2STkYeFk62 (20 mins)]. From The London Town Hotel by tube [https://goo.gl/maps/X6ohLZDfQBL2 (20 mins)] or on foot [https://goo.gl/maps/EdPHT5WWAK12 (45 mins)].

Thursday Nov 12th
* 9:30-11:00 work (2 talks): Schultz, Mosses
* 11:00-11:30 morning break with refreshments
* 11:30-13:00 work (2 talks): Rayside, Shan
* 13:00-14:00 buffet lunch

== Excursion==

16:00 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-11-04T20:04:53Z

Paul: /* Schedule */

=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, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],
Dept of Computing, Imperial College London,
180 Queen's Gate,
London SW7 2AZ.

If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.

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 ===

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. Details of various ways to reach the College are [https://www.imperial.ac.uk/visit/campuses/south-kensington/ here].

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

== 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | 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 [http://pizzametropizza.com/notting-hill/ PizzaMetroPizza (Notting Hill)], 147 – 149 Notting Hill Gate, London W11 3LF. A recommended (and interesting) 30-minute walk from Imperial [https://goo.gl/maps/XByCaUMddjJ2], or fairly direct bus (number 70) is also available [https://goo.gl/maps/FGSg43znyLT2]. From the London Town Hotel it's a 30-minute walk [https://goo.gl/maps/3cfwPVXb9Yv] or a short tube ride [https://goo.gl/maps/fheK5yFf8vC2].

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 [http://www.nicholsonspubs.co.uk/restaurants/london/doggettscoatandbadgesouthbanklondon Doggetts Coat and Badge] on the South Bank. From Imperial take the tube [https://goo.gl/maps/hb5jSHuRk9L2], from the London Town Hotel [https://goo.gl/maps/K4RiAPyJQJD2]. The journey takes about half an hour. However you are recommended to go early and walk along the South Bank. For example, take the same tube but get off at Westminster [https://goo.gl/maps/QzProuVMbt52 (20 mins)] then walk along the Thames [https://goo.gl/maps/7kpG5ZP3rcm (25 mins)].

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 at [http://www.masalazone.com/locations/bayswater/ Masala Zone (Bayswater)]. From Imperial you can walk ([https://goo.gl/maps/RhmM2f9m6jB2 (35 mins)]) or take the number 70 bus again [https://goo.gl/maps/da2STkYeFk62 (20 mins)]. From The London Town Hotel by tube [https://goo.gl/maps/X6ohLZDfQBL2 (20 mins)] or on foot [https://goo.gl/maps/EdPHT5WWAK12 (45 mins)].

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 [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-11-04T19:29:53Z

Paul: /* Travel */

=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, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],
Dept of Computing, Imperial College London,
180 Queen's Gate,
London SW7 2AZ.

If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.

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 ===

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. Details of various ways to reach the College are [https://www.imperial.ac.uk/visit/campuses/south-kensington/ here].

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

== 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | 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 [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-11-04T19:26:55Z

Paul: /* Venue */

=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, [https://goo.gl/maps/WXLEGc2Ttuq the Huxley Building],
Dept of Computing, Imperial College London,
180 Queen's Gate,
London SW7 2AZ.

If you enter via the street entrance, 180 Queen's Gate, then the meeting room is immediately on the left, through the blue doors. There should be helpful reception staff to direct you if necessary.

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 ===

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 [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

== 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | 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 [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-11-04T19:23:09Z

Paul: /* November 9-12, 2015, London, England */

=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, [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 ===

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 [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

== 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | 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 [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-11-04T19:10:50Z

Paul: /* Excursion */

=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 [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

==== 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 (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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | Resource-dependent Algebraic Effects]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | 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 [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15YoshidaNg

2015-10-29T19:56:18Z

Paul:

Protocols by Default: Safe MPI Code Generation based on Session Types

[https://www.doc.ic.ac.uk/~cn06/ Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ Nobuko Yoshida]

Abstract:
In this talk I will present a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of a global topology using Pabble, a protocol specification language based on parameterised multiparty session types (MPST). An MPI parallel program backbone is automatically generated from the global specification. The backbone code can then be merged with the sequential code describing the application behaviour, resulting in a complete MPI program. This merging process is fully automated through the use of an aspect-oriented compilation approach. In this way, programmers only need to supply the intended communication protocol and provide sequential code to automatically obtain parallelised programs that are guaranteed free from communication mismatch, type errors or deadlocks.

WG211/M15YoshidaNg

2015-10-29T19:55:32Z

Paul: Created page with "Protocols by Default: Safe MPI Code Generation based on Session Types [https://www.doc.ic.ac.uk/~cn06/ | Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ | Nobuk..."

Protocols by Default: Safe MPI Code Generation based on Session Types

[https://www.doc.ic.ac.uk/~cn06/ | Nicholas Ng] and [http://mrg.doc.ic.ac.uk/people/nobuko-yoshida/ | Nobuko Yoshida]

Abstract:
In this talk I will present a code generation framework for type-safe and deadlock-free Message Passing Interface (MPI) programs. The code generation process starts with the definition of a global topology using Pabble, a protocol specification language based on parameterised multiparty session types (MPST). An MPI parallel program backbone is automatically generated from the global specification. The backbone code can then be merged with the sequential code describing the application behaviour, resulting in a complete MPI program. This merging process is fully automated through the use of an aspect-oriented compilation approach. In this way, programmers only need to supply the intended communication protocol and provide sequential code to automatically obtain parallelised programs that are guaranteed free from communication mismatch, type errors or deadlocks.

WG211/M15Schedule

2015-10-29T19:53:31Z

Paul: /* Talks */

=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 [http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation], we suggest one of the following two options:

* The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) 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 [http://www.booking.com/hotel/gb/londontownhotel.en-gb.html?aid=355028;sid=61fbd28db9bc75b4d2d9b65ad73f58f7;dcid=1;checkin=2015-11-08;checkout=2015-11-12;ucfs=1;srfid=f90dbdb71821248dcada614bc34c5a22e3fd963dX122;highlight_room=2572] and tripadvisor [http://www.tripadvisor.co.uk/Hotel_Review-g186338-d195226-Reviews-London_Town_Hotel-London_England.html]

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.

==== 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), 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, [[WG211/M15Blazy | Formal verification of source program obfuscations]]

Edwin Brady [[WG211/M15Brady | TBD]]

Jacques Carette, [[WG211/M15Carette | Simplifying probabilistic programs using computer algebra ]]

Alastair Donaldson, [[WG211/M15Donaldson | Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler]]

Jeremy Gibbons, [[WG211/M15Gibbons | Comprehending Monadic Queries]]

Robert Glück, Maximally-polyvariant partial evaluation

Alexander Grebhahn, [[ WG211/M15Grebhahn | Performance-Influence Models: Prediction, Optimization, Debugging ]]

Atsushi Igarashi, [[WG211/M15Igarashi | Type systems for a polymorphic imperative multi-stage language]]

Paul Kelly, [[WG211/M15Kelly | Synthesis versus Analysis: What Do We Actually Gain from Domain-Specificity?]]

Naoki Kobayashi, [[WG211/M15Kobayashi | Higher-order model checking and program verification]]

Julia Lawall, [[WG211/M15Lawall | Prequel: A Patch-Like Query Language for Commit History Search]]

Christian Lengauer, [[WG211/M15Lengauer | The ExaStencils DSL ExaSlang]]

Peter Mosses, [[WG211/M15Mosses | Run your component-based semantics]]

John O'Donnell, [[WG211/M15ODonnel | Circuit generators in a functional hardware description language]]

Klaus Ostermann, [[WG211/M15Ostermann | Variability-Aware Programming ]]

Christoph Reichenbach, [[WG211/M15Reichenbach | Copy and Paste Redeemed ]]

Sven-Bodo Scholz, [[WG211/M15Scholz | SHRAY - a DSM tailored for generated code]]

Ulrik Pagh Schultz, [[WG211/M15Schultz | A domain-specific language for specifying reversible robot assembly tasks]]

Chung-chieh Shan, [[WG211/M15Shan | Symbolic Bayesian inference by lazy partial evaluation ]]

Tony Sloane, [[WG211/M15Sloane | Respect Your Parents: How Attribution and Rewriting Can Get Along]]

Armando Solar-Lezama, [[WG22/M15SolarLezama | Interactive derivation of provably correct divide-and-conquer dynamic programming implementations ]]

Laurence Tratt, [[WG211/M15Tratt | Fine-grained language composition]]

Eric Van Wyk [[WG211/M15VanWyk | Semantic Preservation in Language Extensions ]]

Herbert Wiklicky, [[WG211/M15Wiklicky | On Frameworks for Quantitative Program Synthesis]]

Nicholas Ng and Nobuko Yoshida [[WG211/M15YoshidaNg | 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)
* 15:30-16:30 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==

15:30 on Wednesday 11th November: an introductory tour of the [[http://www.vam.ac.uk | Victoria and Albert Museum]] (approximately one hour).
The museum is within 15 minutes walk from the workshop location.

WG211/M15Schedule

2015-10-22T11:44:01Z

Paul: /* Excursion */

WG211/M15Schedule

2015-10-22T11:43:11Z

Paul: /* Excursion */

WG211/M15Schedule

2015-10-22T11:38:21Z

Paul: /* Talks and Schedule */

WG211/M15Schedule

2015-10-22T11:37:09Z

Paul: /* Talks and Schedule */

WG211/M15Wiklicky

2015-10-22T11:23:28Z

Paul: Created page with "On Framework for Quantitative Program Synthesis Arguably most work on the problem of program synthesis is based on various models based in discrete structures, e.g. related to ..."

On Framework for Quantitative Program Synthesis

Arguably most work on the problem of program synthesis is based on
various models based in discrete structures, e.g. related to model
checking, game theoretic models, combinatorial optimisation, etc.
In this talk we aim in recasting program synthesis as a non-linear,
continuous optimisation problem. This allows among other things
for a smoother integration of non-functional constraints. Initial
experiments demonstrate that, maybe surprisingly, it is possible
to avoid algebraic reasoning for algebraic problems and replace it
entirely by continuous optimisation constraints.

———

Dr. Herbert Wiklicky holds Master (MSc) degrees in theoretical physics,
mathematics, and computer science and a PhD in computer science from
the University and TU Vienna. He held positions in Vienna, Amsterdam,
Tokyo, Mannheim and London where his work concentrated on various
topics in theoretical computer science in particular in semantics (of
concurrency) and program analysis. Since 2001 he is at the Department
of Computing at Imperial College London (most recently as Reader in
Computer Science). His main research interests are in models, in
particular, of probabilistic computation, expressiveness of languages,
computer security and general quantitative approaches in computation.
Together with Dr. Alessandra Di Pierro (Pisa, Verona) his research
focused on quantitative program analysis, which lead e.g to the
development of Probabilistic Abstract Interpretation (PAI) based on
Linear Operator Semantics (LOS).

WG211/M15Schedule

2015-10-22T11:22:59Z

Paul: /* Talks and Schedule */

WG211/M15Donaldson

2015-10-17T13:40:52Z

Paul: Created page with "Title: Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler Alastair Donaldson, leader of Imperial's Multicore Programming Group ([h..."

Title: Translation Validation for Data Race-Freedom of OpenCL Code Generated by a Parallelising Compiler

Alastair Donaldson, leader of Imperial's Multicore Programming Group ([http://multicore.doc.ic.ac.uk])

Abstract:

The CARP EU project led to the development of GPUVerify, a static verification tool that is capable of providing data race-freedom of OpenCL and CUDA computational kernels. To deal with programs that contain loops, GPUVerify must either be provided with loop invariants by the user, or must try to guess loop invariants. In both cases, verification is sound: provided or guessed loop invariants are not trusted; their truth is checked automatically as part of the verification process.

CARP also led to a new high-level language, PENCIL, that allows accelerator programs to be written in a cleaned-up dialect of C, restricted to enable aggressive auto-parallelising compilation in the polyhedral model. The CARP team at ENS/INRIA designed a PENCIL->OpenCL compiler, and the Imperial team were keen to try verifying race-freedom of the generated code using GPUVerify. However, code generated by polyhedral compilers typically contains deep loop nests, and automatically inferring suitable invariants for these loop nests proved challenging.

We managed to manually figure out required invariants for some example generated kernels, and explained the form of these invariants to the ENS/INRIA compiler team. The compiler team realised that the compiler, internally, has all the requisite information necessary to generate these sorts of invariants. We have thus investigated a setup where, from a PENCIL program, the PENCIL->OpenCL compiler generates optimized OpenCL code, together with invariants characterising the argument that the code is data race-free. GPUVerify does not trust this "certificate" of race-freedom: it checks whether the invariants really do hold, and if they do, it uses them to try to prove race-freedom of the generated code.

Using this setup we have been able to verify race-freedom of a large set of kernels generated from the Polybench suite, and in the process we found two bugs in the compiler that meant that generated code could exhibit data races.

In the talk, I will provide an overview of this work, running some demos to show the process in action.

WG211/M15Schedule

2015-10-17T13:36:18Z

Paul: /* Talks and Schedule */

WG211/M15Kelly

2015-10-06T09:20:08Z

Paul: Created page with "Domain-specific performance optimisations (DSOs) can prove extremely profitable. My group at Imperial has worked on six or seven DSO different projects, mostly in computational s..."

Domain-specific performance optimisations (DSOs) can prove extremely profitable. My group at Imperial has worked on six or seven DSO different projects, mostly in computational science applications. This talk aims to reflect on our experiences. One aspect, of course, is whether we have a stand-alone domain-specific language (DSL), a DSL embedded in a general host language, or an “active library” whose implementation delivers DSOs, perhaps across sequences of calls. A key question, though, is just what enables us to deliver a DSO. Is it some special semantic property deriving from the domain? Is it because the DSL abstracts from implementation details – enabling the compiler to make choices that would be committed in lower-level code? Is it that the DSL captures large-scale dataflows that are obscured when coded in a conventional general-purpose language? Is it simply that we know that particular optimisations are good for a particular context? The talk will explore this question with reference to our DSO projects in finite-element methods, unstructured meshes, linear algebra and Fourier interpolation. This is joint work with many collaborators.

WG211/M15Schedule

2015-10-06T09:19:09Z

Paul: /* Talks and Schedule */

WG211/M15Schedule

2015-10-06T09:15:13Z

Paul: /* Registration */

WG211/M15Schedule

2015-10-06T09:10:58Z

Paul: /* Venue */

WG211/M15Schedule

2015-08-26T09:53:03Z

Paul: /* Travel */

=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.
((PAUL: you can add a note here about an excursion - typically on the afternoon of the 3rd day.))

=== Travel ===

Train: London has good train connections to much of northern Europe (Paris <2.5 hours, Amsterdam <5). 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:
[http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation]

The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.

If you need a cheaper option, there are cheaper hotels; our experience with them is mixed. We 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.

==== Excursions ====

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

=== Venue ===

((PAUL: a link to the venue, perhaps a link to a map.))

== Registration ==

((PAUL: you get to decide how you want to handle this. You can look over web pages of past meetings and/or contact other hosts to see how they did it.))

== Attendance ==

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

Ulrik Pagh Schultz, Tony Sloane, Eric Van Wyk

== Talks and Schedule ==

TBD

== Excursion==

TBD

If you want to participate in the excursion please add yourself here (in alphabetical order by last name) or email a chair-person to be added.

WG211/M15Schedule

2015-08-26T09:44:54Z

Paul: /* Accommodation */

=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.
((PAUL: you can add a note here about an excursion - typically on the afternoon of the 3rd day.))

=== Travel ===

((PAUL: any advise on better airports to fly into, or hints on grounds transportation can go here.))

==== Accommodation ====

Imperial's conferences office offers support in finding accommodation options:
[http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation]

The Queensgate Hotel ([http://www3.imperial.ac.uk/conferenceandevents/accommodation/hotelaccommodation/queensgate]) is particularly convenient (right across the street) and is recommended by previous visitors.

If you need a cheaper option, there are cheaper hotels; our experience with them is mixed. We 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.

==== Excursions ====

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

=== Venue ===

((PAUL: a link to the venue, perhaps a link to a map.))

== Registration ==

((PAUL: you get to decide how you want to handle this. You can look over web pages of past meetings and/or contact other hosts to see how they did it.))

== Attendance ==

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

Ulrik Pagh Schultz, Tony Sloane, Eric Van Wyk

== Talks and Schedule ==

TBD

== Excursion==

TBD

If you want to participate in the excursion please add yourself here (in alphabetical order by last name) or email a chair-person to be added.