Overview of all talks

Past Talks: 2003/04 Session

Date	Speaker	Title	Series
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	dept
07 Oct 2003	Karl Tuyls Computational Modeling Laboratory, Vrije Universiteit, Brussels, Belgium	Learning in MAS: An Evolutionary Game Theoretic Approach	dept
14 Oct 2003	Tim Norman Department of Computing Science, University of Aberdeen, UK	Adaptive Brokering in Agent-Mediated Electronic Commerce	dept
21 Oct 2003	Julian Padget Department of Computer Science, University of Bath, UK	Agents, Institutions and Organizations ...towards HarmonIA	dept
28 Oct 2003	Nikolay Mehandjiev Department of Computation, UMIST, Manchester, UK	Coordinating Distributed Work	dept
04 Nov 2003	Paul Dunne Department of Computer Science, University of Liverpool	Prevarication in Dispute Protocols	dept
11 Nov 2003	Alessio Lomuscio Department of Computer Science, Kings College, London, UK	Specification and Verification of Epistemic Properties in MultiAgent Systems	dept
18 Nov 2003	Christian List Department of Government, London School of Economics, UK	Distributed Cognition: A Perspective from Social Choice Theory	dept
25 Nov 2003	Alexei Lisitsa Department of Computer Science, University of Liverpool, UK	Towards Deductive Verification in First-Order Temporal Logics	dept
02 Dec 2003	John Campbell Department of Computer Science, University College, London, UK	Knowledge and Autonomous Agents - A Case for Cases	dept
09 Dec 2003	Evangelos Kranakis School of Computer Science, Carleton University Ottawa, Canada	Location Awareness and Route Discovery in Ad-Hoc Networks	dept
27 Jan 2004	Rogier van Eijk Institute of Information and Computing Sciences, Utrecht Universiteit, Utrecht, The Netherlands	Ontological Feedback in Multiagent Systems	dept
03 Feb 2004	Wilfrid Hodges School of Mathematical Sciences, Queen Mary, University of London, UK	Problems of Scope, Analysed with or without Games	dept
10 Feb 2004	Rob Hierons Department of Information Systems and Computing, Brunel University, Uxbridge, UK	The Adaptive Testing of State-Based Systems	dept
17 Feb 2004	Paul Marrow Intelligent Systems Laboratory, BT Exact, Ipswich UK	Biology, Agents and Applications: A View of Biologically-Inspired Computing in Industry	dept
02 Mar 2004	Chris van Aart Acklin BV, Waalwijk, The Netherlands	Agent Organizations for Crisis Support Systems	dept
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	dept
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	dept
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	dept
25 Mar 2004	David Manlove Department of Computing Science, University of Glasgow, Scotland	Algorithms for Student-Project Allocation	dept
30 Mar 2004	Cees Witteveen Department of Technical Informatics, Delft University of Technology, Delft, The Netherlands	Coordinating Autonomous Planning Agent	dept
15 Jun 2004	Melvin Fitting Department of Mathematics and Computer Science, Lehman College, New York City, USA	To Be Announced	dept
15 Jun 2004	Hans van Ditmarsch Department of Computer Science, University of Otago, New Zealand	Dynamic Epistemic Logic	dept
17 Jun 2004	Palle Dahlstedt Innovative Design, Chalmers University of Technology, Goteborg, Sweden	Generative Music	dept
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	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]