Personal tools
You are here: Home Lab Lunch talks 2019

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: Orfeas Thyfronitis Litos


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 TBA

26/02/2019 Andreas Pieris TBA

Markulf Kohlweiss

12/03/2019 Wenfei Fan TBA
19/03/2019 Chris Heunen TBA
26/03/2019 Ajitha Rajan

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