Skip to content. | Skip to navigation

Link back to UoE

Personal tools

Log in

You are here: Home → lfcs minutes 15Dec2015

lfcs minutes 15Dec2015

LFCS RC meeting minutes - December 2015.pdf — PDF document, 320Kb

Document Actions

Print this

Upcoming Events: LFCS seminar: Alessandro Abate: Formal verification of complex systems: model-based and data-driven methods IF 4.31/4.33,
May 01, 2018; LFCS seminar: Varun Kanade IF 4.31/4.33,
May 08, 2018; LFCS seminar: Mihai Cucuringu IF 4.31/4.33,
May 22, 2018; Swift Logic for Big Data and Knowledge Graphs Lecture Theatre 4, Appleton Tower,
Jun 27, 2018; 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…