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

Lab Lunch talks 2017

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

Lab Lunch talks 2016

Lab Lunch talks 2018

Current Organiser: William Waites





10/01/2017 Jon Oberlander
 
The Bayes Centre for Data Science and Technology

17/01/2017 James Cheney Classes, Jim, but not as we know them
24/01/2017 Patrick Totzke Petri net Reachability: Where do we stand in 2017? 
31/01/2017 Sebastian Maneth Determinacy and rewriting of functional top–down and MSO tree transformations
07/02/2017 Chris Heunen tba
14/02/2017 Wilmer Ricciotti tba
21/02/2017 Adria Gascon
Distributed Tinder and privacy-preserving computation

28/02/2017 Andreas Pieris
Recent Advances in Query Optimization
07/03/2017 Wenfei Fan
Parallelizing Sequential Graph Computations
14/03/2017 tba tba
21/03/2017 Sam Lindley
tba
28/03/2017 CANCELLED (speaker unavailable)
04/04/2017 Brian Campbell tba
11/04/2017 Keith Edwards (Bus.Dev.) tba
18/04/2017 Steve Renals tba
25/04/2017 Walid Magdy

02/05/2017 CANCELLED (Clash with Informatics Research Day)
09/05/2017 Garrett Morris
The best of both worlds, continued

16/05/2017 CANCELLED (room unavailable)
23/05/2017 Ajitha Rajan tba
30/05/2017 Jane Hillston tba
06/06/2017 Thomas Zacharias tba
13/06/2017 NO SPEAKER


20/06/2017 Ghita Berrada Detection of Advanced Persistent Threats (APT) with Formal
 Concept Analysis (FCA): first steps

27/06/2017
tba
04/07/2017
-
-

11/07/2017
-
-

18/07/2017
-
-

25/07/2017 - -
01/08/2017
-
-

08/08/2017
-
-

15/08/2017
-
-

22/08/2017
-
-

29/08/2017
-
-

05/09/2017 - -
12/09/2017 - -
19/09/2017 Aggelos Kiayias  Consensus in the Blockchain Era

26/09/2017 Kyriakos Kalorkoti Report on the International Congress in Algebras and Combinatorics

03/10/2017 Stephen Gilmore Spatial model-checking of vehicle location data

10/10/2017 Richard Mayr Parity Objectives in Infinite Markov Decision Processes
(+ Skiing in the southern hemisphere, part II (Chile)

17/10/2017 John Longley Computability in real and complex analysis: some recent progress

24/10/2017 Wei Chen Covert timing channels in cloud: a mathematical analysis

31/10/2017
Fabian Peternek Constant-Delay Traversal of Grammar-Compressed Graphs

07/11/2017 Petros Wallden Cyber Security in the Quantum Era

14/11/2017
Don Sannella
How much logic should a first-year student learn?

21/11/2017 Paul Jackson Verifying safety and persistence properties of hybrid systems

28/11/2017 He Sun Graphs, Ellipsoids, and Balls-into-Bins: A linear-time algorithm for constructing linear-sized spectral sparsifiers
05/12/2017 Mike Fourman
tba
12/12/2017
End of Year Quiz  
Document Actions