Department Seminar Series

Past Talks: 2008/09 Session

Date Speaker Title Host
02 Oct 2008
Mr Pawel Lozinski

Institute of Computer Science, Warsaw University of Technology, Poland 		Arguing Agents Competition F. Grasso
04 Oct 2008
[Cancelled]
Prof Dimitris Fotakis

Department of Information and Communication Systems Engineering, University of the Aegean, Greece 		TALK CANCELLED ! Stackelberg Strategies and Cost-Balancing Tolls for Atomic Congestion Games P. Krysta
07 Oct 2008
Dr Matt Webster

Department of Computer Science, University of Liverpool, UK 		Reproduction, Rosen's Paradox and Computer Viruses
09 Oct 2008
Prof Keith Clark

Department of Computing, Imperial College London, UK 		TALK MOVED TO 29 JANUARY 2009! AgentMT(TR) - a multi-threaded architecture using Teleo-Reactive plans M. Fisher
11 Oct 2008
Dr Barteld Kooi

Department of Theoretical Philosophy, University of Groningen, The Netherlands 		Dynamic Term-Modal Logic W. van der Hoek
14 Oct 2008
Dr Hai Wang

School of Electronics and Computer Science, University of Southampton, UK 		TAO - Transitioning Legacy Applications to Ontologies T. Payne
18 Oct 2008
Prof Berthold Vöcking

Department of Computer Science, RWTH Aachen University, Germany 		Uncoordinated two-sided matching markets P. Krysta
21 Oct 2008
Dr Maria Polukarov

School of Electronics and Computer Science, University of Southampton, UK 		Congestion games with faulty or asynchronous resources P. Krysta
25 Oct 2008
Dr Renate A. Schmidt

School of Computer Science, University of Manchester, UK 		Second-Order Quantifier Elimination U. Hustadt
28 Oct 2008
Dr Clare Dixon

Department of Computer Science, University of Liverpool, UK 		Deductive Temporal Reasoning with Constraints
20 Jan 2009
Dr Edith Elkind

School of Electronics and Computer Science, University of Southampton, UK 		Beyond Weighted Voting Games P. Krysta
27 Jan 2009
Prof Dimitris Fotakis

Department of Information and Communication Systems Engineering, University of the Aegean, Greece 		Stackelberg Strategies and Cost-Balancing Tolls for Atomic Congestion Games P. Krysta
29 Jan 2009
Dr Jérôme Euzenat

INRIA & LIG, Grenoble, France 		Interoperability in semantic distributed systems T. Payne
29 Jan 2009
Prof Keith Clark

Department of Computing, Imperial College London, UK 		AgentMT(TR) - a multi-threaded architecture using Teleo-Reactive plans M. Fisher
03 Feb 2009
Prof Harald Raecke

Department of Computer Science, University of Warwick, UK 		Hierarchical Graph Decompositions for Minimizing Congestion P. Krysta
24 Feb 2009
Dr Ulrich Berger

Department of Computer Science, University of Wales Swansea, UK 		A coinductive approach to exact real number computation V. Sazonov
03 Mar 2009
Dr Jens Kleinjung

Mathematical Biology Division, National Institute for Medical Research, London, UK 		Algorithmic Approaches for Protein Structure Analysis and Design L. Gasieniec
04 Mar 2009
LDCSL 		Professor Christos Papadimitriou
U.C. Berkeley 		The Algorithmic Lens: How the Computational Perspective is Transforming the Sciences Leslie Goldberg and Piotr Krysta
10 Mar 2009
Prof Steve Schneider

Department of Computing, University of Surrey, UK 		Secure Electronic Voting M. Fisher
17 Mar 2009
Dr Kurt Vanmechelen

Department of Mathematics and Computer Science, Universiteit Antwerpen, Belgium 		On the integration of economic principles in grid resource management P. McBurney
18 Mar 2009
Dr Simon Dobson

School of Computer Science & Informatics, University College Dublin, Ireland 		Semantic Challenges of Autonomic and Adaptive Systems M. Fisher
30 Apr 2009
Prof Dag Normann

Department of Mathematics, University of Oslo, Norway 		Functionals of finite types - bridging logic and computer science V. Sazonov
05 May 2009
Dr Gregor Betz

Institute of Philosophy, Free University Berlin, Germany 		P. McBurney
11 Jun 2009
Prof Doron Peled

Department of Computer Science, Bar Ilan University, Israel 		Model Checking Based Genetic Programming M. Wooldridge

Older Seminars
ordered by Academic Year


Other seminar series