Department Seminar Series
Past Talks: 2015/16 Session
Date | Speaker | Title | Host |
---|---|---|---|
01 Oct 2015 |
Dr Andreas Herzig Logic, Interaction, Language, and Computation Group (LILaC) IRIT, Université Paul Sabatier Toulouse, France |
Knowledge and action: how should we combine their logics? | Wiebe van der Hoek |
13 Oct 2015 |
Dr Frans Oliehoek Department of Computer Science Liverpool University |
Interactive Decision Making, Influence-based Abstraction & Transfer Planning | Martin Gairing |
27 Oct 2015 |
Dr Oded Lachish Department of Computer Science and Information Systems Birkbeck, University of London. |
Trading query complexity for sample-based testing and multi-testing scalability | Rahul Savani |
28 Oct 2015 |
Dr Paul Craig and Dr Xin Huang Department of Computer Science & Software Engineering XJTLU China |
Mobile Information Visualisation | [prudence] |
06 Nov 2015 |
Prof Milind Tambe Computer Science & Industrial and Systems Engineering Departments University of Southern California USA |
Towards a Science of Security Games: Key Algorithmic Principles, Deployed Applications and Research Challenges | Karl Tuyls |
06 Nov 2015 |
Prof Chris Kiekintveld Computer Science Department University of Texas at El Paso USA |
Game-Theoretic Models for Cybersecurity | Karl Tuyls |
10 Nov 2015 |
Dr Mauro Dragoni Fondazione Bruno Kessler (FBK) Trento Italy |
An IR-based Approach For Multilingual And Cross-lingual Ontology Matching Purposes | Valentina Tamma |
24 Nov 2015 |
Dr. Amitabh Trehan School of Electronics, Electrical Engineering and Computer Science High Performance and Distributed Computing Queen's University Belfast |
Compact Routing Messages in Compact Self-Healing Trees | [leszek] |
02 Feb 2016 |
Dr. Ben Graham Dept of Statistics University of Warwick Coventry, CV4 7AL United Kingdom |
Spatially Sparse Convolutional Neural networks | Frans Coenen |
09 Feb 2016 |
Dr Wojciech Czerwinski University of Warsaw |
Separability problem | Dominik Wojtczak |
16 Feb 2016 |
Dr Bijan Parsia School of Computer Science Manchester University |
An Empirical Mindset for Ontology Engineering Research | Valentina Tamma |
23 Feb 2016 |
Dr. Shimon Whiteson University of Oxford Room 407, Wolfson Building, Parks Road, Oxford OX1 3QD |
Multi-Objective Decision Making | [fao] |
08 Mar 2016 |
Dr Roderich Gross Department of Automatic Control and Systems Engineering The University of Sheffield |
Less is more? New approaches for swarm control and inference | Clare Dixon |
09 Mar 2016 |
Prof. Thomas Brihaye Université de Mons Place du parc 20 7000 Mons Belgique |
To Reach or not to Reach? Efficient Algorithms for Total-Payoff Games | Sven Schewe |
12 Apr 2016 |
Dr. Elias Tsigaridas UPMC - LIP6 projet POLSYS Boite courrier 169 4 place Jussieu 75252 PARIS CEDEX 05 France |
Algorithms for stochastic games and polynomial system solving | Giorgios Christodoulou |
19 Apr 2016 |
Dr. Marc Lanctot Google Deepmind |
AlphaGo: Mastering the game of Go with deep neural networks and tree search | Karl Tuyls |
26 Apr 2016 |
Dr. Ernst Moritz Hahn State Key Laboratory of Computer Science, Institute of Software, Chinese Academy of Sciences. Room A219, Building 5 Telephone: +86 10-62661604 Address: South Fourth Street 4#, Zhong Guan Cun |
Lazy Probabilistic Model Checking without Determinisation | Sven Schewe |
03 May 2016 |
Dr Nick Hawes School of Computer Science University of Birmingham Edgbaston, Birmingham, B15 2TT United Kingdom |
Long-Term Autonomy in Everyday Environments: A New Challenge for AI and Robotics | Louise Dennis |
10 May 2016 |
Prof. Andrei Krokhin Durham University School of Engineering and Computing Sciences |
The complexity of general-valued CSPs | Boris Konev |
17 May 2016 |
Dr. Andreas Vlachos University of Sheffield |
Natural language understanding with imitation learning | Danushka Bollegala |
19 May 2016 |
Julian Padget University of Bath |
Deontic Sensors | Ullrich Hustadt |
19 May 2016 |
Dr. Matthias Mnich University of Bonn Institute of Computer Science, Dept. I Room E. Friedrich-Ebert-Allee 144 D-53113 Bonn |
Improved Approximation Algorithm for Minimum Feedback Vertex Sets in Tournaments | Rahul Savani |
31 May 2016 |
Dr. Markus Brill Department of Computer Science University of Oxford Wolfson Building, Parks Road Oxford OX1 3QD UK Office: Wolfson Building, room 017 |
Justified Representation in Approval-Based Committee Voting | Davide Grossi |
21 Jun 2016 |
Prof. Patrick De Causmaecker KU Leuven Faculty of Science, Campus Kulak Kortrijk Etienne Sabbelaan 53 - box 7659 8500 Kortrijk |
Data science in optimisation: an example | Karl Tuyls |
23 Jun 2016 |
Dr. Mykel J. Kochenderfer Stanford University, Department of Aeronautics and Astronautics |
Building Trust in Decision Support Systems for Aerospace | [fao] |
Older Seminars ordered by Academic Year
- Upcoming seminars
- Current session
- 2022/23
- 2021/22
- 2020/21
- 2019/20
- 2018/19
- 2017/18
- 2016/17
- 2015/16
- 2014/15
- 2013/14
- 2012/13
- 2011/12
- 2010/11
- 2009/10
- 2008/09
- 2007/08
- 2006/07
- 2005/06
- 2004/05
- 2003/04
- 2002/03
- 2001/02
- 2000/01
Other seminar series
- Algorithms, Complexity Theory and Optimisation
- Argumentation and Representation of Knowledge
- Data Mining and Machine Learning
- Economics and Computation
- Friday Lunch and Talk
- Liverpool Distinguished Computer Science Lecture
- Networks and Distributed Computing
- PhD Tea Talks
- Robotics and Autonomous Systems
- Verification
- Women in Technology
- Overview of all seminar series
Maintained by Othon Michail