3rd Meeting
- Attendees
- Myrto Arapinis, Muffy Calder, Louise Dennis, Michael Fisher, Philip Gray, Savas Konur, Eike Ritter, Mark Ryan, Swen Schewe, Chris Unsworth
- Agenda
- The programme of the day can be found here
- Main speakers and titles
- Myrto Arapinis - Formalising privacy in the applied pi calculus
- Muffy Calder, and Chris Unsworth -
- Michael Fisher - Model checking combined temporal logics
