Department Seminar Series
Past Talks: 2005/06 Session
Date | Speaker | Title | Host |
---|---|---|---|
04 Oct 2005 |
Dr. John Domingue Knowledge Media Institute, The Open University, UK |
Semantic Web Services, WSMO and IRS-III | V. Tamma |
11 Oct 2005 |
Prof. Rick Thomas Department of Computer Science, University of Leicester, UK |
Computation in algebraic structures | I. Potapov |
18 Oct 2005 |
Dr. Hykel Hosni School of Mathematics, University of Manchester, UK |
Rational coordination without communication | P. McBurney, W. van der Hoek |
01 Nov 2005 |
Dr. Peter Postl Department of Economics, University of Birmingham, UK |
Mechanism Design, Analytical Problems and Computational Solutions: The example of arbitration. | P. McBurney |
08 Nov 2005 |
Dr. Gabriella Pigozzi Department of Computer Science, King's College London, UK |
Paradoxes of aggregation and belief merging: the discursive dilemma and the Ostrogorski paradoxd | W. van der Hoek |
15 Nov 2005 |
Dr. Jeff Pan Department of Computer Science, University of Aberdeen, UK |
Description Logics and Semantic Web Language Extensions | V. Tamma |
22 Nov 2005 |
Prof. Andreas Weiermann Department of Mathematics, University of Utrecht, The Netherlands |
Phase transitions in logic and combinatorics | A. Bovykin |
29 Nov 2005 |
Dr. Richard Clayton Department of Computer Science, University of Sheffield, UK |
Progress and challenges in computational systems biology | I. Biktasheva |
06 Dec 2005 |
Prof. Fabio Ciravegna Department of Computer Science, University of Sheffield, UK |
Semantic Web Technologies for Knowledge Acquisition, Reuse and Sharing | V. Tamma |
13 Dec 2005 |
Dr. Thomas Ågotnes Department of Informatics, University of Bergen, Norway |
Some logics of finite sets | W. van der Hoek |
31 Jan 2006 |
Sean Bechhofer School of Computer Science, University of Manchester, UK |
Semantic Web: Marvel or Marketing? | V. Tamma |
09 Feb 2006 |
Dr. Elias Thysse Language and information science, Faculty of Arts, University of Tilburg, The Netherlands |
Advances in awareness logic | W. van der Hoek |
14 Feb 2006 |
Dr. Thomas Erlebach Department of Computer Science, University of Leicester, UK |
Network Discovery and Verification | A. Fishkin, L. Gasieniec |
21 Feb 2006 |
Dr. Carles Sierra Artificial Intelligence Research Institute - IIIA, Spanish Research Council - CSIC, Spain |
Trust, Honour, and Commitments | M. Wooldridge |
28 Feb 2006 |
Prof. Hans Rott Department of Philosophy, University of Regensburg, Germany |
Is the very idea of belief revision paradoxical? | W. van der Hoek |
07 Mar 2006 [Cancelled] |
Dr. Richard Benjamins iSOCO, Madrid, Spain |
Semantic Web: from Research to Development to Deployment [Seminar cancelled] | V. Tamma |
14 Mar 2006 |
Dr. Juan A. Rodriguez-Aguilar Artificial Intelligence Research Institute - IIIA, Spanish Research Council - CSIC, Spain |
Engineering Open Systems via Electronic Institutions | M. Wooldridge |
21 Mar 2006 |
Dr. Jerome Lang Institut de Recherche en Informatique de Toulouse (IRIT), France |
Sequential decomposability in combinatorial vote | W. van der Hoek |
28 Mar 2006 |
Dr. Jan Broersen Department of Information and Computing Sciences, University of Utrecht, The Netherlands |
Temporal deontic logic as a reduction to ATL. | W. van der Hoek |
04 Apr 2006 |
Prof. Sunil Vadera Informatics Research Institute, University of Salford, UK |
Learning Exemplars using Family Resemblance and Bayesian Networks | F. Coenen |
25 Apr 2006 |
Dr. Graham Steel School of Informatics, University of Edinburgh, UK |
Formal Analysis of Security APIs | M. Fisher |
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