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 School of Informatics and Computing at Indiana University. More to be announced.
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
We have reserved a block of hotel rooms at the Indiana Memorial Union ($129-$164/night + tax). The earliest check-in date is Saturday, August 20 and the latest check-out date is Friday, August 26. Before July 20, 2016, please use the hotel block "group code" "IFIP" by calling +1-800-209-8145 or +1-812-855-2536 or visiting http://imu.indiana.edu/hotel/
There are also several other hotels and bed-and-breakfasts convenient to downtown Bloomington.
Registration
To be announced.
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, Ewen Denney, Kevin Hammond, Christian Kaestner (M-W), Oleg Kiselyov, Ralf Laemmel, Julia Lawall, 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
Julia Lawall TBA
Walid Taha Hybrid ODEs as a Programming Language
Eric Van Wyk Semantic preservation in extensible languages
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
