The Winter 2008 meeting of the Protocol eXchange workshop was held in Monterey, CA at the Naval Postgraduate School, on Januarey 23-24, 2008. The meeting was organized by Ed Zieglar with local arrangements by Jonathan Herzon with support from George Dinolt. The agenda can be found here.
The first day was taken up with a discussion of "Toolip", the language for communication protocol information among various protocol analysis tools.
At the end of the first day Kathy Meadows of NRL gave a tutorial on the Maude-NPA tool. The slides for the tutorial can be found here.
The talks for Day two are listed below. Slides are linked to, if available.