School 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]
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 [michailo]
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]
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]
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 [pwong]
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 [hernich]
07 Dec 2017 Professor Richard Cole
Computer Science Department
Courant Institute of Mathematical Sciences
New York University 		The Analysis of Asynchronous Coordinate Descent [gchristo]
16 Jan 2018 Prof. Paul Goldberg
Department of Computer Science
University of Oxford 		TFNP: An Update [rahul]
27 Feb 2018 Dr. Sara Kalisnik
Max Planck Institute for Mathematics in the Sciences 		A Higher-Dimensional Homologically Persistent Skeleton [vitaliy]
02 Mar 2018 Dr. Matthew Hague
Department of Computer Science
Royal Holloway University of London 		Web Optimisation: Formal Methods and Cascading Style Sheets [dominik]
14 Mar 2018 Andrew Mitchell
Automation and Standardisation Team
Unilever R&D Port Sunlight 		Computer Science and Unilever R&D [martin]
20 Mar 2018 Dr. Temur Kutsia
Research Institute for Symbolic Computation
Johannes Kepler University Linz 		Pattern-based calculi with finitary matching [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]
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 [hernich]
01 May 2018 Prof. Thomas Brihaye
Department of Mathematics
Université de Mons 		When are stochastic transition systems tameable? [dominik]
15 May 2018 Dr. Pawel Dlotko
Department of Mathematics
Swansea University 		Geometry and topology: tools to understand materials, bones, alloys (and more)... [vitaliy]
24 May 2018 Professor Tim Roughgarden
Computer Science and Management Science and Engineering Departments
Stanford University 		How Computer Science Informs Modern Auction Design [gchristo]

Older Seminars
ordered by Academic Year


Other seminar series