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
- Upcoming seminars
- Current session
- 2022/23
- 2021/22
- 2020/21
- 2019/20
- 2018/19
- 2017/18
- 2016/17
- 2015/16
- 2014/15
- 2013/14
- 2012/13
- 2011/12
- 2010/11
- 2009/10
- 2008/09
- 2007/08
- 2006/07
- 2005/06
- 2004/05
- 2003/04
- 2002/03
- 2001/02
- 2000/01
Other seminar series
- Algorithms, Complexity Theory and Optimisation
- Argumentation and Representation of Knowledge
- Data Mining and Machine Learning
- Economics and Computation
- Friday Lunch and Talk
- Liverpool Distinguished Computer Science Lecture
- Networks and Distributed Computing
- PhD Tea Talks
- Robotics and Autonomous Systems
- Verification
- Women in Technology
- Overview of all seminar series
Maintained by Othon Michail