You are here: Home → Local Information → Research Committee Minutes → LFCS Committee meeting 3rd December 2012

LFCS Committee meeting 3rd December 2012

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…