|
|
|
|
 |
Meeting Home ||
Agenda ||
|
|
About the Meeting
This semi-annual meeting provides an opportunity for interested parties to hear about the latest developments from the WiSA project and the three-valued logic analysis group at the University of Wisconsin, Madison and from the model checking group at Carnegie Mellon University. The two day event features a series of talks by faculty and students from UW-Madison and CMU detailing recent research advancements and their role in Critical Infrastructure Protection. Some talks include demonstrations of the work.
For the first time, this July's meeting was held on the CMU campus:
Newell-Simon Hall, Room 1507Driving directions and maps are available.
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania
Agenda
The technical session agenda is available. A printable PDF version is also available.
Registration
Online registration is closed.
Hotel Information
There are several hotels in the CMU campus area. We are providing a list of nearby hotels. A discounted rate at the nearby Wyndham Garden Hotel is available.
|
Meeting Home ||
Agenda ||
|
|
This page modified July 27, 2003.