Talks and presentations

Some talks and presentations that I have recently given:

Date	Title	Venue
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
2012-03-01	Model-comparison games with algebraic rules	SAS seminar, Newton Institute
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
2010-05-21	Logics of Polynomial-Time Computation	Research Students Lecture Series (Computer Laboratory, Cambridge)
2010-02-18	Pebble Games for Rank Logics	Workshop on Logical Approaches to Barriers in Computing and Complexity (University of Greifswald, Germany)
2009-12-02	Random Graphs and the Parity Quantifier	LAA reading group
2009-11-13	Finding a Logical Characterisation of Polynomial Time	ICE-TCS Lectures Series (University of Reykjavik, Iceland)
2009-10-27	Pebble Games in Finite Model Theory	LAA reading group
2009-04-07	The Expressive Power of Rank Logics	BCTCS 2009 (25th British Colloquium for Theoretical Computer Science)
2009-03-13	Introduction to Choiceless Polynomial Time	LAA reading group
2009-02-23	Logics with Rank Operators	Semantics lunch
2009-02-20	Introduction to Rank Logics	LAA reading group
2009-01-30	Combinatorial Auctions	Game theory reading group
2008-11-20	Combinatorial Algorithms for Market Equilibria	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