Programme
Titles
Authors
Presenters
Categories
Programme Codes

Title Index

B3 An Analysis of the Transistor Using CLIME Lindsay James1, Sharon Yates2, Jeanne Mason3
1UCL, London, United Kingdom. 2Cambridge University, Cambridge, United Kingdom. 3University of the Highlands and Island, Perth, United Kingdom.
Opening session, Dec 4th 17, 9:20 - 9:25, Kate Brown, Location: Steamboat Room
B2 Choree: Emulation of the Ethernet Sabrina Woods1, Blanche Pratt2, Gene Jefferson1
1UCL, London, United Kingdom. 2Imperial College, London, United Kingdom.
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
A15 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
1 Invited speaker Tom Jones
Welsh Singers, Cardiff, United Kingdom.
Advancing your career, Dec 4th 17, 9:00 - 10:00, Sally Green
B5 Self-Learning©, Pervasive Symmetries for Consistent Hashing Geoffrey Campbell1, John Bell2
1Imperial College, London, United Kingdom. 2Oxford University, Oxford, United Kingdom.
Opening session, Dec 4th 17, 9:00 - 9:05, Kate Brown, Location: Steamboat Room
B4 The Effect of Extensible Models on Cryptography Gretchen Harrington, Erik Adkins
Imperial College, London, United Kingdom.
Opening session, Dec 4th 17, 9:25 - 9:30, Kate Brown, Location: Steamboat Room
B1 The Relationship Between Courseware and the Internet Using RoonTossel Tonya Fuller1,2, Gregory Figueroa1, Kristi Andrews3
1Kings College, London, United Kingdom. 2Imperial College, London, United Kingdom. 3Oxford University, Oxford, United Kingdom.
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
Opening session, Dec 4th 17, 9:10 - 9:15, Kate Brown, Location: Steamboat Room
Searching for solutions, Dec 4th 17, 9:00 - 10:00, Peter Black