Department Seminar Series
Past Talks: 2009/10 Session
Date | Speaker | Title | Host |
---|---|---|---|
01 Nov 2009 |
Prof Pierre Fraigniaud |
Navigation in the Network of Individual Acquaintances | L. Gasieniec |
03 Nov 2009 |
Dr Angelina Vidali Max Planck Institute for Computer Science, Saarbruecken, Germany |
Designing Mechanisms for Scheduling | P. Krysta |
06 Nov 2009 |
Dr Richard Goldstein Department of Mathematical Biology, National Institute for Medical Research, London, UK |
The history of the 1918 Spanish Flu epidemic | L. Gasieniec |
09 Nov 2009 |
Dr Ji Ruan St. Francis Xavier University, Antigonish, NS, Canada |
Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems | W. van der Hoek |
10 Nov 2009 |
Prof Petra Berenbrink School of Computing Science, Simon Fraser University, Canada |
Speeding up random walks with neighborhood exploration | L. Gasieniec |
12 Nov 2009 |
Prof Cees Witteveen Faculty of Engineering, Mathematics and Computer Science, Delft University of Technology, The Netherlands |
Decoupling in constraint systems | W. van der Hoek |
13 Nov 2009 |
Dr Mariusz Rokicki Department of Computer Science, University of Liverpool, UK |
Complexity of broadcast in a single-hop radio networks | D. Kowalski |
15 Nov 2009 |
Dr Zinovi Rabinovich School of Electronics and Computer Science, University of Southampton, UK |
Continuum of Anonymous Players: Best Response and Equilibrium through Fictitious Play | T. Payne |
17 Nov 2009 |
Prof Peter O'Hearn Department of Computer Science, Queen Mary, University of London, UK |
From Substructural Logic to Systems Code | M. Wooldridge |
20 Nov 2009 |
Dr Sanjay Modgil Department of Computer Science, King's College, London, UK |
Extending Argumentation Theory | T. Bench-Capon |
24 Nov 2009 |
Prof David Pearce |
60 years of stable model semantics | D. Walther |
30 Nov 2009 |
Dr Toby Walsh School of Computer Science and Engineering, University of New South Wales, Australia |
Where are the hard manipulation problems for STV elections? | M. Wooldridge |
02 Feb 2010 |
Prof Henry Prakken Department of Information and Computing Sciences, Universiteit Utrecht, The Netherlands |
An abstract framework for argumentation with structured arguments | T. Bench-Capon |
09 Feb 2010 |
Prof Ross King Department of Computer Science, University of Wales, Aberystwyth, UK |
Automating Science | I. Biktasheva |
16 Feb 2010 |
Dr Tomasz Michalak School of Electronics and Computer Science, University of Southampton, UK |
Computational Aspects of Extending the Shapley Value to Coalitional Games with Externalitie | P. Krysta |
24 Feb 2010 |
Dr Norman Salazar-Ramirez Spanish National AI Institute (IIIA), Barcelona, Spain |
Robust Coordination through Spreading Mechanisms | P. McBurney |
02 Mar 2010 |
Various speakers |
Mini-Workshop on Computational Game Theory | |
02 Mar 2010 |
Prof Paul Goldberg Department of Computer Science, University of Liverpool, UK |
Inaugural Lecture: Computational Game Theory | |
09 Mar 2010 |
Prof Michael Harrison School of Computing Science, Newcastle University, UK |
Modelling interactive experience, function and performance in ubiquitous systems | M. Fisher |
16 Mar 2010 |
Prof Thomas Eiter Institute of Information Systems, Vienna University of Technology, Austria |
Nonmonotonic Multi-Context Systems: Recent Developments | M. Wooldridge |
18 Mar 2010 LDCSL |
Professor Moshe Y. Vardi Rice University |
From Philosophical to Industrial Logic | Prof. Frank Wolter |
30 Mar 2010 |
Prof Francis Y. L. Chin Department of Computer Science, University of Hong Kong, Hong Kong |
Conserved Patterns in Bioinformatics | P. Wong |
20 Apr 2010 |
Dr Mary Cryan School of Informatics, University of Edinburgh, UK |
An easy case for counting Euler tours | R. Martin |
20 Jul 2010 |
Prof Michael Mitzenmacher School of Engineering & Applied Sciences, Harvard University, USA |
Information Asymmetries in Pay-Per-Bid Auctions: How Swoopo Makes Bank | L.A. Goldberg |
03 Aug 2010 |
Mr Alexander Skopalik Department of Computer Science, RWTH Aachen University, Germany |
Altruism in Atomic Congestion Games | R. Savani |
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