|
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 |
|
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 |
|
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 |
|
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 |
|
17 Apr 2012 |
Prof. Benedikt Loewe
Institute for Logic, Language and Computation
University of Amsterdam
NL |
Modal logics of forcing classes
|
Davide Grossi |
|
27 Mar 2012 |
Dr. Nathalie Bertrand
INRIA Rennes Bretagne-Atlantique
France |
Determinizing timed automata
|
Sven Schewe |
|
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 |
|
28 Feb 2012 |
Prof. Rajeev Raman
Department of Computer Science
University of Leicester
UK |
The Myriad Virtues of Succinct Data Structures
|
Leszek Gasieniec |
|
21 Feb 2012 |
Prof. Bernhard von Stengel
Department of Mathematics
London School of Economics
UK |
Nash Codes for Noisy Channels
|
Rahul Savani |
|
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 |
|
07 Feb 2012 |
Dr. Brian Logan
School of Computer Science
University of Nottingham
UK |
Programming Norm-Aware Agents
|
Ali Bojarpour |
|
14 Dec 2011 |
Ben Moszkowski
Software Technology Research Laboratory
De Montfort University
Leicester
UK |
Compositional Reasoning using Intervals and Time Reversal
|
Sven Schewe |
|
13 Dec 2011 |
Dr. Jamie King
Department of Physics
University of Oxford
UK |
Generating k-Facets by Induction on the Dimension
|
Rahul Savani |
|
06 Dec 2011 |
Prof. Gregory Gutin
Department of Computer Science
Royal Holloway University London
UK |
Parameterized Complexity of MaxLin2 and MaxSat Above Average
|
Leszek Gasieniec |
|
29 Nov 2011 |
Prof. Krzysztof Apt
CWI and University of Amsterdam
NL |
Diffusion in Social Networks with Competing Products
|
Piotr Krysta |
|
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 |
|
15 Nov 2011 |
Prof. Elias Koutsoupias
Department of Computer Science
University of Athens
Greece |
Beyond Myopic Best Response (in Cournot Competition)
|
Giorgios Christodoulou |
|
08 Nov 2011 |
Levan Uridia
Universidad Rey Juan Carlos Madrid
Spain |
Minimising Belief of KSD-Agent
|
Wiebe van der Hoek |
|
25 Oct 2011 |
Dr. Barteld Kooi
Department of Philosophy
University of Groningen
NL |
Many-valued Logic and Modal Logic
|
Wiebe van der Hoek |
|
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 |
|
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 |
|
04 Oct 2011 |
Dr. Mehdi Dastani
Intelligent Systems Group
Utrecht University
NL |
Multi-Agent Programs and their Logics
|
Ali Bojarpour |
