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

Lab Lunch talks 2016

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

Lab Lunch Talks 2015

Current Organiser: Abhirup Ghosh










12/01/2016 -







19/01/2016 Peter Buneman Four years of elation and frustration with rural internet





26/01/2016 Tomasz Gogacz Determination of queries by views







02/02/2016
James Cheney Monads and lenses





09/02/2016 Petros Wallden What is quantum non-locality and how to use it to maintain privacy when you don't trust your own devices                                    





16/02/2016 Mike Fourman Quantifying inequality in the distribution of a binary advantage





23/02/2016 Paul Jackson Creating finite-state abstractions of continuous systems





01/03/2016 Nassim Seghir An Automatic Approach for Security Policies Generation





08/03/2016 Stuart Anderson Teaming with Estonia





15/03/2016 Garrett Morris Variations on Variants





22/03/2016 Kristjan Liiva Composition in validated integration





29/03/2016 Radu Ciobanu Qualitative analysis of Vass-induced MDPs





05/04/2016 Kousha Etessami cancelled





12/04/2016 WadlerFest






19/04/2016 Alexandru Gheorghiu The price of trust in quantum verification






26/04/2016 Rik Sarkar HodgeRank: A geometric approach to statistical ranking






03/05/2016 Cristina Civili Bounded Implication for Existential Rules






10/05/2016 Don Sannella Refereeing and being refereed






17/05/2016 Bruno Bodin Throughput evaluation of dataflow models






24/05/2016 Leonid Libkin Can we trust relational DBMSs






31/05/2016 Ursula Martin What do historians do: rediscovering Ada Lovelace's mathematics






07/06/2016 Jane Hillston Equality, Diversity and Unconscious Bias






14/06/2016 Wei Chen More Semantics More Robust: Improving Android Malware Classifiers






21/06/2016 Cheng Feng Moment-based Probabilistic Prediction of Bike Availability for Bike-Sharing Systems






28/06/2016 CANCELLED






05/07/2016 Aggelos Kiayias Blockchain Protocols






12/07/2016 CANCELLED






19/07/2016 Nicolas Behr Physicist-friendly computer science: nondeterminism via associative algebras






26/07/2016
Interns present their work.
-






02/08/2016
-
-






09/08/2016
-
-






16/08/2016
-
-






23/08/2016
-
-






30/08/2016
-
-






06/09/2016
-
-






13/09/2016
Michael Lettmann
A normal form for cut formulas in sequent calculus






20/09/2016
William Waites
WHIX - Collaborative Network Infrastructure on Scotland's West Coast (in IF-2.33)






27/09/2016
Philip Wadler
What happened at ICFP 2016?






04/10/2016
Ricardo Almeida
Reducing nondeterministic tree automata in polynomial time






11/10/2016
Vashti Galpin
From PEPA to CARMA






18/10/2016
Aggelos Kiayias
How hard is to do +1 in a computer? The perils of elections in the digital era





25/10/2016
Kousha Etessami Milner lecture nominations and some fun algorithmic problems





01/11/2016
Julian Bradfield reg(ular )?exp((?<= ...)|ression)s





08/11/2016
Kyriakos Kalorkoti
Real root finding and expected breadth





15/11/2016
Ian Stark Manufactured Integrity: Turnitin, Contract Cheating, and Pierre Menard, Author of the Quixote       






22/11/2016
Paolo Guagliardo Correct SQL queries on Incomplete Databases: From Theory to Practice       






29/11/2016
James McKinna and his mystery guest
Swansongs 





06/12/2016
Myrto Arapinis
When are three voters enough for privacy properties?





13/12/2016  Mary Cryan 
           

 

Document Actions