- 1 IFIP Working Group 2.11 Second Meeting
- 1.1 Schedule
- 1.1.1 Sunday 9:00-10:00
- 1.1.2 Sunday 10:30-12:00
- 1.1.3 Sunday 12:00-13:15
- 1.1.4 Sunday 13:30-15:30
- 1.1.5 Sunday 16:00-17:30
- 1.1.6 Sunday 19:00-21:00
- 1.1.7 Monday 9:00-10:00
- 1.1.8 Monday 10:30-12:00
- 1.1.9 Monday 12:00-13:15
- 1.1.10 Monday 13:30-15:00
- 1.1.11 Monday 15:30-17:30
- 1.1.12 Monday 19:30
- 1.1.13 Tuesday 9:00-10:30
- 1.1.14 Tuesday 11:00-12:00
- 1.1.15 Tuesday 12:00-13:15
- 1.1.16 Tuesday 13:15-17:00
- 1.1.17 Tuesday 19:30
- 1.1.18 Wednesday 9:00-10:00
- 1.1.19 Wednesday 10:30-12:00
- 1.1.20 Wednesday 12:00-13:15
- 1.1.21 From Houston airports to the hotels
- 1.1.22 From the hotels to the meeting location
- 1.1.23 Meeting coordinator
- 1.1 Schedule
IFIP Working Group 2.11 Second Meeting
March 6-9, 2005, Houston, Texas
Talks will be 20 minutes in length, with 10 minutes for questions. There is information about getting from the airport to the hotel and from the hotel to the meeting location at the end of this page.
Session chair: Doug Smith
Eelco Visser, Utrecht University
Walid Taha, Rice University
Session chair: Laurent Reveillere
Doug Smith, Kestrel Institute
Yannis Smaragdakis, Georgia Tech
Maintaining Static Invariants using Generalized Algebraic Datatypes in Omega [Presentation]
Tim Sheard, Portland State University
Lunch: Goode Company BBQ, 5109 Kirby Dr, phone: 713.522.2530
Session chair: Cristina Videira Lopes
Laurent Reveillere, INRIA Futurs
Marc Pouzet, Universite Pierre et Marie Curie
Harold Ossher, IBM T.J. Watson Research Center
Eugenio Moggi, DISI, University of Genoa
Session chair: Paul H J Kelly
Cristina Videira Lopes, University of California
Julia Lawall, University of Copenhagen
Sam Kamin, University of Illinois
Dinner: Benjy's, 2424 Dunstan, phone: 713.522.7602.
Bus to pick up at Best Western at 7:00 p.m. Bus to return to Best Western at 9:00 p.m.
Session chair: Sam Kamin
Ken Kennedy, Rice University
Paul H J Kelly, Imperial College London
Session chair: Kevin Hammond
Albert Cohen, INRIA Futurs
Christoph Armin Herrmann, University of Passau
Christian Lengauer, University of Passau
Lunch: Amazon Grill, 5114 Kirby Dr., phone: 713.522.5888
Bus Pick-up at 12:00 p.m. outside Duncan Hall. Board bus at 13:15 p.m. to return to Duncan Hall.
Session chair: Krzysztof Czarnecki
Kevin Hammond, University of St. Andrews
Bernd Fischer, NASA Ames (demo?)
Oege de Moor, Oxford University
Dinner: Julia's Bistro, 3722 Main Street, phone: 713.807.0090.
Take the light rail (boarding station is across the street from Best Western) and exit at the HCC/Ensemble station stop. Walk one block south on West Alabama. Use the light rail to return to Best Western
Session chair: Don Batory
Moshe Vardi, Rice University
Krzysztof Czarnecki, University of Waterloo
Charles Consel, INRIA Futurs
Session chair: Eelco Visser
Don Batory, University of Texas
Thomas Ball, Microsoft Research
Lunch: Kubo's Japanese Grill at 2414 University Dr., phone: 713.528.7878
Bus Pick-up at 12:00 p.m. outside Duncan Hall. Board bus at 13:15 p.m. to go to the Museum of Natural Science at One Hermann Circle Drive. Bus Pick up outside Museum at 5:00 p.m. to go to the Best Western.
Dinner: T'afia, 3701 Travis Street, phone: 713.524.6922.
Take the light rail (boarding station is across the street from Best Western) and exit at the HCC/Ensemble station stop. Walk south towards West Alabama. Take a right on Winbern and head towards Travis Street. T'afia is between Winbern and West Alabama. Use the light rail to return to the Best Western.
Lunch: Jalapenos Restaurant, 2702 Kirby Drive, phone: 713.524.1668
Bus Pick-up at 12:00 p.m. outside Hermann Brown Hall. Board bus at 13:15 p.m. to return to Hermann Brown Hall.
From Houston airports to the hotels
The "Medical Center Area" is where Rice is and where the hotels are. If you arrive at either of the two main airports (Bush IAH or Houston Hobby), you can get into this area by either the "Express Shuttle" (713) 523-8888 or a taxi. If you are traveling alone, the Express Shuttle is the best way to get here. From Bush IAH it will cost $20 (instead of $50+ for a taxi), and from Hobby it will cost $15. You can find out the most recent prices [here].
If you take the shuttle, ask them to drop you off either at your hotel (Hilton/Holiday Inn/Warwick/Best Western/etc.) or at the Medical Center. Please make sure that you say "Medical Center", as that is the name of the area! From Bush IAH it should be about a 35-45 minute ride. From Houston Hobby it should be about a 20 minute ride.
If you are coming directly to Rice, you can also ask the shuttle to drop you off at Entrance 16 to Rice. Once you are there, you pretty much walk straight into the university until you get to Duncan Hall. This is the computer science building.
From the hotels to the meeting location
All meetings will take place in DH 3076 except on Wednesday, when all meetings will take place in conference room 223 in Herman Brown.
The Medical Center Best Western (6700 South Main Street) has a shuttle that can bring visitors to Duncan Hall at Rice. It's only a 15 passenger van, but they are happy to make two trips. Rice is about five minutes away so groups of guests should count on staggering the trip by about 15 minutes.
Emir Pasalic: e-mail: [email@example.com]