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

Lab Lunch talks 2018

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: Alex Cojocaru

 





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 Markulf Kohlweiss
tba
16/10/2018 He Sun
tba
23/10/2018 Don Sannella
tba
30/10/2018 James Cheney
tba
06/11/2018
Perdita Stevens
tba
13/11/2018 Ian Stark
tba
20/11/2018
Richard Mayr
tba
27/11/2018 David Aspinall
tba
04/12/2018 Mary Cryan
tba
11/12/2018 Gordon Plotkin
tba
18/12/2018 Yang Cao
End of Year Quiz  
Document Actions