12 Sep 2014 |
Prof Mehdi Dastani
Intelligent Systems Group
Utrecht University
NL |
Norm-based Coordination in Multi-Agent Systems
|
dept
|
07 Oct 2014 |
Dr Natalia Criado Pacheco
Department of Computing and Mathematical Science
John Moores Univerisity, Liverpool |
Reasoning About Norms under Uncertainty in Dynamic Environments
|
dept
|
14 Oct 2014 |
Aris Filos-Ratsikas
|
Truthful approximations to range voting
|
dept
|
21 Oct 2014 |
Dr Laszlo Vegh
Department of Management
London School of Economics |
A strongly polynomial algorithm for generalised flow maximisation
|
dept
|
24 Oct 2014 |
Prof Toshihiko Yamasaki
Department of Information and Communication Engineering
The University of Tokyo |
Let's bother to take pictures - User navigation using large-scale multimedia data on the Internet
|
dept
|
28 Oct 2014 |
Prof Nicola Dimitri
Department of Economics and Statistics
Universita di Siena
Italy |
Lottery Auctions
|
dept
|
11 Nov 2014 |
Prof Elliot Anshelevich
Computer Science Department
Rensselaer Polytechnic Institute
USA |
Stable Matching, Friendship, and Altruism
|
dept
|
18 Nov 2014 |
Dr M. Birna van Riemsdijk
Interactive Intelligence, Dept. of Intelligent Systems,
Delft University of Technology
NL |
Software that understands our norms and values: reasoning, interaction and ethical challenges
|
dept
|
02 Dec 2014 |
Dr Steve Battle
Sysemia Ltd
Bristol |
Ashby's Mobile Homeostat
|
dept
|
09 Dec 2014 |
Paul Pearce
Defence Science and Technology Laboratory |
Evolution of Analytical and Experimental Wargaming
|
dept
|
20 Jan 2015 |
Thomas Varghese
Computer Science Department
University of Liverpool |
Finite automata over infinite structures - Tight bounds for some transformations
|
dept
|
21 Jan 2015 |
Prof Wolfgang Thomas
Logic and Theory of Discrete Systems
RWTH Aachen
Germany |
Finite Automata and the Infinite: A Journey Through 50 Years of Research
|
dept
|
03 Feb 2015 |
Dr Andrew Dowsey
Department of Electrical Engineering and Electronics
University of Liverpool |
Applications and possibilities for signal processing, machine learning and network sciences in proteomics and metabolomics
|
dept
|
24 Feb 2015 |
Dr Jeyan Thiyagalingam
Department of Electrical Engineering and Electronics
University of Liverpool |
Scalable Computing: Challenges, Applications and Solutions
|
dept
|
11 Mar 2015 |
Dr Ioannis Chatzigeorgiou
School of Computing and Communications
Lancaster University |
Network coding for Rapid and Reliable Data Delivery (R2D2)
|
dept
|
18 Mar 2015 |
Dr Ernesto Jimenez Ruiz and Alessandro Solimando
Information Systems Group
Department of Computer Science
Oxford University
Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi
Università di Genova |
Coping with Conservativity Violations in Ontology-to-ontology Alignment in Practice
|
dept
|
20 Mar 2015 |
Dr Sander Bohte
CWI, Life Sciences
Amsterdam |
Continuous-time neural reinforcement learning of working memory tasks
|
dept
|
24 Mar 2015 |
Dr Meghyn Bienvenu
Laboratoire de Recherche en Informatique (LRI)
CNRS & Universite Paris-Sud
France |
Ontology-mediated query answering and query rewriting
|
dept
|
07 Apr 2015 |
Prof Doron Peled
Department of Computer Science
Bar Ilan University
Israel |
Synthesis of concurrent programs using genetic programming
|
dept
|
14 Apr 2015 |
Dr Floris Bex
Department of Information and Computing Science
University of Utrecht
The Netherlands |
An integrated theory of causal stories and evidential arguments
|
dept
|
21 Apr 2015 |
Dr Steve Phelps
Centre for Computational Finance and Economic Agents
University of Essex |
Dynamic social networks and reciprocity: comparing agent-based models and behavioural studies
|
dept
|
22 Apr 2015 |
Dr Jeff Rowe
Department of Computer Science
UC Davis
USA |
Cyber-security Monitoring for Future Computing Systems
|
dept
|
28 Apr 2015 |
Prof. Stephane Airiau
LAMSADE
University of Paris-Dauphine
France |
Voting in parallel universes
|
dept
|
30 Apr 2015 |
Dr Temur Kutsia
Research Institute for Symbolic Computation
Linz
Austria |
Anti-Unification: Algorithms and Applications
|
dept
|
05 May 2015 |
Dr Marcin Pilipczuk
Department of Computer Science
University of Warwick |
Sparsification for network design problems in planar graphs
|
dept
|
12 May 2015 |
Dr. Adam Wyner
Department of Computing Science
University of Aberdeen |
Progress on the Argument Pipeline
|
dept
|
19 May 2015 |
Prof. Shmuel Zaks
Department of Computer Science
Technion
Israel |
Combinatorial and Graph Theoretical results initiated by application areas
|
dept
|
20 May 2015 |
Prof Vangelis Markakis
Department of Informatics
Athens University of Economics and Business
Greece |
Approximation Algorithms for Computing Maximin Share Allocations
|
dept
|
23 Jun 2015 |
Prof Jurek Czyzowicz
Université du Québec en Outaouais
Canada |
Patrolling by faulty robots
|
dept
|
25 Jun 2015 |
Prof Stefan Kiefer
Department of Computer Science
University of Oxford |
On the total variation distance of labelled Markov chains
|
dept
|
30 Jun 2015 |
Prof Ann Nowe
Artificial Intelligence Lab
Vrije Universiteit Brussel
Belgium |
Multi-objective reinforcement learning
|
dept
|
01 Jul 2015 |
Prof Ann Nowe
Artificial Intelligence Lab
Vrije Universiteit Brussel
Belgium |
Speeding up Reinforcement Learning
|
dept
|
07 Jul 2015 |
Dr Chiara Ghidini
Fondazione Bruno Kessler (FBK)
Trento
Italy |
Exploiting logical formulations for workflow trace monitoring
|
dept
|
09 Jul 2015 |
Prof Olivier Bournez
Computer Science Laboratory
Ecole Polytechnique (LIX)
Palaiseau Cedex
France |
About the hardness of reachability for ordinary differential equations and discrete time dynamical systems or Why analog mechanical machines of the 30's are not less powerful than modern computers, and not even slower.
|
dept
|
14 Jul 2015 |
Prof. Krzysztof Apt
CWI, Amsterdam, The Netherlands |
Epistemic Protocols for Distributed Gossiping
|
dept
|
21 Jul 2015 |
Dr Pascal Lenzner
Department of Computer Science
Friedrich-Schiller-University Jena
Germany |
Selfish Network Creation: Structure & Locality
|
dept
|