Department 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 Othon Michail
18 Sep 2018 Dr. Senja Dominique Barthel
Laboratory of molecular simulation
EPFL 		Putting chemistry in shape Vitaliy Kurlin
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 Bollegala
13 Nov 2018 Vincent Koeman
Interactive Intelligence
Delft University of Technology 		Explaining Cognitive Agents Louise Dennis
20 Nov 2018 Dr. Brian Logan
School of Computer Science
University of Nottingham 		Synthesising Provably Correct Controllers for Manufacturing Louise Dennis
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 Schewe
08 Jan 2019 Dr. Andreas Pieris
School of Informatics
Laboratory for Foundations of Computer Science
University of Edinburgh 		Semantic Optimization of Conjunctive Queries Boris Konev
15 Jan 2019 Dr. Hiroyuki Kido
Institute of Logic and Cognition
Sun Yat-Sen University 		Argumentation Mining from Acceptability of Arguments Katie Atkinson
22 Jan 2019 John Murray
Fusion Data Science and University of Liverpool 		End to End Analysis of Large 3D Geospatial Datasets with GPUs Rahul Savani
12 Mar 2019 Sarah Winter
RWTH Aachen University 		Parameterized synthesis of subsequetial transducers from rational relations over finite words Martin 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 Lisitsa
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 Wolter

Older Seminars
ordered by Academic Year


Other seminar series