School Seminar Series

Past Talks: 2018/19 Session

Date	Speaker	Title	Host
06 Sep 2018	Prof. Christian Scheideler University of Paderborn Theory of Distributed Systems	Relays: Towards a Link Layer for Robust and Secure Distributed Systems	[michailo]
18 Sep 2018	Dr. Senja Dominique Barthel Laboratory of molecular simulation EPFL	Putting chemistry in shape	[vitaliy]
03 Oct 2018 LDCSL	Professor Orna Kupferman Hebrew University	Examining Classical Graph-Theory Problems from the Viewpoint of Formal-Verification Methods	Prof. Sven Schewe
12 Oct 2018	Dr. Takanori Maehara RIKEN AIP, Japan Discrete Optimization Unit	Stochastic Probing with Prices	[danushka]
13 Nov 2018	Vincent Koeman Interactive Intelligence Delft University of Technology	Explaining Cognitive Agents	[lad]
20 Nov 2018	Dr. Brian Logan School of Computer Science University of Nottingham	Synthesising Provably Correct Controllers for Manufacturing	[lad]
11 Dec 2018	Nathanaël Fijalkow CNRS, LaBRI, Bordeaux and The Alan Turing Institute of data science and artificial intelligence, London	Understanding the quasipolynomial time algorithms for parity games: upper and lower bounds	[sven]
08 Jan 2019	Dr. Andreas Pieris School of Informatics Laboratory for Foundations of Computer Science University of Edinburgh	Semantic Optimization of Conjunctive Queries	[konev]
15 Jan 2019	Dr. Hiroyuki Kido Institute of Logic and Cognition Sun Yat-Sen University	Argumentation Mining from Acceptability of Arguments	[katie]
22 Jan 2019	John Murray Fusion Data Science and University of Liverpool	End to End Analysis of Large 3D Geospatial Datasets with GPUs	[rahul]
12 Mar 2019	Sarah Winter RWTH Aachen University	Parameterized synthesis of subsequetial transducers from rational relations over finite words	[zimmermann]
07 May 2019	Prof. Irina Lomazova Faculty of Computer Science National Research University Higher School of Economics, Russia	Process Mining: Data Science in Action	[alexei]
14 May 2019 WiT	Dr Vanessa Robins Department of Applied MathematicsAustralian National University	Insights from the topological and geometric analysis of porous and granular materials
11 Jul 2019	Prof. Bakh Khoussainov University of Auckland Department of Computer Science	Open problems in the theory of automatic structures	[frank]

Older Seminars

ordered by Academic Year

• Upcoming seminars
• Current session
• 2024/25
• 2023/24
• 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 and Computing Systems
• 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