Programme
Titles
Authors
Presenters
Topics
Programme Codes

Author Index

Erik Adkins
Imperial College, London, United Kingdom.
The Effect of Extensible Models on Cryptography
Beyond data, Dec 4th 17, 11:15 - 11:20, Kate Brown
Kristi Andrews
Oxford University, Oxford, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Andy Carr
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Preparing for the future, Dec 4th 17, 13:25 - 13:40, Peter Black
Gregory Figueroa
Kings College, London, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Tonya Fuller
Imperial College, London, United Kingdom. Kings College, London, United Kingdom.
The Relationship Between Courseware and the Internet Using RoonTossel
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Gretchen Harrington
Imperial College, London, United Kingdom.
The Effect of Extensible Models on Cryptography
Beyond data, Dec 4th 17, 11:15 - 11:20, Kate Brown
Lindsay James
UCL, London, United Kingdom.
An Analysis of the Transistor Using CLIME
Beyond data, Dec 4th 17, 10:00 - 10:30, Kate Brown
Gene Jefferson
UCL, London, United Kingdom.
Choree: Emulation of the Ethernet
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
Tom Jones
Welsh Singers, Cardiff, United Kingdom.
Invited speaker
Advancing your career, Dec 4th 17, 9:00 - 10:00, Sally Green
Darrin Knight
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Preparing for the future, Dec 4th 17, 13:25 - 13:40, Peter Black
Jeanne Mason
University of the Highlands and Island, Perth, United Kingdom.
An Analysis of the Transistor Using CLIME
Beyond data, Dec 4th 17, 10:00 - 10:30, Kate Brown
Blanche Pratt
Imperial College, London, United Kingdom.
Choree: Emulation of the Ethernet
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
Peter Right
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Preparing for the future, Dec 4th 17, 13:25 - 13:40, Peter Black
Sabrina Woods
UCL, London, United Kingdom.
Choree: Emulation of the Ethernet
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
Sharon Yates
Cambridge University, Cambridge, United Kingdom.
An Analysis of the Transistor Using CLIME
Beyond data, Dec 4th 17, 10:00 - 10:30, Kate Brown