Planning London 2012

The meeting will be held in London

• Venue: Imperial College, London
• Time: Monday, February 27 to Friday, March 2 until lunch.
• Local organizer: Susan Eisenbach

Accommodation

We'll be meeting at Imperial College, London. Imperial maintains a web page for booking hotels with competitive rates:

http://www.imperial.ac.uk/conferences/hotel_dir.asp?campus_id=sk

The hotel we used last time (for the ECOOP PC meeting) was:

Grange Strathmore Hotel 41 Queen's Gate Gardens, London SW7 5NB

Another option - especially as funding seems ever tighter these days - is a hotel booking service - this one is apparently quite good:

http://www.booking.com/city/gb/london.html?aid=303948;label=london-HIOSi_4bM_KpzVbmtWDxsAS7897554141;ws=&gclid=COqVv-Cj86wCFUUPfAod9Dg3Bw

Workshop fee

The workshop fee covers food coffee, lunch, dinner, and an outing to the Design Museum. The cost is £285 + 1.345% credit card fee. Credit card payment can be made here:

http://www.imperial.ac.uk/click/1430

Getting there

The closest underground station to Imperial College is South Kensington. The workshop will be in 219A William Penny Lab. This is off the main walkway on the right as can be seen on the Campus Map:

http://www3.imperial.ac.uk/computing/about/gettinghere

Alternatively, you can take the underground to Gloucester Road station and then come into the main Computing Building at 180 Queen's Gate. Go up the main staircase and then exit onto the main walkway. The William Penny lab will be on your left (after passing a couple of other buildings).

Members

Name	Will Attend	Talk	Notes
Andrew Black	x
Gilad Bracha	x
Kim Bruce	x
William R. Cook	✓	Managed Data: Rolling You Own Data Structuring Mechanism
Tom Van Cutsem	✓	Evolution in programming language design?
Dan Ingalls	x
Jonathan Edwards	✓	Problems of Application Programming
Susan Eichenbach	✓	Shared Memory Concurrency: Lock Inference
Erik Ernst	✓	Working with stack intervals rather than invocations, applied to data structure traversal
Robby Findler	x
Mathew Flatt	x
Crista Lopes	x
Erik Meijer	x
Jan-Willem Maessen	✓	TBD	Brainstorming on this
Mark S. Miller	x
James Noble	✓	State of Grace
Mads Torgersen	x
David Ungar	x
Eelco Visser	✓	Evaluating Language Design
Alessandro Warth	x

Visitors

Name	Will Attend	Talk	Notes
Tijs van der Storm	✓	Language Design Smells
Daan Leijen	✓	effect language and/or cloud programming with revisions
Stefan Hanenberg	✓	Controlled experiments for the empirical evaluation of programming language constructs: type systems as an example
Sean McDirmid	✓	Escape from the maze of twisty classes
John Field	?
Robert Hirschfeld	✓	Design Thinking
Don Syme	✓
Jonathan Aldrich	✓	Permission-Based Programming
Sophia Drossopoulou	✓
Roberto Ierusalimschy	✓
Magne Haveraaen	✓	Can I reason about the code?

Discussion Topics

• Evaluation of Language Design (Eelco Visser)
• Language design for cloud computing (Tom van Cutsem)

Tentative Schedule

Monday
9:00-12:00	introductions
12:00-14:00	lunch
14:00-17:00	talks
19:00	dinner
Tuesday
9:00-12:00	talks
12:00-14:00	lunch
14:00-17:00	talks
19:00	dinner
Wednesday
9:00-12:00	talks
12:00-22:00	excursion + dinner
Thursday
9:00-12:00	talks
12:00-14:00	lunch
14:00-17:00	talks
19:00	dinner
Friday
9:00-12:00	talks
12:00-14:00	lunch (optional)