Conferences, workshops & invited talks
- 2017-09-15 -
From data to an application in minutes (Lucene/Solr Revolution 2017, Las Vegas, USA).
- 2012-09-03 - Definability of linear equation systems over groups and rings (CSL 2012, IUT Fontainebleau, France).
- 2012-07-09 - Pebble games with algebraic rules (ICALP 2012, University of Warwick, UK).
- 2012-03-01 - Descriptive complexity of linear algebra (Logical Approaches to Barriers in Complexity II, Newton Institute, UK).
- 2012-03-01 - Model-comparison games with algebraic rules (SAS seminar, Newton Institute, UK).
- 2010-02-18 - Pebble Games for Rank Logics (Workshop on Logical Approaches to Barriers in Computing and Complexity (University of Greifswald, Germany))
- 2009-11-13 - Finding a Logical Characterisation of Polynomial Time (ICE-TCS Lectures Series - University of Reykjavik, Iceland)
- 2009-04-07 - The Expressive Power of Rank Logics (BCTCS 2009 (25th British Colloquium for Theoretical Computer Science))
- 2010-05-21 - Logics of Polynomial-Time Computation (Research Students Lecture Series, Computer Laboratory, Cambridge)
Reading groups & seminars
- 2011-07-07 - Logical reductions between some algebraic membership problems (LAA reading group)
- 2011-05-26 - Graph isomorphism, Sherali-Adams relaxations and expressibility in counting logics (LAA reading group)
- 2011-03-23 - Canonical forms for graphs of small colour class size (Part II) (LAA reading group)
- 2011-03-23 - Canonical forms for graphs of small colour class size (Part I) (LAA reading group)
- 2011-01-26 - Descriptive complexity of linear algebra (LAA reading group)
- 2010-11-12 - Non-Uniform ACC Circuit Lower Bounds (LAA reading group)
- 2010-10-29 - Logical Complexity of Graphs (LAA reading group)
- 2009-12-02 - Random Graphs and the Parity Quantifier (LAA reading group)
- 2009-10-27 - Pebble Games in Finite Model Theory (LAA reading group)
- 2009-03-13 - Introduction to Choiceless Polynomial Time (LAA reading group)
- 2009-02-23 - Logics with Rank Operators (Computer Laboratory Semantics lunch)
- 2009-02-20 - Introduction to Rank Logics (LAA reading group)
- 2009-01-30 - Combinatorial Auctions (Algorithmic game theory reading group)
- 2008-11-20 - Combinatorial Algorithms for Market Equilibria (Algorithmic game theory reading group)
- 2008-05-13 - Classification of bipartite Boolean constraint satisfaction (LAA reading group)
- 2008-03-25 - Maltsev + Datalog ==> Symmetric Datalog (LAA reading group)
- 2008-03-14 - Tree decomposition of graphs (LSD PhD seminar)
- 2008-02-27 - Overview of chapter 7 in Wilfrid Hodges' A shorter model theory (Model theory reading group)
- 2008-02-26 - The nonsolvable group technique (part II) (LAA reading group)
- 2008-02-19 - The nonsolvable group technique (part I) (LAA reading group)
- 2008-01-15 - The isolation technique (LAA reading group)
- 2007-11-06 - The self-reducibility technique (LAA reading group)
- 2007-10-09 - Tractability arising from algebras with few subpowers (LAA reading group)
- 2007-05-22 - Locality of order-invariant first-order formulas (LAA reading group)
- 2007-04-03 - Weisfeiler-Lehman method (LAA reading group)
- 2007-03-22 - Graph equivalence and cellular algebras (LSD PhD seminar)
- 2007-02-13 - Parameterized counting problems (Parameterized complexity theory reading group)
- 2007-01-30 - Planarity and bounded local treewidth (Parameterized complexity theory reading group)
- 2006-10-31 - W- and A-hierarchies (Parameterized complexity theory reading group)