Department Seminar Series

Past Talks: 2007/08 Session

Date Speaker Title Host
02 Oct 2007
Dr Mícheál Mac an Airchinnigh

Department of Computer Science, Trinity College Dublin, Ireland 		Keyimage (Ontology & Folksonomy) G. Malcolm
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 P. Wong
16 Oct 2007
Dr Andrew Ireland

School of Mathematical and Computer Sciences, Heriot-Watt University, Edinburgh, UK 		Cooperative Reasoning for Automatic Software Verification M. Fisher
23 Oct 2007
Dr Georg Struth

Department of Computer Science, University of Sheffield, UK 		Modal Kleene Algebras: Foundations, Models, Automation U. Hustadt
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 F. Wolter
06 Nov 2007
Dr Nicolas Troquard

Department of Computer Science, University of Liverpool, UK 		Logics for group agency M. Wooldridge, W. van der Hoek
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 D. Kowalski
20 Nov 2007
Dr Anthony Hunter

Department of Computer Science, University College London, UK 		Elements of Argumentation T. Bench-Capon
27 Nov 2007
Dr Fabio Paglieri

Istituto di Scienze e Tecnologie, della Cognizione CNR, Rome, Italy 		Parsimonious enthymemes: How scant resources affect argument reconstruction F. Grasso
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 P. Doran
11 Dec 2007
Prof Stefano Leonardi

Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza", Italy 		Network Formation Games with Coalitions P. Krysta
08 Jan 2008
Dr Liz Black

Department of Engineering Science, University of Oxford, UK 		A Generative Inquiry Dialogue System T. Bench-Capon
15 Jan 2008
Prof Moshe Tennenholtz

Faculty of Industrial Engineering and Management, Technion, Haifa, Israel 		Multi-Agent Systems: The Agent Perspective P. Krysta
29 Jan 2008
Prof Michael Butler

School of Electronics and Computer Science, University of Southampton, UK 		Model construction and verification with Rodin M. Fisher
05 Feb 2008
Prof Luke Ong

Computing Laboratory, Oxford University, UK 		Verification of Infinite Structures I. Potapov
13 Feb 2008
Dr Andrei Krokhin

Department of Computer Science, University of Durhamn, UK 		TALK MOVED TO WEDNESDAY! On dualities for constraint satisfaction problems I. Potapov
19 Feb 2008
Prof Friedrich Eisenbrand

Department of Mathematics, Paderborn University, Germany 		Constrained Minkowski Sums P. Krysta
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 F. Wolter
04 Mar 2008
Dr Geoff Hamilton

School of Computing, Dublin City University, Ireland 		Distillation: Extracting the Essence of Programs A. Lisitsa
11 Mar 2008
Dr Alex Rogers

School of Electronics & Computer Science, University of Southampton, UK 		Discrete Bid Auctions P. McBurney
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 J. Ruan
15 Apr 2008
Ms Rokia Bendaoud

LORIA-INRIA, Nancy, France 		Ontology Building and Enrichment from Text Corpora: Applying Formal Concept Analysis to Semantic Web I. Palmisano
22 Apr 2008
Prof Dieter Spreen

Institute of Theoretical Computer Science, University of Siegen, Germany 		Effectivity and effective continuity of multifunctions V. Sazonov
29 Apr 2008
Dr Irina V. Biktasheva

Department of Computer Science, University of Liverpool, UK 		Wave-Particle dualism of spiral waves' dynamics
23 Jun 2008
Dr Alexander Souza

Department of Computer Science, Freiburg University, Germany 		On Adequate Performance Measures for Paging P. Briest

Older Seminars
ordered by Academic Year


Other seminar series