School Seminar Series

Past Talks: 2014/15 Session

Date Speaker Title Host
12 Sep 2014 Prof Mehdi Dastani
Intelligent Systems Group
Utrecht University
NL 		Norm-based Coordination in Multi-Agent Systems [lad]
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 [lad]
14 Oct 2014 Aris Filos-Ratsikas
 Truthful approximations to range voting [gchristo]
21 Oct 2014 Dr Laszlo Vegh
Department of Management
London School of Economics 		A strongly polynomial algorithm for generalised flow maximisation [gairing]
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 [danushka]
28 Oct 2014 Prof Nicola Dimitri
Department of Economics and Statistics
Universita di Siena
Italy 		Lottery Auctions [dgrossi]
11 Nov 2014 Prof Elliot Anshelevich
Computer Science Department
Rensselaer Polytechnic Institute
USA 		Stable Matching, Friendship, and Altruism [spirakis]
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 [lad]
02 Dec 2014 Dr Steve Battle
Sysemia Ltd
Bristol 		Ashby's Mobile Homeostat [trp]
09 Dec 2014 Paul Pearce
Defence Science and Technology Laboratory 		Evolution of Analytical and Experimental Wargaming [dgrossi]
20 Jan 2015 Thomas Varghese
Computer Science Department
University of Liverpool 		Finite automata over infinite structures - Tight bounds for some transformations [sven]
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 [sven]
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 [wiebe]
24 Feb 2015 Dr Jeyan Thiyagalingam
Department of Electrical Engineering and Electronics
University of Liverpool 		Scalable Computing: Challenges, Applications and Solutions [wiebe]
11 Mar 2015 Dr Ioannis Chatzigeorgiou
School of Computing and Communications
Lancaster University 		Network coding for Rapid and Reliable Data Delivery (R2D2) [gairing]
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 [valli]
20 Mar 2015 Dr Sander Bohte
CWI, Life Sciences
Amsterdam 		Continuous-time neural reinforcement learning of working memory tasks [karl]
24 Mar 2015 Dr Meghyn Bienvenu
Laboratoire de Recherche en Informatique (LRI)
CNRS & Universite Paris-Sud
France 		Ontology-mediated query answering and query rewriting [konev]
07 Apr 2015 Prof Doron Peled
Department of Computer Science
Bar Ilan University
Israel 		Synthesis of concurrent programs using genetic programming [sven]
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 [katie]
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 [daanbl]
22 Apr 2015 Dr Jeff Rowe
Department of Computer Science
UC Davis
USA 		Cyber-security Monitoring for Future Computing Systems [sklar]
28 Apr 2015 Prof. Stephane Airiau
LAMSADE
University of Paris-Dauphine
France 		Voting in parallel universes [dgrossi]
30 Apr 2015 Dr Temur Kutsia
Research Institute for Symbolic Computation
Linz
Austria 		Anti-Unification: Algorithms and Applications [konev]
05 May 2015 Dr Marcin Pilipczuk
Department of Computer Science
University of Warwick 		Sparsification for network design problems in planar graphs [rahul]
12 May 2015 Dr. Adam Wyner
Department of Computing Science
University of Aberdeen 		Progress on the Argument Pipeline [katie]
19 May 2015 Prof. Shmuel Zaks
Department of Computer Science
Technion
Israel 		Combinatorial and Graph Theoretical results initiated by application areas [pwong]
20 May 2015 Prof Vangelis Markakis
Department of Informatics
Athens University of Economics and Business
Greece 		Approximation Algorithms for Computing Maximin Share Allocations [gchristo]
23 Jun 2015 Prof Jurek Czyzowicz
Université du Québec en Outaouais
Canada 		Patrolling by faulty robots [leszek]
25 Jun 2015 Prof Stefan Kiefer
Department of Computer Science
University of Oxford 		On the total variation distance of labelled Markov chains [dominic]
30 Jun 2015 Prof Ann Nowe
Artificial Intelligence Lab
Vrije Universiteit Brussel
Belgium 		Multi-objective reinforcement learning [karl]
01 Jul 2015 Prof Ann Nowe
Artificial Intelligence Lab
Vrije Universiteit Brussel
Belgium 		Speeding up Reinforcement Learning [karl]
07 Jul 2015 Dr Chiara Ghidini
Fondazione Bruno Kessler (FBK)
Trento
Italy 		Exploiting logical formulations for workflow trace monitoring [valli]
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. [igor]
14 Jul 2015 Prof. Krzysztof Apt
CWI, Amsterdam, The Netherlands 		Epistemic Protocols for Distributed Gossiping [wiebe]
21 Jul 2015 Dr Pascal Lenzner
Department of Computer Science
Friedrich-Schiller-University Jena
Germany 		Selfish Network Creation: Structure & Locality [gairing]

Older Seminars
ordered by Academic Year


Other seminar series