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 %EDITTABLE{ header="on" format="|text, 15|select, 1, x, ✓, ?|text, 25|text, 20|"}% |*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 %EDITTABLE{ header="on" format="|text, 15|select, 1, x, ✓, ?|text, 25|text, 20|"}% |*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) |