Department Seminar Series

Past Talks: 2011/12 Session

Date Speaker Title Host
04 Oct 2011 Dr. Mehdi Dastani
Intelligent Systems Group
Utrecht University
NL 		Multi-Agent Programs and their Logics Ali Bojarpour
11 Oct 2011 Prof. Kenton Morgan
Dept Musculoskeletal Biology
Institute of Ageing and Chronic Diseases
University of Liverpool
UK 		Chicken and Chips: How Chickens can Benefit from Machine Learning Clare Dixon
18 Oct 2011 Dr. Bernardo Cuenca Grau
Department of Computer Science
University of Oxford
UK 		Completeness Guarantees for Incomplete Ontology Reasoners: Theory and Practice Frank Wolter
25 Oct 2011 Dr. Barteld Kooi
Department of Philosophy
University of Groningen
NL 		Many-valued Logic and Modal Logic Wiebe van der Hoek
08 Nov 2011
Levan Uridia

Universidad Rey Juan Carlos Madrid
Spain 		Minimising Belief of KSD-Agent Wiebe van der Hoek
15 Nov 2011 Prof. Elias Koutsoupias
Department of Computer Science
University of Athens
Greece 		Beyond Myopic Best Response (in Cournot Competition) Giorgios Christodoulou
22 Nov 2011
Dr. Alexander Skopalik

Department of Computer Science
TU Dortmund
Germany 		Efficient computation of approximate pure Nash equilibria in congestion games Martin Gairing
29 Nov 2011 Prof. Krzysztof Apt
CWI and University of Amsterdam
NL 		Diffusion in Social Networks with Competing Products Piotr Krysta
06 Dec 2011 Prof. Gregory Gutin
Department of Computer Science
Royal Holloway University London
UK 		Parameterized Complexity of MaxLin2 and MaxSat Above Average [leszek]
13 Dec 2011
Dr. Jamie King

Department of Physics
University of Oxford
UK 		Generating k-Facets by Induction on the Dimension Rahul Savani
14 Dec 2011 Ben Moszkowski
Software Technology Research Laboratory
De Montfort University
Leicester
UK 		Compositional Reasoning using Intervals and Time Reversal Sven Schewe
07 Feb 2012 Dr. Brian Logan
School of Computer Science
University of Nottingham
UK 		Programming Norm-Aware Agents Ali Bojarpour
14 Feb 2012
Dr. Francesco Belardinelli

Department of Computing
Imperial College London
UK 		Verification of Data-aware Systems: Abstraction Techniques and Decidability Results Davide Grossi
21 Feb 2012 Prof. Bernhard von Stengel
Department of Mathematics
London School of Economics
UK 		Nash Codes for Noisy Channels Rahul Savani
28 Feb 2012 Prof. Rajeev Raman
Department of Computer Science
University of Leicester
UK 		The Myriad Virtues of Succinct Data Structures [leszek]
20 Mar 2012 Prof. Simon Parsons
Department of Computer and Information Science
Brooklyn College
City University of New York 		Interaction in Socio-Technical Systems Wiebe van der Hoek
27 Mar 2012 Dr. Nathalie Bertrand
INRIA Rennes Bretagne-Atlantique
France 		Determinizing timed automata Sven Schewe
17 Apr 2012 Prof. Benedikt Loewe
Institute for Logic, Language and Computation
University of Amsterdam
NL 		Modal logics of forcing classes Davide Grossi
24 Apr 2012 Dr. Mehrnoosh Sadrzadeh
Dept of Computer Science
University of Oxford
UK 		Automated Theorem Proving for a Fragment of Dynamic Epistemic Logic with Public and Private Announcements Davide Grossi
01 May 2012 Dr. Philippe Schnoebelen
LSV, CNRS & ENS
CACHAN Cedex
France
This year: visiting Oxford Univ. Comp. Sci. Dept. 		The Regular Post Embedding Problem, with applications to lossy channel systems Sven Schewe
08 May 2012 Dr. Catherine Greenhill
School of Mathematics and Statistics
University of New South Wales
Sydney, AUSTRALIA 		Making Markov chains less lazy Leslie Goldberg
15 May 2012 Prof. Neil Lawrence
Department of Computer Science
University of Sheffield
UK 		Latent Force Models: Bridging the Divide between Mechanistic and Data Modelling Paradigms Wiebe van der Hoek
17 May 2012 Yonatan Goldhirsh
Department of Computer Science
Technion, Israel 		Testing forbidden topological subtrees [leszek]
22 May 2012 Prof. Stefan Decker
Digital Enterprise Research Institute (DERI)
National University of Ireland, Galway 		Using Data from to the Web to observe communities and the Evolution of Science Wiebe van der Hoek
28 May 2012
LDCSL 		Professor Michael Wellman
University of Michigan 		Empirical Game-Theoretic Analysis for Canonical Auction Games Prof. Michael Wooldridge
29 May 2012 Dr. David Parker
School of Computer Science
University of Birmingham 		Automatic Verification of Competitive Stochastic Systems Dominik Wojtczak
30 May 2012 Prof. R. Ramanujam
Institute of Mathematical Sciences
Chennai
India 		Individual rationality and societal rationality Wiebe van der Hoek
12 Jun 2012 Maryam Ghaffari Saadat
Department of Computer Science
The Graduate Center,
The City University of New York,
USA 		A Multi-disciplinary Formal Approach to Mechanism Design for Peer Governance of Social Systems Wiebe van der Hoek
11 Jul 2012 Timo Stripf
Karlsruhe Institute of Technology 		ALMA Project [acollins]
21 Aug 2012 Prof. Elizabeth Sklar
Department of Computer and Information Science
Brooklyn College
City University of New York
USA 		Human Interaction with Autonomous Systems Wiebe van der Hoek

Older Seminars
ordered by Academic Year


Other seminar series