Overview of all talks

Past Talks: 2005/06 Session

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

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

• Department 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]