Personal tools
You are here: Home LFCS Lab Lunch talks 2019

LFCS Lab Lunch talks 2019

— filed under:

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


Current Organiser: Chao Peng

Please would the current organiser make sure that who ever takes over from them is briefed. 

15/01/2019 Mike Fourman

Computation & Logic: How should we introduce our undergraduates to the foundations of informatics?

22/01/2019 Kyriakos Kalorkoti
Reasoning under uncertainty when it really matters
29/01/2019 Milos Nikolic

Counting triangles under updates in worst case optimal time 

05/02/2019 Paul Jackson Lean - a new interactive theorem proving system

12/02/2019 Mary Cryan New results in approximation counting: Matroid bases and other problems
19/02/2019 Myrto Arapinis Cancelled
26/02/2019 Wenfei Fan Adaptive Parallelization of Sequential Graph Algorithms

Kami Vaniea

URLS and Phishing
12/03/2019 Andreas Pieris Three open problems concerning querying data
19/03/2019 Vesko Velichkov Symmetric-key Cryptography and the Properties of Modular Addition
26/03/2019 Evgenia Teplechuk Administrative support service & process: improvement plan
02/04/2019 Leonid Libkin TBA
09/04/2019 Colin Stirling TBA
Elham Kashefi

23/04/2019 John Longley TBA

30/04/2019 Guido Sanguinetti TBA
07/05/2019 Arik Sarkar TBA
14/05/2019 Stuart Anderson TBA
21/05/2019 Kami iVaniea TBA
28/05/2019 Jane Hillston TBA
04/05/2019 Petros Wallden TBA
11/06/2019 Vassilis Zikas TBA
18/06/2019 Paulo Guagliardo TBA
25/06/2019 Vincent Danos TBA
Document Actions