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
Online registration is closed.
This page modified July 27, 2003.