School Seminar Series
Staff members of the School of Computer Science can send their suggestions for seminar speakers to Miss Bryony Quick, bquick@cs.man.ac.uk.
You can view the Past Seminars here.
Unless otherwise stated seminars begin at 14:15 in Kilburn 1.4
10th February 2010
Speaker: Prof Sheng Chen. University of SouthamptonTitle: Orthogonal Least Squares Regression: An Efficient Approach for Parsimonious Modelling from Large Data
Room: Lecture Theatre 1.4, Kilburn Building
Host: Ke Chen
Abstract
17th February 2010
Speaker: Dr Emanuel Kieronski. University of WroclawTitle: Satisfiability of Two-Variable Logics with Transitive or Equivalence Relations
Room: Lecture Theatre 1.4, Kilburn Building
Host: Ian Pratt-Hartmann
Abstract
24th February 2010
Speaker: Prof Carsten Lutz. University of BremenTitle: TBA
Room: Lecture Theatre 1.4, Kilburn Building
Host: Thomas Schneider
Abstract: TBA
3rd March 2010
Speaker: Dr Paul Buitelaar. National University of Ireland, GalwayTitle: TBA
Room: Lecture Theatre 1.4, Kilburn Building
Host: Goran Nenadic
Abstract: TBA
10th March 2010
Speaker: Dr Byron Cook. Microsoft ResearchTitle: Proving that programs eventually do something good
Room: Lecture Theatre 1.4, Kilburn Building
Host: Andrei Voronkov
Abstract
24th March 2010
Speaker: Dr Dina Shona Laila. Kingston University LondonTitle: TBA
Room: Lecture Theatre 1.4, Kilburn Building
Host: Eva Navarro-Lopez
Abstract: TBA
21st April 2010
Speaker: Prof Christoph Weidenbach. Max-Planck InstituteTitle: TBA
Room: Lecture Theatre 1.4, Kilburn Building
Host: Renate Schmidt
Abstract: TBA
28th April 2010
Speaker: Dr Eva Kalyvianaki. Imperial College LondonTitle: TBA
Room: Lecture Theatre 1.4, Kilburn Building
Host: Rizos Sakellariou
Abstract: TBA
12th May 2010
Speaker: Dr Nir Piterman. Imperial College LondonTitle: TBA
Room: Lecture Theatre 1.4, Kilburn Building
Host: Andrei Voronkov
Abstract: TBA