• School of Computer Science
• Our Research
  • Research quality (RAE)
  • Research groups
  • Projects
  • Research Interests
  • Publications
  • Seminars
  • Staff
  • How to apply
  • Fees
  • Funding & Scholarships
  • Contact us
  • Current PGR

• Related links
  • Life Sciences Seminars
  • Past School Seminar Series
  • University Seminars

Past School Seminars

8th February 2012

Speaker: Dr Lidia Tendera. University of Opole, Poland
Title: Two-Variable First-Order Logics over Transitive Structures
Host: IEP
Abstract

12th December 2011

Speaker: Dr Laurent Daynes. Oracle Labs
Title: The Maxine Project -- productive and approachable development of high-performance virtual machines
Host: BMGC
Abstract

7th December 2011

Speaker: Dr Dan Ghica. University of Birmingham
Title: The Geometry of Synthesis: How to make hardware out of software
Host: GXB
Abstract

10th June 2011

Speaker: Prof Nigel Collier. National Institute of Informatics, Tokyo
Title: Web sensing for real time disaster detection and tracking
Host: GN
Abstract

4th May 2011

Speaker: Prof Giorgio Brajnik. Universita di Udine, ITALY
Title: State Machines and User Interface Engineering
Host: SH
Abstract

6th April 2011

Speaker: Dr Jeremy Wyatt. University of Birmingham
Title: A systems approach to cognition in robotics
Host: GXB
Abstract

23rd March 2011

Speaker: Prof Daniel Kroening. University of Oxford
Title: Proving Program Termination
Host: EMN
Abstract

2nd March 2011

Speaker: Prof Joby Boxall. University of Sheffield
Title: Computer Science and the Water Industry?
Host: Brooke
Abstract

16th February 2011

Speaker: Dr Michel Chaudron. Leiden University
Title: Automated Quality-Driven Optimization of Software Architectures (AQOSA)
Host: KKL
Abstract

9th February 2011

Speaker: Prof Kai-Uwe Sattler. Technische Universitat Ilmenau
Title: Online Query Processing and Data Analytics on Sensor Data with AnduIN
Host: AAAF
Abstract

8th December 2010

Speaker: Dr David Shotton. University of Oxford
Title: Semantic enrichment of publications, references and datasets to facilitate knowledge discovery
Host: SRP
Abstract

24th November 2010

Speaker: Prof Jong Park. Korea Advanced Institute of Science and Technology
Title: Quality of Life Technology for the Aurally Challenged and for the Elderly
Host: GN
Abstract

10th November 2010

Speaker: Prof Byron Cook. Microsoft Research, Cambridge
Title: Proving that programs eventually do something good
Host: AV
Abstract

16th June 2010

Speaker: Prof Christoph Weidenbach. Max-Planck Institute
Title: On the Saturation of YAGO
Host: RenS
Abstract

12th May 2010

Speaker: Dr Nir Piterman. Imperial College London
Title: Synthesis From Temporal Specifications
Host: AV
Abstract

5th May 2010

Speaker: Prof Thom Fruehwirth. University of Ulm, Germany
Title: Constraint Handling Rules
Host: AV
Abstract

28th April 2010

Speaker: Dr Eva Kalyvianaki. Imperial College London
Title: Query Planning in Distributed Stream Processing Systems
Host: RiS
Abstract

24th March 2010

Speaker: Dr Dina Shona Laila. Kingston University London
Title: Analysis and Design of Nonlinear Sampled-Data Control Systems with Applications to Electromechanical Systems
Host: EMN
Abstract

10th March 2010

Speaker: Dr Byron Cook. Microsoft Research
Title: Proving that programs eventually do something good
Host: AV
Abstract

3rd March 2010

Speaker: Dr Paul Buitelaar. National University of Ireland, Galway
Title: Ontologies and the Lexicon: Connecting World and Word Knowledge
Host: GN
Abstract

24th February 2010

Speaker: Prof Carsten Lutz. University of Bremen
Title: Conjunctive Query Answering in Description Logics
Host: THS
Abstract

17th February 2010

Speaker: Dr Emanuel Kieronski. University of Wroclaw
Title: Satisfiability of Two-Variable Logics with Transitive or Equivalence Relations
Host: IEP
Abstract

10th February 2010

Speaker: Prof Sheng Chen. University of Southampton
Title: Orthogonal Least Squares Regression: An Efficient Approach for Parsimonious Modelling from Large Data
Host: KEC
Abstract

9th December 2009

Speaker: Mr Daniel Scheibli. SAP Research
Title: The core problem: Overview on systems research at SAP with a focus on parallelism.
Host: ML
Abstract

2nd December 2009

Speaker: Dr Birte Glimm. Oxford University
Title: SPARQL - Beyond Subgraph Matching
Host: BP
Abstract

25th November 2009

Speaker: Dr Simon Frankau. Barclays Capital
Title: Commercial uses of functional programming: Domain-specific languages in investment banking
Host: ML
Abstract

11th November 2009

Speaker: Dr Richard Clayton. University of Sheffield
Title: Computational models of the heart: Successes, failures, and prospects for the future
Host: NDL
Abstract

14th October 2009

Speaker: Dr Marcus Kaiser. Newcastle University
Title: Network Diseases: Linking Developmental Changes in Brain Connectivity with Neural Dynamics
Host: SBF
Abstract

7th October 2009

Speaker: Dr Sylvain Sylvati. INRIA
Title: Formal languages and lambda-calculus
Host: IEP
Abstract

16th September 2009

Speaker: Prof Frantisek Plasil. Charles University, Prague
Title: Extracting Behavior Specification of Components in Legacy Applications
Host: KKL
Abstract

15th July 2009

Speaker: Dr Juan Barajas-Ramirez. IPICYT Research Center
Title: Dynamics of Complex Networks: Growth and Consensus
Host: EMN
Abstract

29th June 2009

Speaker: Professor Geoff Hinton, FRS. University of Toronto
Title: A quick way to learn a mixture of exponentially many linear models
Host: NDL
Abstract

3rd June 2009

Speaker: Dr Michael Ley. University of Trier
Title: DBLP: How the data get in
Host: AV
Abstract

13th May 2009

Speaker: Dr Karol Myszkowski. Max Planck Institute for Informatics
Title: Perception-oriented Rendering
Host: MG
Abstract

15th April 2009

Speaker: Dr Simon Thorpe. CNRS
Title: Spikes and Computation in Sensory Systems
Host: SBF
Abstract

1st April 2009

Speaker: Dr Laura Kovacs. Ecole Polytechnique Federale de Lausanne (EPFL)
Title: Quantified Invariant Generation using Symbolic Computation and Theorem Proving
Host: AV
Abstract

18th March 2009

Speaker: Dr Norbert Muller. Universitat Trier
Title: Concepts for implementing exact real arithmetic
Host: DRL
Abstract

18th February 2009

Speaker: Professor Peter O'Hearn. University of London
Title: From Substructural Logic to Systems Code
Host: RHB
Abstract

11th February 2009

Speaker: Dr Enrico Franconi. Free University of Bozen-Bolzano
Title: Ontologies and databases: a novel framework
Host: AAAF
Abstract

22nd October 2008

Speaker: Dr Derek Jones. Knowledge Software Ltd
Title: The impact of experience on software developer performance
Host: JDS
Abstract

8th October 2008

Speaker: Dr Chris Huyck. Middlesex University
Title: AI via Neural Processing
Host: SBF
Abstract

23rd April 2008

Speaker: Dr Antony Hunter. University College London
Title: Ways to Use Inconsistent Knowledge: Argumentation versus Merging
Host: UMS
Abstract

16th April 2008

Speaker: Professor Geoff Coulson. Lancaster University
Title: Overview of Middleware Research at Lancaster with a Focus on Sensor Network Activities
Host: RIS
Abstract

9th April 2008

Speaker: Dr David Snelling. Fujitsu Laboratories of Europe
Title: Data centre management
Host: Brooke
Abstract

12th March 2008

Speaker: Prof Paolo Atzeni. Universita Roma Tr
Title: Model independent schema and data translation
Host: PM
Abstract

5th March 2008

Speaker: Prof Graham Finlayson. University of East Anglia
Title: From Pixels to Perception
Host: MG
Abstract

27th February 2008

Speaker: Dr Boris Konev. University of Liverpool
Title: The Logical Difference and Module Extraction Problems for Acyclic Terminologies
Host: UMS
Abstract

13th February 2008

Speaker: Professor Xin Yao. University of Birmingham
Title: A Rigorous Theoretical Framework for Measuring Generalisation of Co-evolutionary Learning
Host: KEC
Abstract

6th February 2008

Speaker: Dr Roland Fleming. Max Plank Institute
Title: Human Visual Perception of 3D Shape
Host: RJH
Abstract

5th December 2007

Speaker: Dr Paul Curzon. Queen Mary, University of London
Title: 3pm: Serious Fun in Computer Science. 4pm: Reasoning about Human Error with Interactive Systems based on Formal Models of Behaviour
Host: AAC
Abstract

26th November 2007

Speaker: Professor Martin Davis. New York University
Title: Alan Turing's Computers and Our Computers
Host: AV
Abstract

14th November 2007

Speaker: Dr Jon Barker. University of Sheffield
Title: Solving the speech jigsaw: A fragment-based approach to noise-robust audio and audio-visual speech recognition
Host: NDL
Abstract

31st October 2007

Speaker: Professor Bertrand Meyer. ETH, Zurich
Title: Touch of Class: Teaching introductory programming to the Flickr generation
Host: AV
Abstract

24th October 2007

Speaker: Professor Sridhar Rajagopalan. IBM/University of Manchester
Title: Algorithms and Engineering
Host: MR
Abstract

10th October 2007

Speaker: Dr Alexander Bolotov. University of Westminster
Title: Natural Deduction Calculus for Temporal Logic and its Automation
Host: IEP
Abstract

2nd July 2007

Speaker: Professor Yuri Matiyasevich. Steklov Mathematical Institute
Title: Computation Paradigms in the Light of Hilbert's Tenth Problem
Host: AV
Abstract

9th May 2007

Speaker: Prof Sridhar Rajagopalan. University Of Manchester
Title: TBA
Host: MR
Abstract: TBA

2nd May 2007

Speaker: Prof Jun'ichi Tsujii. University of Manchester
Title: Deep Search: Linking text with meaning
Host: MMW
Abstract

25th April 2007

Speaker: Dr Luca Vigano. University of Verona
Title: Automated Validation of Internet Security Protocols
Host: RenS
Abstract

18th April 2007

Speaker: Prof Paulo Lisboa. Liverpool John Moores University
Title: Integrated decision support for clinical oncology - a case study on breast cancer
Host: CT
Abstract

21st March 2007

Speaker: Dr Gerhard Schellhorn. Universitat Augsberg
Title: Verification of Mondex Electronic Purses with KIV: From Transactions to Java Code
Host: RHB
Abstract

7th March 2007

Speaker: Prof Andrew Tyrrell. University of York
Title: Bio-inspired Architecture and Fault Tolerant Computational Systems
Host: SBF
Abstract

28th February 2007

Speaker: Prof Helmut Veith. TU Munich
Title: Proving Ptolemy Right: Environment Abstraction for Concurrent Systems
Host: AV
Abstract

21st February 2007

Speaker: Prof Peter McOwan. Queen Mary, University of London
Title: Sodarace: Online adventures in Science and Artificial Intelligence
Host: MMW
Abstract

14th February 2007

Speaker: Dr Maarten Marx. Universiteit van Amsterdam
Title: Queries determined by views: pack your views
Host: UMS
Abstract

31st January 2007

Speaker: Dr Thore Graepel. Microsoft research in Cambridge
Title: Bayesian Ranking
Host: MR
Abstract

13th December 2006

Speaker: Dr Niki Trigoni. Birkbeck, University of London
Title: Sensor data collection in a transport monitoring environment
Host: NWP
Abstract

29th November 2006

Speaker: Mr Bill Black. University of Manchester
Title: Text Mining with the Cafetiere Toolkit
Host: AXR
Abstract

22nd November 2006

Speaker: Prof Jean-Raymond Abrial. ETH Zurich
Title: Using formally defined design patterns to improve system developments
Host: RHB
Abstract

15th November 2006

Speaker: Prof Roger Woods. Queen's University of Belfast
Title: Design methodologies and tools for heterogeneous platforms
Host: SBF
Abstract

8th November 2006

Speaker: Dr Ke Chen. University of Manchester
Title: On the Dynamic Pattern Analysis and Recognition
Host: GXB
Abstract

1st November 2006

Speaker: Dr Natasha Alechina. University of Nottingham
Title: Epistemic logics for time and space bounded reasoning
Host: IEP
Abstract

25th October 2006

Speaker: Prof David Makinson. King's College London
Title: Respecting Relevance in Belief Change (joint work with George Kourousias )
Host: UMS
Abstract

18th October 2006

Speaker: Dr Ewa Deelman. USC Information Sciences Institute
Title: Challenges of Managing Large-Scale Scientific Workflows in Distributed Environments
Host: RIS
Abstract

11th October 2006

Speaker: Dr Richard Banach. University of Manchester
Title: Retrenchments, Refinements, and the Mondex Electronic Purse
Host: IEP
Abstract

4th October 2006

Speaker: Prof Michael Kifer. State University of New York
Title: Knowledge Programming with FLORA-2
Host: UMS
Abstract

27th September 2006

Speaker: Prof Ian Horrocks. University of Manchester
Title: Ontologies and the Semantic Web
Host: IEP
Abstract

2nd June 2006

Speaker: Dr Frederica Darema. enior Science and Technology Advisor, CISE Directorate, NSF
Title: Dynamic Data Driven Applications Systems (DDDAS)
Host: RiS
Abstract

10th May 2006

Speaker: Dr Oliver Lemon. University of Edinburgh
Title: Learning and context in spoken dialogue systems: recent results from the TALK project
Host: IEP
Abstract

3rd May 2006

Speaker: (CANCELLED) Ian Horrocks. University of Manchester
Title: Ontologies and the Semantic Web
Host: IEP
Abstract

26th April 2006

Speaker: Professor Markus Gross. ETH Zurich
Title: The Utility of Points as Primitives for Graphics and Modeling
Host: RJH
Abstract

29th March 2006

Speaker: Dr Carlos Areces. Langue et Dialogue, France
Title: Hybrid Logics with Concrete Domains
Host: UMS
Abstract

22nd March 2006

Speaker: Dr Trevor Hopkins. IBM United Kingdom Limited
Title: A Practical Component Modelling Example
Host: KKL
Abstract

1st March 2006

Speaker: Professor Nigel Topham. University of Edinburgh
Title: Energy-efficient SIMD Processors for Multimedia Applications
Host: SBF
Abstract

22nd February 2006

Speaker: Professor Adrian Hilton. University of Surrey
Title: Computer Vision for 3D Studio Production
Host: RJH
Abstract

15th February 2006

Speaker: Dr Jean-Pierre Berenger. Centre de Analyze de Defense
Title: On the optimization of the PML Absorbing Boundary Condition
Host: FC
Abstract

8th February 2006

Speaker: Professor Norman Paton. University of Manchester
Title: Parallel Querying with Non-Dedicated Computers: An Evaluation of Adaptivity Options
Host: IEP
Abstract

14th December 2005

Speaker: Professor Andrew Brown. University of Southampton
Title: Electronic Design Automation - in the beginning, it was tricky - then it got seriously hard - now it's becoming bloody impossible - but there is hope...
Host: SBF
Abstract

16th November 2005

Speaker: Dr Sebastian Brandt. TU Dresden
Title: Why Small Description Logics Deserve more Love.
Host: US
Abstract

9th November 2005

Speaker: Professor Stephen Pulman. Somerville College, Oxford
Title: Semantics for finite state approximations.
Host: IEP
Abstract

2nd November 2005

Speaker: Professor Peter J Nurnberg. Aalborg University Esbjerg, Denmark
Title: Metaphors and Knowledge Modeling
Host: SH
Abstract

26th October 2005

Speaker: Professor Samson Abramsky. Oxford University
Title: An Algebraic and Graphical Calculus for Quantum Processes or Information is Physical, but Physics is Logical
Host: ACS
Abstract

19th October 2005

Speaker: Dr Fabio Porto. Ecole Polytechnique Federale de Lausanne, Switzerland
Title: Adaptive query evaluation: new challenges from internet-based applications
Host: AAAF
Abstract

12th October 2005

Speaker: Dr Allan Ramsay. University of Manchester
Title: Parsing Free Word Order Languages
Host: IEP
Abstract

5th October 2005

Speaker: Professor David Robertson. University of Edinburgh
Title: Coordination Oriented Programming
Host: US
Abstract