Sponsored by:

Florida Atlantic University

Loyola College in Maryland









ICFEM 2007
9th International Conference on Formal Engineering Methods
ICFEM 2007 Homepage: http://www.icfem2007.org

November 14-15, 2007

hosted by:
 
Florida Atlantic University

and

Loyola College in Maryland 

This is the ICFEM 2007 Local Information Webpage
http://www.cse.fau.edu/~maria/ICFEM/index.html

General Chair:

Michael Hinchey
NASA GSFC and Loyola College in Maryland, Baltimore


Program Chairs:

Michael Butler
University of Southampton, UK 

María Larrondo Petrie
Florida Atlantic University


Publicity Chair:

Denis Gracanin
Virginia Tech 


Local Arrangements Committee:

María Larrondo Petrie
Florida Atlantic University
777 Glades Road SE-308
Boca Raton, Florida 33431-0991
+1 561 297-3400
+1 561 297-3899 (Direct)
Timezone: GMT-4

Maureen Manoly
Florida Atlantic University
+1 561 297-3400
+1 561 297-2492 (Direct)
Timezone: GMT-4

Eduardo B. Fernandez
Florida Atlantic University

Mike VanHilst
Florida Atlantic University

Nelly Delessy-Gassant
Florida Atlantic University

Colleen Glazer
Florida Atlantic University


Program Committee:

Keijiro Araki,
Kyushu University, Japan
Farhad Arbab,
CWI and Leiden University, The Netherlands
David Basin,
ETH Zurich,Switzerland
Michael Butler (Co-Chair),
University of Southampton,UK
Ana Cavalcanti,
University of York, UK
Jessica Chen,
University of Windsor, Canada
Yoonsik Cheon,
University of Texas at El Paso, USA
Zhenhua Duan,
Xidian University, China
Jin Song Dong,
National University of Singapore, Singapore
Kai Engelhardt,
University of New South Wales, Australia
Eduardo B. Fernandez,
Florida Atlantic University, USA
Colin Fidge,
Queensland University of Technology, Australia
John Fitzgerald,
University of Newcastle, UK
Marc Frappier,
Université De Sherbrooke, Canada
Marcelo Frias,
University of Buenos Aires, Argentina
Uwe Glässer,
Simon Fraser University, Canada
Joe Kiniry,
Univeristy College Dublin, Ireland
Shriram Krishnamurthi,
Brown University, USA
Kung-Kiu Lau,
University of Manchester, UK
Rustan Leino,
Microsoft Research, USA
Michael Leuschel,
Heinrich-Heine Universität Düsseldorf, Germany
Xuandong Li,
Nanjing University, China
Shaoying Liu,
Hosei University, Tokyo, Japan
Zhiming Liu,
UNU-IIST, China
Tiziana Margaria,
Universität Potsdam, Germany
Huaikou Miao,
Shanghai University, China
Maria Larrondo Petrie (Co-Chair),
Florida Atlantic University, USA
Mike Poppleton,
University of Southampton, UK
Marie-Laure Potet,
Laboratoire d'Informatique de Grenoble, France
Peter O’Hearn,
Queen Mary, University of London, UK
Anders P. Ravn,
Aalborg University, Denmark
Davide Sangiorgi,
University of Bologna, Italy
Mannu Satpathy,
General Motors India Science Lab, Bangalore, India
Klaus-Dieter Schewe,
Massey University, New Zealand
Kaisa Sere,
Åbo Akademi, Finland
Wuwei Shen,
Western Michigan University, USA
Marjan Sirjani,
University of Tehran, Iran
Ketil Stølen,
SINTEF and University of Oslo, Norway
Sofiene Tahar,
Concordia University, Canada
Helen Treharne,
University of Surrey, UK
T.H. Tse,
The University of Hong Kong , China
Farn Wang,
National Taiwan University, Taiwan
Wang Yi,
Uppsala University, Sweden
Jian Zhang,
Chinese Academy of Sciences, China


Please make sure to
PRESS REFRESH BUTTON
to make sure that you are looking at most current version of  page.

Transportation
    Airports
    Taxi Shuttles
    Train
    Driving Directions from Airports
   
Hotels

Map of FAU

Parking

Weather and other Local Information

Local Tours and Points of Interest




Transportation

Boca Raton is not know as the most pedestrian-friendly of cities. Generally speaking the city requires you to have a vehicle to get from each one of these places to another. Try renting a car at the airport for your greatest convenience (and to avoid any walking injuries!).

Tri-Rail is a commuter line that links Miami, Ft. Lauderdale and West Palm Beach. It has 18 stations on the Southern Floridian coast. Boca Raton is on the line, as are nearby Delray Beach and Boynton Beach.  

    However, as for Public transportation around Boca Raton herself, there is essentially none, so be sure to rent a car (see the "Taxis and Rental Cars" page for some companies). The sprawling, manicured lawns on Boca are spread out, and it would make no sense to try walking almost anywhere.

    There are several places that walking is enjoyable however (AFTER you’ve taken a car there!). Stroll the upscale shops of Mizner Park, or even better, head to nearby Delray Beach and walk down Atlantic Avenue, admiring the shops and the (slightly) more laid-back, artsy atmosphere than you’ll find anywhere in Boca.


You can use the FAU University Travel Agent
to book all your travel or answer questions,
they charge a $35 to book the airfare and
no charge to book the rental car or hotel:


Elena Bush, Manager
Boersma Travel
Florida Atlantic University
777 Glades Road Road
Bldg 31 Room 134
Boca Raton, Florida 33431 USA
Telephone: +1 561 297-3986
FAX: +1 561 297-3060
Email: ebush@boersmatravel.com




Airports:


There are 3 international airports you may choose from:

  • MIA - Miami International Airport, Miami, Florida 33159 - about 60 minutes (47 miles) south.   There is a shuttle to the TRI-Rail (the train system).  There are several hotels within walking distance of the Boca Raton Exit.
  • FLL - Fort Lauderdale/Hollywood International Airport, Fort Lauderdale, Florida 33315- about 30-40 minutes south (25 miles).
  • PBI - Palm Beach International Airport, West Palm Beach, Florida 33406  - About 30 minutes north (25 miles).
Airport Shuttle Services:
You can pre-book and be met at the gate by an Airport Limousine/Shuttle agent
  • A 1 A Airport & Limousine Service.  +1 561 391-4762, http://www.a1alimo.com/, dispatch@a1alimo.com
    • From MIA airport to Boca Raton: ~$90 + tax + gratuities for a sedan
    • From FLL airports to Boca Raton: $52 + tax + gratuities or a town car
    • From PBI airports to Boca Raton: $52 + tax + gratuities or a town car
Local Taxi Service when in Boca Raton:
Train
There is a train service between Miami and Boca Raton.  From the Miami airport there are shuttles that take you to the train station.  At the train station purchase a ticket to Boca Raton.  There is no transportation once you get to your destination, call Access Taxi  442-2222 to take you to the hotel. There are some hotels within walking distance of the train station but crossing a busy highway.  For train schedules see: http://www.tri-rail.com, for Station addresses and direction and connection information: http://www.tri-rail.com/system_map/index.htm
Telephone: 1-800-TRI-RAIL (1-800-874-7245)

Driving Directions from Airports to FAU

You can search for navigation maps at:
Maps and Driving Directions
Excite Maps
MapQuest
Go.com Maps
Yahoo Maps

FROM MIAMI AIRPORT TO FAU
Maneuvers Distance  Maps 
warning There are .11 miles between your starting location and the beginning of your driving directions. Use maps to get from your starting location to the beginning of your route.
1: Start out going WEST on NW 20TH ST toward PERIMETER RD. 0.2 miles Map

2: Turn RIGHT toward AIRPORT EXIT / CAR RENTAL RETURN. 0.3 miles Map

3: Merge onto FL-112 E / AIRPORT EXPY toward I-95 N / BEACHES (Portions toll). 4.4 miles Map

4: Take the I-95 S exit toward DOWNTOWN. 0.2 miles Map

5: Merge onto I-95 N via the exit on the LEFT toward FT. LAUDERDALE / ORLANDO. 40.5 miles Map

6: Take the GLADES RD / SR-808 exit- EXIT 45. 0.3 miles Map

7: Keep RIGHT at the fork to go on FL-808 E / GLADES RD. 0.6 miles Map


8: Make a U-TURN onto FL-808 W / GLADES RD. 0.2 miles Map

9: End at Florida Atlantic University:
777 Glades Rd, Boca Raton, FL 33431, US
Map

Total Est. Time: 52 minutes     Total Est. Distance: 47 miles



FROM FORT LAUDERDALE AIRPORT TO FAU

Maneuvers Distance  Maps 
1: Start out going SOUTHWEST on TERMINAL DR. 0.7 miles Map

2: Merge onto N FEDERAL HWY / US-1 S / FL-5 S / FL-A1A S toward DANIA BEACH / HOLLYWOOD. 0.6 miles Map

3: Turn SLIGHT RIGHT onto GRIFFIN RD / FL-818 W. Continue to follow FL-818 W. 1.3 miles Map

4: Merge onto I-95 N toward W PALM BCH. 21.6 miles Map

5: Take the GLADES RD / SR-808 exit- EXIT 45. 0.3 miles Map

6: Keep RIGHT at the fork to go on FL-808 E / GLADES RD. .0.6 miles Map

8: End at Florida Atlantic University:
777 Glades Rd, Boca Raton, FL 33431, US
Map

Total Est. Time: 30 minutes     Total Est. Distance: 26.21 miles



FROM PALM BEACH INTERNATIONAL AIRPORT TO FAU
Maneuvers Distance  Maps 
1: Start out going WEST on TURNAGE BLVD. 0.3 miles Map

2: Turn SLIGHT LEFT to stay on TURNAGE BLVD. 1.0 miles Map

3: Keep RIGHT at the fork to continue on TURNAGE BLVD. 0.3 miles Map

4: Merge onto I-95 S toward MIAMI. 23.0 miles Map

5: Take the GLADES RD / SR-808 exit- EXIT 45. 1.9 miles Map

6: Keep RIGHT at the fork to go on FL-808 E / GLADES RD. 0.6 miles Map

7: End at Florida Atlantic University:
777 Glades Rd, Boca Raton, FL 33431, US
Map

Total Est. Time: 31 minutes     Total Est. Distance: 27.00 miles


Hotels

In order to keep the registration costs down, we did not negotiate conference rates for the hotel.  Florida Atlantic University has special rates which can be obtained through booking the hotel thru
Boersma Travel
Elena Bush
ebush@boersmatravel.com
Telephone: +1 561 297-3986
FAX: +1 561 297-3060

The following are links to hotels, the costs in parenthesis are the special rates available by booking through Boersma Travel:

Holiday Inn Hotel & Suites - Boca Raton Town Center
(Boersma Rate: $110.39 per night, includes taxes, The rate includes wireless high speed internet, and complementary access to Bally Total Fitness.)
1950 Glades Road
Boca Raton, FL 33431 USA
Hotel Telephone: +1 561 368-5200
Hotel Fax: +1 561 395-4783
Within walking distance from many shops & restaurants.  Ten long blocks from Florida Atlantic University.  Exercise Facility, Elevator, Free Parking, Laundromat, outdoor pool, room service, restaurant. 
Distance from FAU: 1.71 miles
Directions from Airports:
From PBI take I-95 South; from FLL and MIA take I-95 North. From I-95 exit on Glades Road (New exit #45) and head West, turn left on Renaissance Way.
HolidayInn


Fairfield Inn & Suites (Marriott)-
(Boersma Rate: $110.39 per night, includes continental breakfast and taxes)
3400 Airport Road
Boca Raton, Florida 33431 USA
Hotel Phone:  1-561-417-8585
Hotel Fax:  1-561-417-5355
Located near the intersection of Glades Road and Interstate-95 next to the Muvico Theatres and Boomers Amusement Park. We offer large extended stay suites with separate sleeping and living areas. Hotel amenities include complimentary high-speed Internet, an outdoor tropical pool and hot tub,  Business Center, and Fitness Center, Early Eats daily breakfast.
Directions from FAU: 1.88 miles
Directions from Airports:
From PBI take I-95 South; from FLL and MIA take I-95 North. From I-95 exit on Glades Road (New exit #45) and head East to first major light at Airport Road, turn left and follow the road.
Fairfield

Doubletree Guest Suites Hotel
(Boersma Rate: $99.23 per night, includes hot breakfast buffet and taxes, , wireless high speed internet access, and complementary access to Bally Total Fitness.)
701 NW 53rd Street
Boca Raton, Florida 33487 USA
Hotel Telephone: +1 561 997-9500
Fax: +1 561 994-3565
Distance From FAU: 4.31 miles (6.94 Km)
The hotel is under renovation on the South Wing, the hotel assured us that it's not noisy.  Hotel has a shuttle that you can reserve to take you to Florida Atlantic University Library - Golden Pavillion. 
Directions from Airports:
From PBI take I-95 South; from FLL and MIA take I-95 North. From I-95 exit on Yamato Road West (Exit #48). Cross railroad tracks. Take first right on NW 53rd.
Accessible via Tri-Rail (Train):  From MIA Miami International Airport, you can take a shuttle to the Tri-Rail train station.  Take train North to Boca Raton station.  The hotel a long 3 blocks crossing Yamato Road.
Doubletree
Doubletree

Hilton Garden Inn
(Boersma Rate: $110.39 per night including taxes, includes complimentary wired & wireless high speed internet and secure remote printing to the business center)
8201 Congress Avenue
Boca Raton, Florida 33487 USA
Hotel Telephone: +1 561 988-6110
Hotel Fax: +1 561 988-9256
Distance from FAU: 6.27 miles  (10.10 Km)
From PBI take I95 South to Congress Avenue (Exit #50). Exiting the freeway the hotel will be on the immediate right at the corner of Congress and 82nd Street.
From Ft Lauderdale International Airport - take I95 North to Exit 50/Congress Avenue. Exiting the freeway, the hotel will be on the immediate right at the corner of Congress and 82nd Street.
From Miami International Airport - take I95 North to Exit 50/Congress Avenue. Upon exiting the freeway the hotel will be on the immediate right at the corner of Congress and 82nd Street.
Hilton
Hilton

Howard Johnson Plaza Resort Deerfield Beach
(Boersma Rate:   $110.39 per night including taxes this is for the city view.  includes.  Complimentary high speed wireless internet service.
2096 NE 2nd St
Deerfield Beach, FL 33441 USA
Hotel Telephone: +1 954 428-2850
Hotel Fax: +1 954 480-9639
Hotel Email: FeldeJul1@wynhg.com
This is on A1A in Deerfield Beach (just south of Boca Raton) right on the Beach
Distance From FAU: 6.09 miles (10 Km)
Directions:
I-95 to Hillsboro (Exit 42) East  to A1A (NE 20th Ave or S. Ocean Blvd), turn left.  Follow this road which curves to the right becoming NE 2nd St until the beach and pier.  Hotel will be on right facing the beach.

Howard JohnsonHoward Johnson 




Map of Florida Atlantic University

Florida Atlantic University
Golden Pavillion Room
FAU Library - Building 3
777 Glades Road
Boca Raton Florida 33431


Campus Map
Google Zoom Map to Campus
Boca Raton Campus


ParkingParking Directions:
You will receive Hang Tag Parking Permits at Registration.  Enter FAU from Glades Road by turning left at Broward Ave/NW 10 Ave Entrance.  Turn right on Volusia Street.  Park in the Parking Garage (PG I - Building 81).  Go to Building 3 - Golden Pavillion Room to register.  Collect your hang tag permit and place on car before entering conference. Campus Speed Limit is 25 enforced by radar, and Speed Limit is 10 in parking lots. 

Weather
and other Local Information

Weather

Local Tours and Points of Interest

Boomers Amusement Park
www.boomersparks.com
3100 Airport Road
Boca Raton Florida
(954) 921-1411


Gumbo Limbo Nature Center
1801 North Ocean Blvd, Boca Raton, FL 33432
Gumbo Limbo is located in Boca Raton at Red Reef Park on the barrier island between the Atlantic Ocean and the Intracoastal Waterway. Twenty acres of Boca Raton's Red Reef park have been reserved specifically for a nature center and the preservation of a natural plant association known as a tropical hammock.
Attraction type: Nature center


Morikami Museum and Japanese Gardents
www.morikami.org
4000 Morikami Road
Delray Beach, Florida
(561) 495-0233

South Florida Air Boat Rides
(954) 434-8111
www.evergladesholidaypark.com


Lion Country Safari, West Palm Beach, FL

2003 Lion Country Safari Road, Loxaharchee, FL 33470

Two parks, one price. Drive-through safari and walk-through park with animal theater, petting zoo, rides, restaurant, picnic, water play area, giraffe feeding, campground and more

Butterfly World
Tradewinds Park, 3600 W. Sample Road, Coconut Creek, FL 33073
Ten acres of aviaries, botanical gardens, and butterfly farm
Open Mon-Sat 9-5, Sunday 11-5, No entrance after 4pm daily
Call: 1 954 977-4400 or 954 342-0686
Admission Cost: $21.95
http://www.butterflyworld.com/start.html

Those who wish to visit Butterfly World should look for it in Tradewinds Park, ten miles to the north of Ft. Lauderdale, Florida. It may be easily reached via the Florida Turnpike or Interstate I-95, at its address of 3600 W. Sample Road, Coconut Creek, Florida 33073. Simply exit at Sample Road and head west. Enter into Tradewinds Park on the south side of Sample Road, only a quarter of a mile west of the Florida Turnpike. Our butterfly house is inside the park, straight ahead about a third of a mile


Mizner Park
Plaza Real, Boca Raton, FL 33431

Open air shopping and dining area with amphitheater.


Ramblin Rose Riverboat
801 E. Atlantic Ave
Delray Beach, Florida
(561) 234-0686