Department Seminar Series

Past Talks: 2002/03 Session

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

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

• 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