Department Seminar Series

Past Talks: 2017/18 Session

Date Speaker Title Host
05 Sep 2017 Dr. Martin Zimmermann
Reactive Systems Group
Universität des Saarlandes
Saarland Informatics Campus, Building E 1.1, room 1.13 		Easy to Win, Hard to Master: Optimal Strategies in Finitary Parity Games Sven Schewe
12 Sep 2017 Dr. David Doty
Department of Computer Science
University of California
One Shields Ave.
Davis, CA 95616, USA 		The limits of chemical computing Othon Michail
27 Sep 2017 Dr. Sebastian Riedel
University College London
Dept. of Computer Science (1ES)
Gower Street
London WC1E 6BT
United Kingdom 		Reading and Reasoning with Vector Representations Danushka Bollegala
17 Oct 2017 Prof. Juhani Karhumaki
Department of Mathematics and Statistics
University of Turku, Finland 		k-Abelian Equivalence - An Equivalence Relation in Between the Equality and the Abelian Equality Igor Potapov
24 Oct 2017 Dr. Konstantinos Papangelis
Xi'an Jiaotong-Liverpool University
Computer Science and Software Engineering 		Conquering the City: Understanding perceptions of Mobility and Human Territoriality in Location-based Mobile Games Prudence Wong
14 Nov 2017 Dr. Matthijs Spaan
Algorithmics group,
Delft University of Technology 		Planning under Uncertainty in Constrained Multiagent Systems [fao]
29 Nov 2017 Dr. Isolde Adler
School of Computing
University of Leeds 		Testing logically defined properties on relational databases of bounded degree Andre Hernich
07 Dec 2017 Professor Richard Cole
Computer Science Department
Courant Institute of Mathematical Sciences
New York University 		The Analysis of Asynchronous Coordinate Descent Giorgios Christodoulou
16 Jan 2018 Prof. Paul Goldberg
Department of Computer Science
University of Oxford 		TFNP: An Update Rahul Savani
27 Feb 2018 Dr. Sara Kalisnik
Max Planck Institute for Mathematics in the Sciences 		A Higher-Dimensional Homologically Persistent Skeleton Vitaliy Kurlin
02 Mar 2018 Dr. Matthew Hague
Department of Computer Science
Royal Holloway University of London 		Web Optimisation: Formal Methods and Cascading Style Sheets Dominik Wojtczak
14 Mar 2018 Andrew Mitchell
Automation and Standardisation Team
Unilever R&D Port Sunlight 		Computer Science and Unilever R&D Russell Martin
20 Mar 2018 Dr. Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz 		Pattern-based calculi with finitary matching Boris Konev
10 Apr 2018 Dr. Catherine Menon
School of Computer Science
University of Hertfordshire 		Safety-critical systems development and the creation of ethically-informed safety cases Clare Dixon
24 Apr 2018 Dr. Andreas Pieris
School of Informatics
Laboratory for Foundations of Computer Science
University of Edinburgh 		An Operational Approach to Consistent Query Answering Andre Hernich
01 May 2018 Prof. Thomas Brihaye
Department of Mathematics
Université de Mons 		When are stochastic transition systems tameable? Dominik Wojtczak
15 May 2018 Dr. Pawel Dlotko
Department of Mathematics
Swansea University 		Geometry and topology: tools to understand materials, bones, alloys (and more)... Vitaliy Kurlin
24 May 2018 Professor Tim Roughgarden
Computer Science and Management Science and Engineering Departments
Stanford University 		How Computer Science Informs Modern Auction Design Giorgios Christodoulou

Older Seminars
ordered by Academic Year


Other seminar series