Overview of all talks

Past Talks: 2004/05 Session

Date	Speaker	Title	Series
28 Sep 2004	Robert Elsaesser University of Paderborn, Germany	Agent-Based Information Handling in Large Networks	dept
02 Oct 2004	S. Muthu Muthukrishnan Department of Computer Science, Rutgers University, New Jersey, USA	Nonuniform Sparse Approximation via Haar Wavelets	dept
05 Oct 2004	Andrey Bovykin Laboratory of Mathematical Logic, Steklov Mathematical Institute, St. Petersburg, Russia, and Department of Computer Science, University of Liverpool, UK	Unprovable Arithmetical Statements	dept
09 Oct 2004	Ulle Endriss Department of Computing, Imperial College, London, UK	Negotiating Socially Optimal Allocations of Resources	dept
12 Oct 2004	Andy King Computing Laboratory University of Kent, Canterbury, UK	Debugging Concurrent (Logic) Programs with Abstract Interpretation	dept
19 Oct 2004	Prudence Wong Department of Computer Science, University of Liverpool, UK	Combinatorial Problems in Whole Genome Alignment	dept
26 Oct 2004	Valentin Goranko Department of Mathematics, Rand Afrikaans University, Johannesburg, RSA	Models and Logics for Strategic Abilities in Multi-Agent Systems	dept
23 Nov 2004	Mike Laurence Department of Computer Science, University of Liverpool, UK	A Hierarchy of Contract Negotiation Problems for Graphs	dept
30 Nov 2004	Jane Hillston School of Computer Science, Division of Informatics, University of Edinburgh, UK	Compositional Performance Modelling Using PEPA	dept
25 Jan 2005 [Cancelled]	Terry Payne Department of Electronics and Computer Science, University of Southampton	CANCELLED	dept
01 Feb 2005	Jean-Louis Giavitto	Space in Computation and Computation in Space	dept
08 Feb 2005 [Cancelled]	Xin Yao School of Computer Science, University of Birmingham, UK	CANCELLED	dept
08 Feb 2005	John Lloyd Computer Sciences Laboratory, Research School of Information Sciences and Engineering, Australian National University, Canberra, Australia	Handling Uncertainty for Adaptive Logical Agents	dept
15 Feb 2005	Iain Stalker School of Informatics, University of Manchester, UK	Devolved Ontologies for Evolving Domains and Multiple Contexts	dept
22 Feb 2005	Daniela Romano Department of Computer Science, University of Sheffield, UK	Realism and Presence, where is the connection?	dept
01 Mar 2005	Marta Kwiatkowska School of Computer Science, University of Birmingham, UK	Modelling and verification of probabilistic systems	dept
08 Mar 2005	Erik de Vink Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, The Netherlands	A privacy analysis of the FOO voting scheme	dept
15 Mar 2005	John-Jules Meyer Institute of Information and Computing Science, Universiteit Utrecht, The Netherlands	LORA's Emotional Little Sister LEA: a Logic of Emotional Agents	dept
12 Apr 2005	Sylvie Doutre Department of Computer Science, University of Liverpool, UK	On the development of argument positions	dept
19 Apr 2005	Raphael Clifford Department of Computer Science, King's College, London, UK	Scheduling Algorithms for Procrastinators	dept
26 Apr 2005	Barteld Kooi Faculty of Philosophy, University of Groningen, The Netherlands	Expressivity of Update Logics	dept
03 May 2005	Paolo Ballarini Department of Computer Science, University of Liverpool, Liverpool, UK	Towards compositional CSL model-checking	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]