Department Seminar Series
Past Talks: 2004/05 Session
Date | Speaker | Title | Host |
---|---|---|---|
28 Sep 2004 |
Robert Elsaesser University of Paderborn, Germany |
Agent-Based Information Handling in Large Networks | Leszek Gasieniec |
02 Oct 2004 |
S. Muthu Muthukrishnan Department of Computer Science, Rutgers University, New Jersey, USA |
Nonuniform Sparse Approximation via Haar Wavelets | Leszek Gasieniec |
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 | Clare Dixon |
09 Oct 2004 |
Ulle Endriss Department of Computing, Imperial College, London, UK |
Negotiating Socially Optimal Allocations of Resources | Paul Dunne |
12 Oct 2004 |
Andy King Computing Laboratory University of Kent, Canterbury, UK |
Debugging Concurrent (Logic) Programs with Abstract Interpretation | Michael Fisher |
19 Oct 2004 |
Prudence Wong Department of Computer Science, University of Liverpool, UK |
Combinatorial Problems in Whole Genome Alignment | |
26 Oct 2004 |
Valentin Goranko Department of Mathematics, Rand Afrikaans University, Johannesburg, RSA |
Models and Logics for Strategic Abilities in Multi-Agent Systems | Wiebe van der Hoek |
23 Nov 2004 |
Mike Laurence Department of Computer Science, University of Liverpool, UK |
A Hierarchy of Contract Negotiation Problems for Graphs | |
30 Nov 2004 |
Jane Hillston School of Computer Science, Division of Informatics, University of Edinburgh, UK |
Compositional Performance Modelling Using PEPA | Michael Fisher |
25 Jan 2005 [Cancelled] |
Terry Payne Department of Electronics and Computer Science, University of Southampton |
CANCELLED | Valentina Tamma |
01 Feb 2005 |
Jean-Louis Giavitto |
Space in Computation and Computation in Space | Grant Malcolm |
08 Feb 2005 [Cancelled] |
Xin Yao School of Computer Science, University of Birmingham, UK |
CANCELLED | Michael Wooldridge |
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 | Agent ART seminar |
15 Feb 2005 |
Iain Stalker School of Informatics, University of Manchester, UK |
Devolved Ontologies for Evolving Domains and Multiple Contexts | Peter McBurney |
22 Feb 2005 |
Daniela Romano Department of Computer Science, University of Sheffield, UK |
Realism and Presence, where is the connection? | Floriana Grasso |
01 Mar 2005 |
Marta Kwiatkowska School of Computer Science, University of Birmingham, UK |
Modelling and verification of probabilistic systems | Michael Fisher |
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 | Wiebe van der Hoek |
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 | Wiebe van der Hoek |
12 Apr 2005 |
Sylvie Doutre Department of Computer Science, University of Liverpool, UK |
On the development of argument positions | |
19 Apr 2005 |
Raphael Clifford Department of Computer Science, King's College, London, UK |
Scheduling Algorithms for Procrastinators | Paul Sant |
26 Apr 2005 |
Barteld Kooi Faculty of Philosophy, University of Groningen, The Netherlands |
Expressivity of Update Logics | Wiebe van der Hoek |
03 May 2005 |
Paolo Ballarini Department of Computer Science, University of Liverpool, Liverpool, UK |
Towards compositional CSL model-checking |
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
Maintained by Othon Michail