MURI Review Meeting
July 22-23, 2003
Pittsburgh, PA

Meeting Home || Agenda || Registration || Hotels || Maps

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 1507
Carnegie Mellon University
5000 Forbes Avenue
Pittsburgh, Pennsylvania
Driving directions and maps are available.


The technical session agenda is available. A printable PDF version is also available.


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 || Registration || Hotels || Maps

This page modified July 27, 2003.