WG211/M16Schedule
Contents
IFIP Working Group 2.11, Sixteenth Meeting
August 22-25, 2016 in Bloomington, Indiana, USA.
The meeting will be held in Bloomington, Indiana, USA, hosted by Chung-chieh Shan (Indiana University). The meeting will last 3.5 days; the first three days (August 22-24) will be full-day, whereas the last day (August 25) will be a half-day session ending with lunch.
Venue
The venue will be the ground-level meeting room at the Center for Research in Extreme Scale Technologies at 420 N. Walnut St near downtown Bloomington.
Travel
Beware that the Bloomington in Indiana is different from the Bloomington in Illinois and Minnesota. Do not fly into Bloomington-Normal airport in Illinois!
The most convenient airport is Indianapolis (IND), about one hour of driving time from campus. To get from the airport to campus:
- Every couple of hours there are two companies (Go Express and Star of America) that provide shuttle van service to Bloomington (from 6:20am to 10:40pm; ~$20), with a stop in front of the Indiana Memorial Union.
- Or call e2Taxi at +1 812-961-8294.
- Or rent a car at the airport.
You can also drive from another city, such as Chicago (4 hours), Cincinnati (3 hours), Louisville (2 hours).
Accommodation
As of July 20, the block of hotel rooms we reserved at the Indiana Memorial Union ($129-$164/night + tax, earliest check-in on August 20, latest check-out on August 26) has released, so any further booking is subject to current availability. Please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536.
There are also several other hotels and bed-and-breakfasts convenient to downtown Bloomington.
Registration
The registration fee is US$375. Please register and pay using this link: https://indianauniv.ungerboeck.com/prod/emc00/register.aspx?OrgCode=10&EvtID=7572&AppCode=REG
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, Charles Consel (M-W), Ewen Denney, Jeremy Gibbons, Kevin Hammond, Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall (M-W), Ryan Newton, Tiark Rompf, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, Jeremy Siek, Satnam Singh, Walid Taha, Eelco Visser, Eric Van Wyk
Talks
See below for schedule, note that the actual scheduling of talks will not be available until the meeting starts.
Sandrine Blazy A Verified Compiler for a Memory Model supporting Pointer Arithmetic and Uninitialised Data
Jacques Carette TBA
Charles Consel TBA
Kevin Hammond Farms, Pipes, Streams and Reforestation: Reasoning about Structured Parallel Processes using Types and Hylomorphisms
Jeremy Gibbons APLicative Programming with Naperian Functors
Julia Lawall TBA
Sven-Bodo Scholz SpaceTime -- a fresh view on parallel programming
Ulrik Pagh Schultz Adventures in Object-Oriented Reversible Programming
Walid Taha Hybrid ODEs as a Programming Language
Eric Van Wyk TBD
Eelco Visser Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics
Praveen Narayanan Disintegrating probabilistic programs with arrays
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).
This is the schedule from last year - please modify as needed. Monday August 22:
- 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 ...
Tuesday August 23:
- 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:15 dinner at ...
Wednesday August 24:
- 9:30-11:00 work (2 talks)
- 11:00-11:30 morning break with refreshments
- 11:30-12:15 work (1 talk)
- 12:15-13:15 non-working lunch
- 13:15-15:30 work (3 talks)
- 16:00-17:00 tour of
- 19:00 dinner at ...
Thursday August 25:
- 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
After lunch on Wednesday, August 24, we'll take in the highlights of the Indiana University Art Museum and Lilly Library, including its puzzle collection. If we're lucky, we'll also learn a bit about the Kinsey Institute.
If you're looking to spend some free time in Bloomington (like meeting up for Sunday dinner), here are some of the options:
- Food:
- "restaurant row" on 4th St around Dunn St and Grant St: Tibetan, Burmese, Korean, Indian, Turkish, ...
- downtown: Samira (Afghan), Owlery (vegan diner), King Dough (wood-oven pizza), ...
- Alcohol: Upland Brewery, The Tap, Function Brewery, Quaff On, ...
- Coffee: Pourhouse, Soma, Runcible Spoon, Hopscotch, ...
- Film: More "Raiders of the Lost Ark" than you probably want at the Indiana University Cinema
- Bicycling: Maybe rent a bike at Revolution Bike & Bean, enjoy an espresso, and head for one of the lakes (Griffy, Lemon, Monroe)?
