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


Other seminar series