Programme
Titles
Authors
Presenters
Topics
Programme Codes

Author Index

Erik Adkins
Imperial College, London, United Kingdom.
The Effect of Extensible Models on Cryptography
Opening session, Dec 4th 17, 9:25 - 9:30, Kate Brown, Location: Steamboat Room
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
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Opening session, Dec 4th 17, 9:10 - 9:15, Kate Brown, Location: Steamboat Room
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green
John Bell
Oxford University, Oxford, United Kingdom.
Self-Learning©, Pervasive Symmetries for Consistent Hashing
Opening session, Dec 4th 17, 9:00 - 9:05, Kate Brown, Location: Steamboat Room
Geoffrey Campbell
Imperial College, London, United Kingdom.
Self-Learning©, Pervasive Symmetries for Consistent Hashing
Opening session, Dec 4th 17, 9:00 - 9:05, Kate Brown, Location: Steamboat Room
Andy Carr
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking
Preparing for the future, Dec 4th 17, 13:25 - 13:40, Peter Black
Searching for solutions, Dec 4th 17, 9:00 - 10:00, 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
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Opening session, Dec 4th 17, 9:10 - 9:15, Kate Brown, Location: Steamboat Room
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green
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
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Opening session, Dec 4th 17, 9:10 - 9:15, Kate Brown, Location: Steamboat Room
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green
Gretchen Harrington
Imperial College, London, United Kingdom.
The Effect of Extensible Models on Cryptography
Opening session, Dec 4th 17, 9:25 - 9:30, Kate Brown, Location: Steamboat Room
Lindsay James
UCL, London, United Kingdom.
An Analysis of the Transistor Using CLIME
Opening session, Dec 4th 17, 9:20 - 9:25, Kate Brown, Location: Steamboat Room
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
Opening session, Dec 4th 17, 9:15 - 9:20, Kate Brown, 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
Preparing for the future, Dec 4th 17, 13:25 - 13:40, Peter Black
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black
Jeanne Mason
University of the Highlands and Island, Perth, United Kingdom.
An Analysis of the Transistor Using CLIME
Opening session, Dec 4th 17, 9:20 - 9:25, Kate Brown, Location: Steamboat Room
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
Opening session, Dec 4th 17, 9:15 - 9:20, Kate Brown, Location: Steamboat Room
Peter Right
UCL, London, United Kingdom.
Hovel: A Methodology for the Development of Model Checking
Preparing for the future, Dec 4th 17, 13:25 - 13:40, Peter Black
Searching for solutions, Dec 4th 17, 9:00 - 10:00, 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
Opening session, Dec 4th 17, 9:15 - 9:20, Kate Brown, Location: Steamboat Room
Sharon Yates
Cambridge University, Cambridge, United Kingdom.
An Analysis of the Transistor Using CLIME
Opening session, Dec 4th 17, 9:20 - 9:25, Kate Brown, Location: Steamboat Room