Overview of all talks

Past Talks: 2002/03 Session

Date	Speaker	Title	Series
30 Jul 2002	Ian Dickinson HP Laboratories, Bristol, UK	A Toolkit for Effective Agents with Deliberative and Reactive Properties	dept
31 Jul 2002	Patricia Charlton Centre of Excellence in Intelligent Agent Technology, Motorola	Towards an Intelligent M-Lifestyle: Semantic and Context-based Adaptive Services	dept
10 Sep 2002	Yannis Stamatiou Department of Computer Engineering and Informatics, University of Patras, Greece	Proving Conditional Randomness using the Principle of Deferred Decisions	dept
30 Sep 2002	Willem Visser Research Institute for Advanced Computer Science, NASA Ames, California, USA	Model Checking Programs with Java PathFinder	dept
08 Oct 2002	William Duckworth Department of Computing, Macquarie University, Sydney, Australia	Connected Dominating Sets and Regular Graphs	dept
09 Oct 2002	Malcolm Strens Centre for Robotics & Machine Vision, QinetiQ, Farnborough, Hants, UK	Making Reinforcement Learning Work	dept
15 Oct 2002	Andrea Schalk Department of Computer Science, University of Manchester, UK	Games in the Semantics of Programming Languages	dept
29 Oct 2002	Joris Hulstijn Department of Artificial Intelligence, Vrije Universiteit Amsterdam, The Netherlands	Flexible Interaction	dept
12 Nov 2002	Alexandru Baltag Computing Laboratory, University of Oxford, UK	Logics for Information Updates	dept
19 Nov 2002	Tim Porter Mathematics Division, School of Informatics, University of Wales, Bangor, UK	Geometric Aspects of Multi-Agent Systems	dept
26 Nov 2002	Bakhadyr Khoussainov Department of Computer Science, University of Auckland, New Zealand	Games Played on Finite Graphs	dept
03 Dec 2002	Chiara Ghidini Department of Computer Science, University of Liverpool, UK	Programming Individual Rational Agents	dept
10 Dec 2002	Chris Hankin Department of Computing, Imperial College, London, UK	On Approximate Confinement	dept
21 Jan 2003	Mike Ball, Division of Applied Mathematics, Department of Mathematical Sciences, University of Liverpool, UK	What is a coalition? A model for cooperative games	dept
28 Jan 2003	Michael Laurence, Department of Computer Science, University of Liverpool, UK	Equivalence of liberal, free, linear, schemas is decidable.	dept
04 Feb 2003	Cornelia Inggs, Department of Computer Science, University of Manchester, UK	Parallel Model Checking on a Shared Memory Machine	dept
11 Feb 2003	Seth Bullock School of Computing, University of Leeds, UK	Simulating the Evolutionary Attainability of Honest Signalling in a Population of Artificial Agents	dept
18 Feb 2003	Maarten de Rijke Institute for Logic, Language and Computation, Universiteit van Amsterdam, The Netherlands	From Frege to Google	dept
25 Feb 2003	Alun Preece Department of Computing Science, University of Aberdeen, Scotland, UK	Constraint Logic Programming Applications on the Semantic Web	dept
04 Mar 2003	Ross King Department of Computer Science, University of Wales, Aberystwyth, UK	Towards a Robot Scientist	dept
11 Mar 2003	Robin Milner Computer Laboratory, University of Cambridge, UK	Bigraphs: A Graphical Model of Mobile Computing	dept
18 Mar 2003	Henrik Jeldtoft Jensen Mathematical Physics Group, Department of Mathematics, Imperial College, London, UK	Tangle Nature: A Statistical Mechanics Model of Evolutionary Ecology. Co-evolution, Intermittency and Adaptation.	dept
25 Mar 2003	Wiebe van der Hoek Department of Computer Science, University of Liverpool, UK	Issues in Epistemic Logic	dept
01 Apr 2003	Yves Demazeau Laboratoire Leibniz, Institut IMAG, Grenoble, France	Towards Citizen Multi-Agent Systems	dept
08 Apr 2003	Barteld Kooi Department of Computing Science, University of Groningen, The Netherlands	Probabilistic Dynamic Epistemic Logic	dept
07 May 2003	Tom van Engers Belastingdienst Netherlands and Universiteit van Amsterdam, The Netherlands	The POWER Approach: Improving Legal Quality	dept
13 May 2003	Michael Wooldridge University of Liverpool	An Afternoon of Rational Action	dept
13 May 2003	Wojtek Jamroga Faculty of Computer Science, University of Twente, The Netherlands	An Afternoon of Rational Action	dept
13 May 2003	Yves Lesperance Department of Computer Science, York University, Toronto, Canada	An Afternoon of Rational Action	dept
13 May 2003	Andrew Byde HP Laboratories, Bristol, UK	Applying Evolutionary Game Theory to Auction Mechanism Design	dept
20 May 2003	Michael Leuschel Department of Electronics and Computer Science, University of Southampton, UK	ProB: A Model Checker for B	dept

Older Seminars

ordered by Academic Year

• Upcoming seminars
• Current session
• 2022/23
• 2021/22
• 2020/21
• 2019/20
• 2018/19
• 2017/18
• 2016/17
• 2015/16
• 2014/15
• 2013/14
• 2012/13
• 2011/12
• 2010/11
• 2009/10
• 2008/09
• 2007/08
• 2006/07
• 2005/06
• 2004/05
• 2003/04
• 2002/03
• 2001/02
• 2000/01

---

Other seminar series

• Department Seminar Series
• Algorithms, Complexity Theory and Optimisation
• Argumentation and Representation of Knowledge
• Data Mining and Machine Learning
• Economics and Computation
• Friday Lunch and Talk
• Liverpool Distinguished Computer Science Lecture
• Networks and Distributed Computing
• PhD Tea Talks
• Robotics and Autonomous Systems
• Verification
• Women in Technology
• [Overview of all seminar series]