You are here: Home → Events → Algorithms & Complexity Group Meetings → Upcoming Algorithms and Complexity Reading Group Meetings

Upcoming Algorithms and Complexity Reading Group Meetings

There are currently no items in this folder.

Upcoming Events: Title: Covert timing channels in cloud: a mathematical analysis Oct 24, 2017; LFCS seminar: Claude Heiland-Allen: GULCII: Graphical Untyped Lambda Calculus Interactive Interpreter G.07,
Oct 26, 2017; LFCS seminar: Vaishak Belle: First-order probabilistic relational models IF 4.31/4.33,
Oct 31, 2017; LFCS seminar: Stuart Presnell: What is Homotopy Type Theory? IF 4.31/4.33,
Nov 07, 2017; LFCS seminar: Stefania Dumbrava: Certifying deductive database engines with Coq/SSReflect IF 4.31/4.33,
Nov 14, 2017; Previous events…; Upcoming events…

News: Congratulations to Ricardo Almeida on successfully passing his VIVA Aug 08, 2017; Congratulations to Perdita Stevens who has received a prestigious award (10-year most influential paper, from the MODELS conference) Mar 06, 2017; Congratulations to Cheng Feng on successfully passing his VIVA Nov 14, 2016; Multiple open permanent faculty positions in Algorithms and Complexity at the University of Edinburgh, School of Informatics Nov 14, 2016; Congratulations to Anastasis Georgoulas who successfully passed his VIVA Sep 13, 2016; More news…