Department Seminar Series

Past Talks: 2005/06 Session

Date Speaker Title Host
04 Oct 2005
Dr. John Domingue

Knowledge Media Institute, The Open University, UK
Semantic Web Services, WSMO and IRS-III V. Tamma
11 Oct 2005
Prof. Rick Thomas

Department of Computer Science, University of Leicester, UK
Computation in algebraic structures I. Potapov
18 Oct 2005
Dr. Hykel Hosni

School of Mathematics, University of Manchester, UK
Rational coordination without communication P. McBurney, W. van der Hoek
01 Nov 2005
Dr. Peter Postl

Department of Economics, University of Birmingham, UK
Mechanism Design, Analytical Problems and Computational Solutions: The example of arbitration. P. McBurney
08 Nov 2005
Dr. Gabriella Pigozzi

Department of Computer Science, King's College London, UK
Paradoxes of aggregation and belief merging: the discursive dilemma and the Ostrogorski paradoxd W. van der Hoek
15 Nov 2005
Dr. Jeff Pan

Department of Computer Science, University of Aberdeen, UK
Description Logics and Semantic Web Language Extensions V. Tamma
22 Nov 2005
Prof. Andreas Weiermann

Department of Mathematics, University of Utrecht, The Netherlands
Phase transitions in logic and combinatorics A. Bovykin
29 Nov 2005
Dr. Richard Clayton

Department of Computer Science, University of Sheffield, UK
Progress and challenges in computational systems biology I. Biktasheva
06 Dec 2005
Prof. Fabio Ciravegna

Department of Computer Science, University of Sheffield, UK
Semantic Web Technologies for Knowledge Acquisition, Reuse and Sharing V. Tamma
13 Dec 2005
Dr. Thomas Ågotnes

Department of Informatics, University of Bergen, Norway
Some logics of finite sets W. van der Hoek
31 Jan 2006
Sean Bechhofer

School of Computer Science, University of Manchester, UK
Semantic Web: Marvel or Marketing? V. Tamma
09 Feb 2006
Dr. Elias Thysse

Language and information science, Faculty of Arts, University of Tilburg, The Netherlands
Advances in awareness logic W. van der Hoek
14 Feb 2006
Dr. Thomas Erlebach

Department of Computer Science, University of Leicester, UK
Network Discovery and Verification A. Fishkin, L. Gasieniec
21 Feb 2006
Dr. Carles Sierra

Artificial Intelligence Research Institute - IIIA, Spanish Research Council - CSIC, Spain
Trust, Honour, and Commitments M. Wooldridge
28 Feb 2006
Prof. Hans Rott

Department of Philosophy, University of Regensburg, Germany
Is the very idea of belief revision paradoxical? W. van der Hoek
07 Mar 2006
[Cancelled]
Dr. Richard Benjamins

iSOCO, Madrid, Spain
Semantic Web: from Research to Development to Deployment [Seminar cancelled] V. Tamma
14 Mar 2006
Dr. Juan A. Rodriguez-Aguilar

Artificial Intelligence Research Institute - IIIA, Spanish Research Council - CSIC, Spain
Engineering Open Systems via Electronic Institutions M. Wooldridge
21 Mar 2006
Dr. Jerome Lang

Institut de Recherche en Informatique de Toulouse (IRIT), France
Sequential decomposability in combinatorial vote W. van der Hoek
28 Mar 2006
Dr. Jan Broersen

Department of Information and Computing Sciences, University of Utrecht, The Netherlands
Temporal deontic logic as a reduction to ATL. W. van der Hoek
04 Apr 2006
Prof. Sunil Vadera

Informatics Research Institute, University of Salford, UK
Learning Exemplars using Family Resemblance and Bayesian Networks F. Coenen
25 Apr 2006
Dr. Graham Steel

School of Informatics, University of Edinburgh, UK
Formal Analysis of Security APIs M. Fisher

Older Seminars
ordered by Academic Year



Other seminar series