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](http://crest.iu.edu/) 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, Sven-Bodo Scholz, Ulrik Pagh Schultz, Chung-chieh Shan, 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
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
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
