Personal tools
You are here: Home Events Lab Lunch Talks 2015

Lab Lunch Talks 2015

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

 

Lab Lunch Talks 2014

Current Organiser: Maria Astefanoaei - s1043682@inf.ed.ac.uk










13/01/2015 Wei Chen

Towards Understanding Behaviours of Android Applications







20/01/2015 Kousha Etessami   The complexity of computing a (quasi-)perfect equilibrium for an n-player extensive form game of perfect recall





27/01/2015 Daniel Reijsbergen   Recomputability of scientific experiments





03/02/2015  Andy Drucker   Limits to Efficient Preprocessing





10/02/2015  James McKinna

Bidirectional transformations, from a dependently-typed perspective 







17/02/2015  Alex Simpson  Twenty-five years in LFCS 





24/02/2015  Vashti Galpin
Modelling residential smart grids





03/03/2015  Stephen Gilmore  Robin Milner: Private Communication





10/03/2015  Adel Noureddine  Why algorithms should manage energy, not humans





17/03/2015  Mary Cryan  the Hirsch conjecture 





24/03/2015  Shayan Najd  Everything old is new again: Quoted Domain Specific Languages





31/03/2015  Ian Stark  REMS: Rigorous Engineering for Mainstream Systems 





07/04/2015  Kyriakos Kalorkoti  Two Brief Talks: Solving Łukasiewicz mu-terms, and Photographing LFCS 





14/04/2015  Julian Bradfield
Two short talks: "The structure of events in boolean games" and "The frustrations of shooting".





21/04/2015  Richard Mayr   Minimizing nondeterministic automata: From words to trees





28/04/2015  Karoliina Lehtinen   Eliminating complexity in modal mu calculus & a brief survey of folk dancing in Edinburgh and elsewhere.





05/05/2015  Danel Ahmen  Refinement Types for Algebraic Effects





12/05/2015  Brian Campbell   Automated fuzz testing of formal processor models





19/05/2015  Jane Hillston
 Automated Capacity Planning for PEPA Models





26/05/2015  Marcin Szymczak
 Probabilistic Programs as Spreadsheet Queries






09/06/2015  Rahul Santhanam   Lab Lunch, LFCS, Edinburgh





16/06/2015  Conor McBride
 Contexts and Derivations as Semimodules over a Semiring of Resources






23/06/2015 
 No talk






30/06/2015 John Longley
 The recursion hierarchy for PCF is strict





07/07/2015  Alistair Stewart   ?





14/07/2015
Sam Lindley
?






21/07/2015  -
-





28/07/2015
-
-






04/08/2015
-
-






11/08/2015
-
-






18/08/2015
-
-






25/08/2015
-
-






01/09/2015
-
-






08/09/2015
-
-






15/09/2015
Ajitha Rajan
Understanding and Optimising the Factors affecting Software Energy





22/09/2015








29/09/2015
Wilmer Ricciotti
Formalizing Turing Machines






06/10/2015
Sebastian Maneth
Formal Graph Language Theory






13/10/2015
Slawek Staworko
Between music and roller skating






20/10/2015
Kami Vaniea
Updating Software






27/10/2015
Chris Heunen
The child's play of quantum informatics





03/11/2015
Anna Pappa
Nonlocality and conflicting interests





10/11/2015
David Aspinall
Investigatory Powers and Responsibilities





17/11/2015
Vladimir Nikishkin
Recent advancements in property testing. Data mining and analysis in extreme conditions





24/11/2015
Malcolm Atkinson
How should we think about data-intensive federation





01/12/2015
Matteo Cavaliere
Computing by Observing





08/12/2015
Perdita Stevens
What happens at an EPSRC prioritisation panel?





 

Document Actions