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