Department Seminar Series

Past Talks: 2003/04 Session

Date	Speaker	Title	Host
30 Sep 2003	William Teahan, Terence Clifton School of Informatics, University of Wales - Bangor, UK	Knowing About Knowledge: Towards a framework for Knowledgeable Agents and Knowledge Grids	Peter McBurney
07 Oct 2003	Karl Tuyls Computational Modeling Laboratory, Vrije Universiteit, Brussels, Belgium	Learning in MAS: An Evolutionary Game Theoretic Approach	Wiebe van der Hoek
14 Oct 2003	Tim Norman Department of Computing Science, University of Aberdeen, UK	Adaptive Brokering in Agent-Mediated Electronic Commerce	Peter McBurney
21 Oct 2003	Julian Padget Department of Computer Science, University of Bath, UK	Agents, Institutions and Organizations ...towards HarmonIA	Valentina Tamma
28 Oct 2003	Nikolay Mehandjiev Department of Computation, UMIST, Manchester, UK	Coordinating Distributed Work	Valentina Tamma
04 Nov 2003	Paul Dunne Department of Computer Science, University of Liverpool	Prevarication in Dispute Protocols
11 Nov 2003	Alessio Lomuscio Department of Computer Science, Kings College, London, UK	Specification and Verification of Epistemic Properties in MultiAgent Systems	Mike Wooldridge
18 Nov 2003	Christian List Department of Government, London School of Economics, UK	Distributed Cognition: A Perspective from Social Choice Theory	Peter McBurney
25 Nov 2003	Alexei Lisitsa Department of Computer Science, University of Liverpool, UK	Towards Deductive Verification in First-Order Temporal Logics
02 Dec 2003	John Campbell Department of Computer Science, University College, London, UK	Knowledge and Autonomous Agents - A Case for Cases	Rafael Bordini
09 Dec 2003	Evangelos Kranakis School of Computer Science, Carleton University Ottawa, Canada	Location Awareness and Route Discovery in Ad-Hoc Networks	Leszek Gasieniec
27 Jan 2004	Rogier van Eijk Institute of Information and Computing Sciences, Utrecht Universiteit, Utrecht, The Netherlands	Ontological Feedback in Multiagent Systems	Wiebe van der Hoek
03 Feb 2004	Wilfrid Hodges School of Mathematical Sciences, Queen Mary, University of London, UK	Problems of Scope, Analysed with or without Games	Peter McBurney, Mike Wooldridge
10 Feb 2004	Rob Hierons Department of Information Systems and Computing, Brunel University, Uxbridge, UK	The Adaptive Testing of State-Based Systems	Mike Laurence
17 Feb 2004	Paul Marrow Intelligent Systems Laboratory, BT Exact, Ipswich UK	Biology, Agents and Applications: A View of Biologically-Inspired Computing in Industry	Ray Paton, Peter McBurney
02 Mar 2004	Chris van Aart Acklin BV, Waalwijk, The Netherlands	Agent Organizations for Crisis Support Systems	Valentina Tamma
09 Mar 2004	Maarten Marx Language and Inference Technology Group, Institute for Logic, Language and Computation, Universiteit van Amsterdam The Netherlands	XPath and Modal Logics of Finite Trees	Frank Wolter
16 Mar 2004	Mary Cryan Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh, Scotland	Markov chains for Sampling Tables of Integers	Leszek Gasieniec
23 Mar 2004	Apostolos Antonacopoulos Department of Computer Science, University of Liverpool	A Complete Approach to the Conversion of Historical Document Collections into Digital Archives
25 Mar 2004	David Manlove Department of Computing Science, University of Glasgow, Scotland	Algorithms for Student-Project Allocation	Leszek Gasieniec
30 Mar 2004	Cees Witteveen Department of Technical Informatics, Delft University of Technology, Delft, The Netherlands	Coordinating Autonomous Planning Agent	Wiebe van der Hoek
15 Jun 2004	Melvin Fitting Department of Mathematics and Computer Science, Lehman College, New York City, USA	To Be Announced	Frank Wolter
15 Jun 2004	Hans van Ditmarsch Department of Computer Science, University of Otago, New Zealand	Dynamic Epistemic Logic	Wiebe van der Hoek
17 Jun 2004	Palle Dahlstedt Innovative Design, Chalmers University of Technology, Goteborg, Sweden	Generative Music	Peter McBurney
22 Jun 2004	Carsten Lutz Dresden University of Technology, Department of Computer Science, Institute for Theoretical Computer Science, Dresden, Germany	Modal Logics of Topological Relations	Frank Wolter

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