*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)

*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)