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 Chris Heunen tba
08/05/2018 Andreas Pieris tba
15/05/2018 Wenfei Fan tba
22/05/2018 Jane Hillston
tba
29/05/2018 Ajitha Rajan
tba
05/06/2018 Stuart Anderson tba
12/06/2018
tba
19/06/2018
tba
26/06/2018
tba
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
tba
02/10/2018
tba
09/10/2018
tba
16/10/2018
tba
23/10/2018
tba
30/10/2018
tba
06/11/2018

tba
13/11/2018
tba
20/11/2018

tba
27/11/2018
tba
04/12/2018
tba
11/12/2018
tba
18/12/2018
End of Year Quiz  
Document Actions