Personal tools
You are here: Home Events Lab Lunch talks 2018

Lab Lunch talks 2018

— filed under:

Talks are on Tuesdays, starting at 1:00pm, in The Informatics Forum, Room MF2 4.40 (Mini-Forum 2, Level 4).

Lab Lunch talks 2017

Current Organiser: Yuanhao Li

 





16/01/2018 Vanya Yaneva
Compiler-Assisted Test Acceleration on GPUs (for Embedded Software)

23/01/2018 Yuhui Lin
Modelling and Analysing a covert-channel attack and mitigations using timed automata
30/01/2018 Leonid Libkin How standard is the Standard?

06/02/2018 Kousha Etessami Reachability for Branching Concurrent Stochastic Games

13/02/2018 Rik Sarkar
Mobile $r$-gather: Distributed and Geographic Clustering for Location Anonymity

20/02/2018 Ian Stark Triangulating Context Lemmas

27/02/2018
Cancelled (Industrial Action)
06/03/2018
Cancelled (Industrial Action)
13/03/2018 Cancelled (Industrial Action)
20/03/2018
Cancelled (Industrial Action)
27/03/2018 Andriana Gkaniatsou
Hardware Bitcoin Wallets: how secure are they, anyway?

03/04/2018 - -
10/04/2018 - -
17/04/2018
Jan Stolarek
Language-intergrated Provenance in Haskell

24/04/2018 Thomas Zacharias MCMix: Anonymous Messaging via Secure Multiparty Computation

01/05/2018 - Cancelled (Teaching Day)
08/05/2018 Andreas Pieris An Operational Approach to Consistent Query Answering

15/05/2018 Kami Vaniea
Games for security education

22/05/2018 Ajitha Rajan
Test Case Permutation to Improve Execution Time

29/05/2018 Chris Heunen The geometry of Boolean algebra
05/06/2018 Stuart Anderson The Digital Skills Partnership: What do we need from industry?

12/06/2018 - -
19/06/2018 - -
26/06/2018 - -
03/07/2018 -
-
10/07/2018
-
-

17/07/2018
-
-

24/07/2018
-
-

31/07/2018 - -
07/08/2018
-
-

14/08/2018
-
-

21/08/2018
-
-

28/08/2018
-
-

04/09/2018
-
-

11/09/2018 - -
18/09/2018
TBA
25/09/2018 Michael Rovatsos The Bayes Centre - All questions answered

02/10/2018 Heng Guo
TBA
09/10/2018 Phil Wadler
Programming Language Foundations in Agda
16/10/2018 He Sun
Teaching Theoretical Computer Science
23/10/2018 Don Sannella
Memories of  Martin Hofmann
30/10/2018 Vashti Galpin CARMA Networking
06/11/2018
Perdita Stevens Teaching and Learning about Abstraction
13/11/2018 Ian Stark
Change Ringing
20/11/2018
Richard Mayr
Memory in Strategies: What is it used for?
27/11/2018 James Cheney Foundational Anomaly Detection
04/12/2018 Tariq Elahi
Making Mix Networking Work
11/12/2018 Gordon Plotkin
TBA
18/12/2018 Yang Cao
Parallel Query Processing with Bounded Communication for SQL-over-NoSQL systems  
Document Actions