Overview of all talks

Past Talks: 2000/01 Session

Date	Speaker	Title	Series
24 Oct 2000	Dr. Michael Schroeder City University, London	Data explosion in biology: Agents to the rescue	dept
31 Oct 2000	Professor Roland Backhouse University of Nottingham.	Teaching the Mathematics of Program Construction	dept
07 Nov 2000	Grant Malcolm Liverpool	Signs and Representations: interpreting and assessing information interfaces	dept
14 Nov 2000	Richard Tateson BT Labs	Nature-inspired Telecommunications	dept
21 Nov 2000   [Postponed]	Enrico Motta Open University	(postponed to 20th February 2001)	dept
28 Nov 2000	Frans Coenen Liverpool	The Association Rule Mining Experiments of The University of Liverpool KDD Group	dept
05 Dec 2000	Christos Ouzounis EBI-EBML, Hinxton, Cambridge	Computational Genomics - a contextual approach.	dept
23 Jan 2001	Nick Jennings Southampton	Automated Haggling: Building Artificial Negotiators	dept
30 Jan 2001	Paul E. Dunne Liverpool	Agent Design Problems: Computability, Complexity, (and Algorithm)	dept
06 Feb 2001	Peter McBurney Liverpool	Representing epistemic uncertainty by means of dialectical argumentation.	dept
13 Feb 2001	Elizabeth Hind Science Communication Unit, Dept. of Physics, Liverpool	Computational Elements of the Rhind Papyrus	dept
20 Feb 2001	Enrico Motta Open University	Knowledge Creation and Sharing on the Web	dept
27 Feb 2001	Martyn Amos Liverpool	Cellular Computing	dept
06 Mar 2001	C.J.K Tan The Queen's University of Belfast	Pseudo-random Number Generators in Stochastic Algorithms	dept
13 Mar 2001	Michael Fisher Liverpool University	Introduction to the Logic and Computation group	dept
20 Mar 2001	Clare Dixon Liverpool University	Clausal Resolution for Linear Time Temporal Logic.	dept
27 Mar 2001	Aspassia Daskalopulu King's College, London	Remarks on Kimbrough's Formal Language for Business Communication (FLBC)	dept
03 Apr 2001	Ullrich Hustadt Liverpool University	Translation-based theorem proving for non-classical logics	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]