Department Seminar Series

Past Talks: 2004/05 Session

Date Speaker Title Host
28 Sep 2004
Robert Elsaesser

University of Paderborn, Germany
Agent-Based Information Handling in Large Networks Leszek Gasieniec
02 Oct 2004
S. Muthu Muthukrishnan

Department of Computer Science, Rutgers University, New Jersey, USA
Nonuniform Sparse Approximation via Haar Wavelets Leszek Gasieniec
05 Oct 2004
Andrey Bovykin

Laboratory of Mathematical Logic, Steklov Mathematical Institute, St. Petersburg, Russia, and Department of Computer Science, University of Liverpool, UK
Unprovable Arithmetical Statements Clare Dixon
09 Oct 2004
Ulle Endriss

Department of Computing, Imperial College, London, UK
Negotiating Socially Optimal Allocations of Resources Paul Dunne
12 Oct 2004
Andy King

Computing Laboratory University of Kent, Canterbury, UK
Debugging Concurrent (Logic) Programs with Abstract Interpretation Michael Fisher
19 Oct 2004
Prudence Wong

Department of Computer Science, University of Liverpool, UK
Combinatorial Problems in Whole Genome Alignment
26 Oct 2004
Valentin Goranko

Department of Mathematics, Rand Afrikaans University, Johannesburg, RSA
Models and Logics for Strategic Abilities in Multi-Agent Systems Wiebe van der Hoek
23 Nov 2004
Mike Laurence

Department of Computer Science, University of Liverpool, UK
A Hierarchy of Contract Negotiation Problems for Graphs
30 Nov 2004
Jane Hillston

School of Computer Science, Division of Informatics, University of Edinburgh, UK
Compositional Performance Modelling Using PEPA Michael Fisher
25 Jan 2005
[Cancelled]
Terry Payne

Department of Electronics and Computer Science, University of Southampton
CANCELLED Valentina Tamma
01 Feb 2005
Jean-Louis Giavitto

Space in Computation and Computation in Space Grant Malcolm
08 Feb 2005
[Cancelled]
Xin Yao

School of Computer Science, University of Birmingham, UK
CANCELLED Michael Wooldridge
08 Feb 2005
John Lloyd

Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra, Australia
Handling Uncertainty for Adaptive Logical Agents Agent ART seminar
15 Feb 2005
Iain Stalker

School of Informatics, University of Manchester, UK
Devolved Ontologies for Evolving Domains and Multiple Contexts Peter McBurney
22 Feb 2005
Daniela Romano

Department of Computer Science, University of Sheffield, UK
Realism and Presence, where is the connection? Floriana Grasso
01 Mar 2005
Marta Kwiatkowska

School of Computer Science, University of Birmingham, UK
Modelling and verification of probabilistic systems Michael Fisher
08 Mar 2005
Erik de Vink

Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands
A privacy analysis of the FOO voting scheme Wiebe van der Hoek
15 Mar 2005
John-Jules Meyer

Institute of Information and Computing Science, Universiteit Utrecht, The Netherlands
LORA's Emotional Little Sister LEA: a Logic of Emotional Agents Wiebe van der Hoek
12 Apr 2005
Sylvie Doutre

Department of Computer Science, University of Liverpool, UK
On the development of argument positions
19 Apr 2005
Raphael Clifford

Department of Computer Science, King's College, London, UK
Scheduling Algorithms for Procrastinators Paul Sant
26 Apr 2005
Barteld Kooi

Faculty of Philosophy, University of Groningen, The Netherlands
Expressivity of Update Logics Wiebe van der Hoek
03 May 2005
Paolo Ballarini

Department of Computer Science, University of Liverpool, Liverpool, UK
Towards compositional CSL model-checking

Older Seminars
ordered by Academic Year



Other seminar series