News

Willem Heijltjes passes viva

 

Julian Gutierrez passes VIVA

 

Vasilis Vasaitis passes VIVA

 

ICDT 2011 best paper award to Tony Tan and Claire David

 

PODS 2011 best paper award to Juan Reutter

 

The best student paper at ETAPS 2011 to Matteo Mio

 

Wenfei Fan elected to RSE

 

Milner Lecture, John Hughes, 4pm Tuesday 21 June 2011

 

Additional seminar, John Hughes, 10am Wed 22 June 2011, IF-4.31/4.33

 

LFCS Seminar: Prof. Wei Li, A Structural Operational Semantics for Program Debugging, 22/06/2011, 4pm IF4.31/4.33

 

The 2011 Milner Lecture video

 

Willem Heijltjes wins best student paper at LICS 2011

 

Phil Scott, Free topos lecture, Wed 13/07/2011, 2-5pm

 

Prof. Prakash Panangaden, 4 lectures on Bisimulation, Approximation and Metrics for Labelled Markov Processes, Tue 12/07/2011, 2.30-5pm

 

Prof. Prakash Panangaden, 4 lectures on Bisimulation, Approximation and Metrics for Labelled Markov Processes (IF 4.31+4.33, Informatics Forum , from Jul 12, 2011 02:30 PM to Aug 02, 2011 04:00 PM)

 

Grant Passmore passed his PhD viva - Congratulations!

 

Congratulations to Dr. Elham Kashefi on her election to the Young Academy of Scotland

 

EU Project Travel fund - ERI

EU Project Travel fund available at ERI for EU project negotiation travel. This could be used either for negotiation meetings or partner collaboration meetings prior to submitting proposals.

Congratulations to Gordon Plotkin - Blaise Pascal Medal in Computational Sciences and Information

 

Leonid Libkin Fellowship

 

Matteo Mio passes viva

 

Lorenzo Clemente passes viva! (from Mar 23, 2012 11:10 AM to Mar 26, 2012 11:10 AM)

 

Congratulations to Iain Whiteside who has been awarded an internship at NASA Ames this summer.