Teaching Software Correctness Workshop

Univ of Oklahoma & NSF, May 13-15, 2008   Schedule

Lodging - Sooner Suites

Office for check-in
1775 Maple Ave, Cottage 402
Norman, Oklahoma 73072-6401
Phone (405)325-2270 or (888)777-0477
You must check-in by 10:00 pm, May 12
Or, contact Rex Page by 6:00pm

Rooms - 0.5 miles from check-in office
Four-bedroom, two-bath suites
Bedrooms are individually keyed

Directions to Sooner Suites Office from airport
1. Head north out of airport
2. Turn right (east) on Airport Road
3. Airport Road will merge onto I-44 / I-240
4. Bear left onto I-240 heading east (do not take I-44)
5. Follow I-240 east (4.5 mi)
6. Take exit 4A, merging onto I-35 south
7. Follow I-35 through Moore and into Norman
8. At exit 108B (Lindsey St.) turn left (east)
9. Turn left onto W Lindsey St
10.Turn right onto Elm Ave
11.Turn left onto Elmwood Dr
12. Turn right into Maple Ave

Workshop Lab

Carson Engineering Center, Room 205
Southeast corner of Boyd and Asp
202 West Boyd Street
Norman, Oklahoma

Lab has a workstation for each participant

If you prefer to use you own laptop, please install the following software:
ACL2 http://www.cs.utexas.edu/~moore/acl2/
DrScheme http://download.plt-scheme.org/drscheme/
DrACuLa http://www.ccs.neu.edu/home/cce/acl2/

If you are installing on a Mac, you may want to contact Zac White for advice: zacw@ou.edu

Directions to Carson from apartments

By bus ($0.50 fare), 30-minute intervals (:09 and :39)
1. Get off the bus at the South Oval bus-stop
2. Walk north, sidewalk through garden area (300 yds)
4. Right at bronze of 3 women talking
5. Walk east, to just past Buchanan Hall (100 yds)
6. North to Boyd&Asp (200yds)

By car - $14 per day parking, Memorial Union
1. North on Chautauqua (1.5 mi)
2. Turn right at Boyd
3. East on Boyd to Asp (0.4 mi)
4. Turn right on Asp
5. South on Asp to parking garage on right (200 yds)
6. Park and walk north on Asp back to Boyd