School Seminar Series

Past Talks: 2012/13 Session

Date Speaker Title Host
02 Oct 2012 Prof. Chris Reed
School of Computing
University of Dundee
Schottland 		Inference Anchoring Theory [tbc]
09 Oct 2012 Prof Joel Ouaknine
Department of Computer Science
University of Oxford
UK 		A Survey of Classical and Real-Time Verification [igor]
23 Oct 2012 Prof. Miroslaw Kutylowski
Institute of Mathematics and Computer Science
Wroclaw University of Technology
Poland 		Extreme Propagation in Ad-hoc Radio Networks [piotr]
25 Oct 2012 Prof. Hans van Ditmarsch
Dept. of Logic
University of Sevilla
Spain 		Refinement modal logic [wiebe]
30 Oct 2012 Ruediger Ehlers
Dept of Electrical Engineering and Computer Sciences
UC Berkeley
USA 		Synthesis of/for robust systems [sven]
06 Nov 2012 Dr. Markus Jalsenius
Department of Computer Science
University of Bristol
UK 		Lower Bounds for Streaming Problems [martin]
13 Nov 2012 Prof. Rajagopal Nagarajan
School of Science and Technology
Middlesex University London 		Formal Methods for Quantum Information Science [rahul]
27 Nov 2012 Prof. Petra Berenbrink
School of Computing Science
Simon Fraser University
Canada 		On Diffusion and Selfish Load Balancing [darek]
29 Nov 2012 Dr. Steffen Grünewälder
Computational Statistics and Machine Learning
University College London 		RKHS Methods for Control and Time Series Analysis [frans]
03 Dec 2012 Prof. Paul Spirakis
Department of Computer Engineering & Informatics
University of Patras
and CTI Patras
Greece 		Computing Equilibria in Games and Populations [darek]
04 Dec 2012 Dr. Elena Cabrio and Dr. Serena Villata
INRIA
Sophia Antipolis
France 		Natural Language Arguments: Results and Challenges [floriana]
11 Dec 2012 Prof. Leon van der Torre
Individual and Collective Reasoning Group
University of Luxembourg 		Abstract Normative Systems [marija]
13 Dec 2012 Dr. Rob van Stee
Algorithms and Complexity
MPII Saarbruecken
Germany 		Truthful scheduling [gairing]
10 Jan 2013 Dr. Christopher Thraves Caro
Rey Juan Carlos University,
Madrid
Spain 		Signed graph embedding, when everybody can sit closer to friends than enemies [darek]
22 Jan 2013 Dr. Dimitris Fotakis
Division of Computer Science
NTUA Athens
Greece 		Approximate Strategyproof Mechanisms for Facility Location Games [piotr]
05 Feb 2013 Prof. Sonja Smets
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
NL 		Evidence-Based Belief Revision, a Logical Analysis [dgrossi]
07 Feb 2013 Dr. Tomoyuki Yamakami
Department of Information Science
University of Fukui
Japan 		A Quantum Public-Key Cryptosystem - with a Brief Introduction to Quantum Computation [leslie]
12 Feb 2013 Prof. Maxim Sviridenko
Department of Computer Science
University of Warwick
UK 		New Approximation Algorithms for the Minimimum Set Cover and Other Covering Problems [piotr]
26 Feb 2013 Dr George Mertzios
School of Engineering and Computing Sciences
Durham University 		Evolutionary Dynamics in Undirected Networks [pwong]
05 Mar 2013 Dr. Max Klimm
Institute for Mathematics
TU Berlin
Germany 		Competition for Resources: The Existence of Equilibria in Weighted Congestion Games [gairing]
19 Mar 2013 Dr. Markus Kroetzsch
Department of Computer Science
University of Oxford
UK 		Existential Rules: A Common Ground for Ontologies and Databases [konev]
26 Mar 2013 Dr. Vitaliy Kurlin
Department of Mathematical Sciences,
Durham University 		Reconstructing persistent graph structures from noisy images [igor]
02 Apr 2013 Prof. Tobias Harks
Department of Quantitative Economics
Maastricht University
The Netherlands 		Computing Network Tolls with Support Constraints [gairing]
16 Apr 2013 Phil Jimmieson
Computer Science Department
University of Liverpool 		In my shoes [phil]
23 Apr 2013 Prof. Vittorio Loreto
Physics Department, Sapienza University of Rome
and ISI Foundation, Turin
Italy 		Consensus dynamics in social systems [floriana]
29 Apr 2013 Prof. Karl Tuyls
Department Of Knowledge Engineering
Maastricht University
The Netherlands 		Bio-Inspired Autonomous Systems [leszek]
30 Apr 2013 Dr. Sanjay Modgil
Agents and Intelligent Systems Group
King's College London 		Argumentation, non-monotonic reasoning and classical logic [dgrossi]
01 May 2013 Prof. Ferdinando Cicalese
Dipartimento di Informatica
Universita' degli Studi di Salerno
Italy 		Combinatorial Search and Decision Trees [leszek]
14 May 2013 Dr. Darek Kowalski
Computer Science Department
University of Liverpool 		Communication and Computing in Dynamic Ad Hoc Systems [leszek]
20 May 2013 Prof. Ely Porat
Department of Computer Science
Bar-Ilan University
Israel

and
Department of Mathematics
University of Michigan
USA 		Group testing and algorithmic applications [leszek]
21 May 2013 Dr. Behzad Bordbar
School of computer Science
University of Birmingham
UK 		Dynamic defence in the Cloud via Introspection [alexei]
22 May 2013 Dr. Piotr Krysta
Computer Science Department
University of Liverpool 		Algorithmic Mechanism Design [leszek]
28 May 2013 Prof. Christos Zaroliagis
Department of Computer Engineering & Informatics
University of Patras
Greece 		Algorithms for Transport Optimizaton - Theory & Practice [leszek]
18 Jun 2013 Dr Gregory Chockler
Department of Computer Science
Royal Holloway
University of London 		Consistency and Complexity Tradeoffs for Highly-Available Multi-Cloud Store [darek]
27 Jun 2013
Dr. Danushka Bollegala

Dept. of Information and Communication Engineering
The University of Tokyo
Japan 		Domain Adaptation of Sentiment Classifiers [wiebe]
28 Jun 2013 Dr. Shan He
School of Computer Science
University of Birmingham 		Disease module identification - algorithms and application to glioma [leszek]

Older Seminars
ordered by Academic Year


Other seminar series