Department 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 Trevor Bench-Capon
09 Oct 2012 Prof Joel Ouaknine
Department of Computer Science
University of Oxford
UK 		A Survey of Classical and Real-Time Verification Igor Potapov
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 Krysta
25 Oct 2012 Prof. Hans van Ditmarsch
Dept. of Logic
University of Sevilla
Spain 		Refinement modal logic Wiebe van der Hoek
30 Oct 2012 Ruediger Ehlers
Dept of Electrical Engineering and Computer Sciences
UC Berkeley
USA 		Synthesis of/for robust systems Sven Schewe
06 Nov 2012 Dr. Markus Jalsenius
Department of Computer Science
University of Bristol
UK 		Lower Bounds for Streaming Problems Russell Martin
13 Nov 2012 Prof. Rajagopal Nagarajan
School of Science and Technology
Middlesex University London 		Formal Methods for Quantum Information Science Rahul Savani
27 Nov 2012 Prof. Petra Berenbrink
School of Computing Science
Simon Fraser University
Canada 		On Diffusion and Selfish Load Balancing Darek Kowalski
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 Coenen
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 Kowalski
04 Dec 2012 Dr. Elena Cabrio and Dr. Serena Villata
INRIA
Sophia Antipolis
France 		Natural Language Arguments: Results and Challenges Floriana Grasso
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 Martin 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 Kowalski
22 Jan 2013 Dr. Dimitris Fotakis
Division of Computer Science
NTUA Athens
Greece 		Approximate Strategyproof Mechanisms for Facility Location Games Piotr Krysta
05 Feb 2013 Prof. Sonja Smets
Institute for Logic, Language and Computation (ILLC)
University of Amsterdam
NL 		Evidence-Based Belief Revision, a Logical Analysis Davide Grossi
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 Goldberg
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 Krysta
26 Feb 2013 Dr George Mertzios
School of Engineering and Computing Sciences
Durham University 		Evolutionary Dynamics in Undirected Networks Prudence Wong
05 Mar 2013 Dr. Max Klimm
Institute for Mathematics
TU Berlin
Germany 		Competition for Resources: The Existence of Equilibria in Weighted Congestion Games Martin Gairing
19 Mar 2013 Dr. Markus Kroetzsch
Department of Computer Science
University of Oxford
UK 		Existential Rules: A Common Ground for Ontologies and Databases Boris Konev
26 Mar 2013 Dr. Vitaliy Kurlin
Department of Mathematical Sciences,
Durham University 		Reconstructing persistent graph structures from noisy images Igor Potapov
02 Apr 2013 Prof. Tobias Harks
Department of Quantitative Economics
Maastricht University
The Netherlands 		Computing Network Tolls with Support Constraints Martin Gairing
16 Apr 2013 Phil Jimmieson
Computer Science Department
University of Liverpool 		In my shoes Phil Jimmieson
23 Apr 2013 Prof. Vittorio Loreto
Physics Department, Sapienza University of Rome
and ISI Foundation, Turin
Italy 		Consensus dynamics in social systems Floriana Grasso
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 Davide Grossi
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 Lisitsa
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 Kowalski
27 Jun 2013
Dr. Danushka Bollegala

Dept. of Information and Communication Engineering
The University of Tokyo
Japan 		Domain Adaptation of Sentiment Classifiers Wiebe van der Hoek
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