Centre for Mobile, Wearable Systems and Augmented Intelligence Seminar Series

Agricultural Robotics

Charles Fox (University of Lincoln).

Room SS03, Computer Laboratory, William Gates Building.

Monday 07 October 2019, 11:00-12:00

Computer Laboratory Security Seminar

Drammer: Deterministic Rowhammer Attacks on Mobile Platforms

Kaveh Razavi, Vrije Universiteit Amsterdam.

Room SS03, Computer Laboratory, William Gates Building.

Friday 04 November 2016, 13:15-14:15

Computer Laboratory Digital Technology Group (DTG) Meetings

Anvil: building web apps in a browser using Python

Ian Davies and Meredydd Luff.

Room SS03, Computer Laboratory, William Gates Building.

Monday 25 April 2016, 14:05-14:55

Computer Laboratory Digital Technology Group (DTG) Meetings

Are smartphone messaging apps and traditional telecommunication services substitute goods?

Nicolas Karsten, Duesseldorf Institute for Competition Economics (DICE).

Room SS03, Computer Laboratory, William Gates Building.

Monday 29 February 2016, 14:30-14:55

Semantics Lunch (Computer Laboratory)

Relating Two Semantics of Locally Scoped Names

Note unusual day, time and place: this will be in the ARG lunch slot

Steffen Lösch (University of Cambridge).

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 30 August 2011, 13:00-14:00

Semantics Lunch (Computer Laboratory)

Polarisation in classical realisability and delimited control

NOTE UNUSUAL TIME AND PLACE

Guillaume Munch-Maccagnoni.

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 14 June 2011, 12:45-14:00

Logic and Semantics Seminar (Computer Laboratory)

Towards Automatic Resource Consumption Certification

Note unusual time (11am) and room (SS03)

Marco Gaboardi, University of Bologna.

Room SS03, Computer Laboratory, William Gates Building.

Friday 05 November 2010, 11:00-12:00

Computer Laboratory Security Seminar

Colour, usability and computer security

Note unusual time

Jeff Yan, Newcastle University.

Room SS03, Computer Laboratory, William Gates Building.

Thursday 01 July 2010, 16:15-17:15

Semantics Lunch (Computer Laboratory)

Deny-guarantee reasoning

NOTE THE UNUSUAL DAY AND VENUE. This talk is in the ARG lunch slot.

Mike Dodds (University of Cambridge).

Room SS03, Computer Laboratory, William Gates Building.

Tuesday 10 March 2009, 13:00-14:00