Local Information


Participants should plan to fly into San Diego on Tuesday, December 4th. The second day is a half-day, and we should be done by lunch. Thus, participants can plan on flying back after say 3pm on Thursday, December 6th.

1. Registration

In order to get reimbursed for lodging and travel, please register by

2. Travel

3. Hotel

The workshop will be held at The La Jolla Shores Hotel We have pre-paid for a block of rooms for the workshop participants, but please call the hotel at 1-800-237-5211 and say you are with the NSF Group to reserve your room as soon as possible.

Funded By NSF Awarded CCF-1242686.
National Science Foundation Workshop
Formal Methods: Future Directions & Its Transition To Practice
Home Agenda Schedule Local Information Participants Keynote Documents