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


Other seminar series