%7B%7D
Demonstration for Online Conference Programme
Information
Programme
Abstract Titles
Authors
Presenters
Topics
Programme Code
Title Index
P2
An Analysis of the Transistor Using CLIME
Lindsay James
1
,
Sharon Yates
2
,
Jeanne Mason
3
1
UCL, London, United Kingdom.
2
Cambridge University, Cambridge, United Kingdom.
3
University of the Highlands and Island, Perth, United Kingdom.
Beyond data, Dec 4th 17, 10:00 - 10:30, Kate Brown
P1
Choree: Emulation of the Ethernet
Sabrina Woods
1
,
Blanche Pratt
2
,
Gene Jefferson
1
1
UCL, London, United Kingdom.
2
Imperial College, London, United Kingdom.
Changing attitudes, Dec 4th 17, 10:00 - 12:00, Sally Green, Location: Steamboat Room
O1
Hovel: A Methodology for the Development of Model Checking.
Peter Right
,
Andy Carr
,
Darrin Knight
UCL, London, United Kingdom.
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
O2
The Effect of Extensible Models on Cryptography
Gretchen Harrington
,
Erik Adkins
Imperial College, London, United Kingdom.
Beyond data, Dec 4th 17, 11:15 - 11:20, Kate Brown
O3
The Relationship Between Courseware and the Internet Using RoonTossel
Tonya Fuller
1,2
,
Gregory Figueroa
2
,
Kristi Andrews
3
1
Imperial College, London, United Kingdom.
2
Kings College, London, United Kingdom.
3
Oxford University, Oxford, United Kingdom.
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
Panel discussion, Dec 4th 17, 13:00 - 14:00, Sally Green