Overview of all talks

Past Talks: 2001/02 Session

Date	Speaker	Title	Series
30 Oct 2001	Prof. Iain Stewart Department of Mathematics and Computer Science, University of Leicester	Finite model theory, computational complexity and program schemes	dept
06 Nov 2001	Dr. Juergen Dix Department of Computer Science, University of Manchester	A Computational Logic Approach to Heterogenous Agent Systems	dept
13 Nov 2001	Dr. Vladimir Sazonov Department of Computer Science, University of Liverpool	Using Agents for Concurrent Querying of Web-like Databases via a Hyper-Set-Theoretic Approach	dept
20 Nov 2001	Dr. Larry Bull Faculty of Computer Studies and Mathematics, University of the West of England, Bristol	On Learning Classifier Systems: ZCS, CCS and NCS	dept
27 Nov 2001	Prof. John Fox Advanced Computation Laboratory, Imperial Cancer Research Fund, London	Performers, publishers, polyphony and the Pope: what can intelligent agents learn from the music biz?	dept
04 Dec 2001	Prof. Muffy Calder Department of Computing Science, University of Glasgow	Using SPIN for feature interaction analysis in a communications service	dept
22 Jan 2002	Dr. Enrico Franconi Department of Computer Science, University of Manchester	(Description) Logics for Information Modelling and Access	dept
29 Jan 2002	Dr. Marc-Philippe Huget Department of Computer Science, University of Liverpool	Interaction Protocol Engineering in Multiagent Systems	dept
05 Feb 2002	Prof. Jeff Paris Department of Mathematics, University of Manchester	There's a reason for everything	dept
19 Feb 2002	Dr. Marc Pauly Department of Computer Science, University of Liverpool	Logic for Social Software	dept
26 Feb 2002	Dr.Valentina Tamma Department of Computer Science, University of Liverpool	An ontology model supporting multiple ontologies for knowledge sharing	dept
05 Mar 2002	Dr. Trevor Bench-Capon Department of Computer Science, University of Liverpool	Chromatic Argumentation Frameworks	dept
12 Mar 2002	Dr. Mark Ryan School of Computer Science, University of Birmingham	Feature Integration as an operation of Theory Change	dept
19 Mar 2002	Dr. Costas Vlachos Department of Computer Science, University of Liverpool	Solution to the Shell standard control problem using genetically tuned PID controllers	dept
23 Apr 2002	Dr. Colin Cooper Goldsmiths College, University of London	Topics on webgraphs (generation and algorithms)	dept
14 May 2002	Dr. Boudewijn de Bruin Institute for Logic, Language, and Computation, University of Amsterdam	Subgame Perfection in Propositional Dynamic Logic	dept
30 Jul 2002	Ian Dickinson HP Laboratories, Bristol, UK	A Toolkit for Effective Agents with Deliberative and Reactive Properties	dept
31 Jul 2002	Patricia Charlton Centre of Excellence in Intelligent Agent Technology, Motorola	Towards an Intelligent M-Lifestyle: Semantic and Context-based Adaptive Services	dept

Older Seminars

ordered by Academic Year

• Upcoming seminars
• Current session
• 2024/25
• 2023/24
• 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

• School Seminar Series
• Algorithms and Computing Systems
• 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]