Department Seminar Series
Past Talks: 2001/02 Session
Date | Speaker | Title | Host |
---|---|---|---|
30 Oct 2001 |
Prof. Iain Stewart Department of Mathematics and Computer Science, University of Leicester |
Finite model theory, computational complexity and program schemes | Michele Zito |
06 Nov 2001 |
Dr. Juergen Dix Department of Computer Science, University of Manchester |
A Computational Logic Approach to Heterogenous Agent Systems | Mike Wooldridge, Michael Fisher |
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 | |
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 | Ray Paton |
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? | Peter McBurney, Simon Parsons |
04 Dec 2001 |
Prof. Muffy Calder Department of Computing Science, University of Glasgow |
Using SPIN for feature interaction analysis in a communications service | Michael Fisher |
22 Jan 2002 |
Dr. Enrico Franconi Department of Computer Science, University of Manchester |
(Description) Logics for Information Modelling and Access | Anatoli Degtyarev |
29 Jan 2002 |
Dr. Marc-Philippe Huget Department of Computer Science, University of Liverpool |
Interaction Protocol Engineering in Multiagent Systems | |
05 Feb 2002 |
Prof. Jeff Paris Department of Mathematics, University of Manchester |
There's a reason for everything | Peter McBurney, Simon Parsons |
19 Feb 2002 |
Dr. Marc Pauly Department of Computer Science, University of Liverpool |
Logic for Social Software | |
26 Feb 2002 |
Dr.Valentina Tamma Department of Computer Science, University of Liverpool |
An ontology model supporting multiple ontologies for knowledge sharing | |
05 Mar 2002 |
Dr. Trevor Bench-Capon Department of Computer Science, University of Liverpool |
Chromatic Argumentation Frameworks | |
12 Mar 2002 |
Dr. Mark Ryan School of Computer Science, University of Birmingham |
Feature Integration as an operation of Theory Change | Mike Wooldridge |
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 | |
23 Apr 2002 |
Dr. Colin Cooper Goldsmiths College, University of London |
Topics on webgraphs (generation and algorithms) | Michele Zito |
14 May 2002 |
Dr. Boudewijn de Bruin Institute for Logic, Language, and Computation, University of Amsterdam |
Subgame Perfection in Propositional Dynamic Logic | Marc Pauly |
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