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

Older Seminars
ordered by Academic Year


Other seminar series