| 123 | -- | 0 | Antonio Cerone, Paul Curzon. Formal methods for interactive systems |
| 125 | -- | 141 | Judy Bowen, Steve Reeves. Formal models for user interface design artefacts |
| 143 | -- | 160 | Rimvydas Ruksenas, Paul Curzon, Ann Blandford. Modelling and analysing cognitive causes of security breaches |
| 161 | -- | 168 | Doron Drusinsky, James Bret Michael, Man-tak Shing. A framework for computer-aided validation |
| 169 | -- | 183 | Tim Menzies, Markland Benson, Ken Costello, Christina Moats, Melissa Northey, Julian Richardson. Learning better IV&V practices |