Overview of all talks

Past Talks: 2007/08 Session

Date	Speaker	Title	Series
02 Oct 2007	Dr Mícheál Mac an Airchinnigh Department of Computer Science, Trinity College Dublin, Ireland	Keyimage (Ontology & Folksonomy)	dept
09 Oct 2007	Dr Paul Sant Department of Computing and Information Systems, University of Bedfordshire, UK	New approaches and combinatorial results for Colouring Pairs of Binary Trees	dept
16 Oct 2007	Dr Andrew Ireland School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK	Cooperative Reasoning for Automatic Software Verification	dept
23 Oct 2007	Dr Georg Struth Department of Computer Science, University of Sheffield, UK	Modal Kleene Algebras: Foundations, Models, Automation	dept
30 Oct 2007 [Cancelled]	Prof Philippe Balbiani Institut de Recherche en Informatique de Toulouse, Toulouse, France	TALK CANCELLED ! Composition of interactive Web services based on controller synthesis and modal logic	dept
06 Nov 2007	Dr Nicolas Troquard Department of Computer Science, University of Liverpool, UK	Logics for group agency	dept
13 Nov 2007	Dr Seth Gilbert School of Computer and Communication Sciences, Ecole Polytechnique Federale de Lausanne, Switzerland	Virtual Infrastructure for Wireless Ad Hoc Networks	dept
20 Nov 2007	Dr Anthony Hunter Department of Computer Science, University College London, UK	Elements of Argumentation	dept
27 Nov 2007	Dr Fabio Paglieri Istituto di Scienze e Tecnologie, della Cognizione CNR, Rome, Italy	Parsimonious enthymemes: How scant resources affect argument reconstruction	dept
04 Dec 2007	Dr Mathieu Daquin Knowledge Media Institute, The Open University of Milton Keynes, UK	New trends in ontology engineering: from modularization to large-scale knowledge reuse	dept
11 Dec 2007	Prof Stefano Leonardi Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", Italy	Network Formation Games with Coalitions	dept
08 Jan 2008	Dr Liz Black Department of Engineering Science, University of Oxford, UK	A Generative Inquiry Dialogue System	dept
15 Jan 2008	Prof Moshe Tennenholtz Faculty of Industrial Engineering and Management, Technion, Haifa, Israel	Multi-Agent Systems: The Agent Perspective	dept
29 Jan 2008	Prof Michael Butler School of Electronics and Computer Science, University of Southampton, UK	Model construction and verification with Rodin	dept
05 Feb 2008	Prof Luke Ong Computing Laboratory, Oxford University, UK	Verification of Infinite Structures	dept
13 Feb 2008	Dr Andrei Krokhin Department of Computer Science, University of Durhamn, UK	TALK MOVED TO WEDNESDAY! On dualities for constraint satisfaction problems	dept
19 Feb 2008	Prof Friedrich Eisenbrand Department of Mathematics, Paderborn University, Germany	Constrained Minkowski Sums	dept
26 Feb 2008	Prof Philippe Balbiani Institut de Recherche en Informatique de Toulouse, Toulouse, France	Composition of interactive Web services based on controller synthesis and modal logic	dept
04 Mar 2008	Dr Geoff Hamilton School of Computing, Dublin City University, Ireland	Distillation: Extracting the Essence of Programs	dept
11 Mar 2008	Dr Alex Rogers School of Electronics & Computer Science, University of Southampton, UK	Discrete Bid Auctions	dept
18 Mar 2008	Prof Jan Van Eijck Centrum voor Wiskunde en Informatica (CWI), Amsterdam, The Netherlands	PDL as a Logic of Knowledge Update and Belief Revision	dept
15 Apr 2008	Ms Rokia Bendaoud LORIA-INRIA, Nancy, France	Ontology Building and Enrichment from Text Corpora: Applying Formal Concept Analysis to Semantic Web	dept
22 Apr 2008	Prof Dieter Spreen Institute of Theoretical Computer Science, University of Siegen, Germany	Effectivity and effective continuity of multifunctions	dept
29 Apr 2008	Dr Irina V. Biktasheva Department of Computer Science, University of Liverpool, UK	Wave-Particle dualism of spiral waves' dynamics	dept
23 Jun 2008	Dr Alexander Souza Department of Computer Science, Freiburg University, Germany	On Adequate Performance Measures for Paging	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]