Topics Index

Model Checking
3 Choree: Emulation of the Ethernet Sabrina Woods1, Blanche Pratt2, Gene Jefferson1
1UCL, London, United Kingdom. 2Imperial College, London, United Kingdom.
Preparing for the future, Jun 21st 18, 15:00 - 16:00, Peter Black
Posters on display, Jun 21st 18, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Jun 21st 18, 10:00 - 12:00, John Smith, Location: Red Room
Changing attitudes, Jun 21st 18, 10:00 - 12:00, Sally Green
1 Hovel: A Methodology for the Development of Model Checking. Peter Right, Andy Carr, Darrin Knight
UCL, London, United Kingdom.
Preparing for the future, Jun 21st 18, 14:00 - 15:00, Peter Black
Posters on display, Jun 21st 18, 10:00 - 16:00, Location: Blue Room
Searching for solutions, Jun 21st 18, 10:00 - 12:00, John Smith, Location: Red Room
5 The Effect of Extensible Models on Cryptography Gretchen Harrington, Erik Adkins
Imperial College, London, United Kingdom.
Engaging your audience, Jun 21st 18, 14:00 - 16:00
Posters on display, Jun 21st 18, 10:00 - 16:00, Location: Blue Room
2 The Relationship Between Courseware and the Internet Using RoonTossel Tonya Fuller1,2, Gregory Figueroa2, Kristi Andrews3
1Imperial College, London, United Kingdom. 2Kings College, London, United Kingdom. 3Oxford University, Oxford, United Kingdom.
Posters on display, Jun 21st 18, 10:00 - 16:00, Location: Blue Room
Changing attitudes, Jun 21st 18, 10:00 - 12:00, Sally Green
Technology
6 Self-Learning, Pervasive Symmetries for Consistent Hashing Geoffrey Campbell, John Bell
Imperial College, London, United Kingdom.
Posters on display, Jun 21st 18, 10:00 - 16:00, Location: Blue Room
Transistors
4 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 Islands, Perth, United Kingdom.
Engaging your audience, Jun 21st 18, 14:00 - 16:00
Posters on display, Jun 21st 18, 10:00 - 16:00, Location: Blue Room