Overview of all talks

Past Talks: 2008/09 Session

Date Speaker Title Series
02 Oct 2008
Mr Pawel Lozinski

Institute of Computer Science, Warsaw University of Technology, Poland 		Arguing Agents Competition dept
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 dept
07 Oct 2008
Dr Matt Webster

Department of Computer Science, University of Liverpool, UK 		Reproduction, Rosen's Paradox and Computer Viruses dept
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 dept
11 Oct 2008
Dr Barteld Kooi

Department of Theoretical Philosophy, University of Groningen, The Netherlands 		Dynamic Term-Modal Logic dept
14 Oct 2008
Dr Hai Wang

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

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

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

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

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

School of Electronics and Computer Science, University of Southampton, UK 		Beyond Weighted Voting Games dept
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 dept
29 Jan 2009
Dr Jérôme Euzenat

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

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

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

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

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

Department of Computing, University of Surrey, UK 		Secure Electronic Voting dept
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 dept
18 Mar 2009
Dr Simon Dobson

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

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

Institute of Philosophy, Free University Berlin, Germany 		dept
11 Jun 2009
Prof Doron Peled

Department of Computer Science, Bar Ilan University, Israel 		Model Checking Based Genetic Programming dept

Older Seminars
ordered by Academic Year


Other seminar series