Department Seminar Series

Past Talks: 2006/07 Session

Date Speaker Title Host
03 Oct 2006
Dr. Boris Motik

School of Computer Science, University of Manchester, UK
Ontology Modelling Languages with Logic Programming
10 Oct 2006
Dr. Nick Bezhanishvili

Department of Computer Science, University of Leicester, UK
Free modal algebras: an overview
17 Oct 2006
Dr. Tim Harris

Microsoft Research, Cambridge, UK
24 Oct 2006
Dr. Kalina Bontcheva

Department of Computer Science, University of Sheffield, UK
GATE: An infrastructure for semantic annotation and its application in semantic-based access to software projects
31 Oct 2006
Dr. Neil X. Ghani

Department of Computer Science and IT, University of Nottingham, UK
What's Going on with Data Types
08 Nov 2006
Prof Artur Czumaj

Department of Computer Science, University of Warwick, UK
Testing properties of graphs
14 Nov 2006
Dr. Balder ten Cate

SLA - Informatics Institute, University of Amsterdam, The Netherlands
The query equivalence problem for XML path languages
21 Nov 2006
Dr. Luigi Iannone

Department of Computer Science, University of Liverpool, UK
Learning Terminal Components for Ontologies
28 Nov 2006
Dr. Oscar Corcho

School of Computer Science, University of Manchester, UK
Metadata management for the Semantic Grid
30 Jan 2007
Dr Lorenzo Carlucci

Department of Scienze Matematiche ed Informatiche "Roberto Magari", University of Siena, Italy
06 Feb 2007
Mr Geert Jonker

Department of Information and Computing Sciences, University of Utrecht, The Netherlands
Experiments with Artificial Money in Multi-Agent Plan Repair
13 Feb 2007
Dr Nicholas Gibbins

School of Electronics and Computer Science, University of Southampton, UK
20 Feb 2007
Mr Nir Oren

Department of Computing Science, University of Aberdeen, UK
An argumentation framework for evidential reasoning
27 Feb 2007
Prof Bernhard von Stengel

Department of Mathematics, London School of Economics, UK
Hard-to-Solve Bimatrix Games
13 Mar 2007
Dr Tony Bagnall

School of Computing Sciences, University of East Anglia, UK
21 Mar 2007
Dr Nick Collins

Department of Informatics, University of Sussex, UK
klipp av: Live Algorithmic Splicing and Audiovisual Event Capture Peter McBurney
27 Mar 2007
Prof Enrico Motta

Knowledge Media Institute, Open University, UK
Towards a new generation of semantic web applications
17 Apr 2007
Prof Cees Witteveen

Department of Software Technology, TU Delft, The Netherlands
Diagnosis of Single and Multi-Agent Plans
24 Apr 2007
Dr Lorenzo Carlucci

Department of Scienze Matematiche ed Informatiche "Roberto Magari", University of Siena, Italy
Unprovability and (Un)learnability Results
15 May 2007
Dr Carsten Lutz

Department of Computer Science, Dresden University of Technology, Germany
Description Logics for Large-Scale Ontologies
22 May 2007
Dr Francien Deschesne

Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands
Dynamic epistemic verification of security

Older Seminars
ordered by Academic Year



Other seminar series