|
22 May 2013 |
Dr. Piotr Krysta
Computer Science Department
University of Liverpool |
Algorithmic Mechanism Design
|
Leszek Gasieniec |
|
21 May 2013 |
Dr. Behzad Bordbar
School of computer Science
University of Birmingham
UK |
Dynamic defence in the Cloud via Introspection
|
Alexei Listitsa |
|
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 Gasieniec |
|
14 May 2013 |
Dr. Darek Kowalski
Computer Science Department
University of Liverpool |
Communication and Computing in Dynamic Ad Hoc Systems
|
Leszek Gasieniec |
|
01 May 2013 |
Prof. Ferdinando Cicalese
Dipartimento di Informatica
Universita' degli Studi di Salerno
Italy |
Combinatorial Search and Decision Trees
|
Leszek Gasieniec |
|
30 Apr 2013 |
Dr. Sanjay Modgil
Agents and Intelligent Systems Group
King's College London |
Argumentation, non-monotonic reasoning and classical logic
|
Davide Grossi |
|
29 Apr 2013 |
Prof. Karl Tuyls
Department Of Knowledge Engineering
Maastricht University
The Netherlands |
Bio-Inspired Autonomous Systems
|
Leszek Gasieniec |
|
23 Apr 2013 |
Prof. Vittorio Loreto
Physics Department, Sapienza University of Rome
and ISI Foundation, Turin
Italy |
Consensus dynamics in social systems
|
Floriana Grasso |
|
16 Apr 2013 |
Phil Jimmieson
Computer Science Department
University of Liverpool |
In my shoes
|
Phil Jimmieson |
|
02 Apr 2013 |
Prof. Tobias Harks
Department of Quantitative Economics
Maastricht University
The Netherlands |
Computing Network Tolls with Support Constraints
|
Martin Gairing |
|
26 Mar 2013 |
Dr. Vitaliy Kurlin
Department of Mathematical Sciences,
Durham University |
Reconstructing persistent graph structures from noisy images
|
Igor Potapov |
|
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 |
|
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 |
|
26 Feb 2013 |
Dr George Mertzios
School of Engineering and Computing Sciences
Durham University |
Evolutionary Dynamics in Undirected Networks
|
Prudence Wong |
|
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 |
|
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 |
|
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 |
|
22 Jan 2013 |
Dr. Dimitris Fotakis
Division of Computer Science
NTUA Athens
Greece |
Approximate Strategyproof Mechanisms for Facility Location Games
|
Piotr Krysta |
|
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 |
|
13 Dec 2012 |
Dr. Rob van Stee
Algorithms and Complexity
MPII Saarbruecken
Germany |
Truthful scheduling
|
Martin Gairing |
|
11 Dec 2012 |
Prof. Leon van der Torre
Individual and Collective Reasoning Group
University of Luxembourg |
Abstract Normative Systems
|
Marija Slavkovik |
|
04 Dec 2012 |
Dr. Elena Cabrio and Dr. Serena Villata
INRIA
Sophia Antipolis
France |
Natural Language Arguments: Results and Challenges
|
Floriana Grasso |
|
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 |
|
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 |
|
27 Nov 2012 |
Prof. Petra Berenbrink
School of Computing Science
Simon Fraser University
Canada |
On Diffusion and Selfish Load Balancing
|
Darek Kowalski |
|
13 Nov 2012 |
Prof. Rajagopal Nagarajan
School of Science and Technology
Middlesex University London |
Formal Methods for Quantum Information Science
|
Rahul Savani |
|
06 Nov 2012 |
Dr. Markus Jalsenius
Department of Computer Science
University of Bristol
UK |
Lower Bounds for Streaming Problems
|
Russell Martin |
|
30 Oct 2012 |
Ruediger Ehlers
Dept of Electrical Engineering and Computer Sciences
UC Berkeley
USA |
Synthesis of/for robust systems
|
Sven Schewe |
|
25 Oct 2012 |
Prof. Hans van Ditmarsch
Dept. of Logic
University of Sevilla
Spain |
Refinement modal logic
|
Wiebe van der Hoek |
|
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 |
|
09 Oct 2012 |
Prof Joel Ouaknine
Department of Computer Science
University of Oxford
UK |
A Survey of Classical and Real-Time Verification
|
Igor Potapov |
|
02 Oct 2012 |
Prof. Chris Reed
School of Computing
University of Dundee
Schottland |
Inference Anchoring Theory
|
Trevor Bench-Capon |