Slides from some talks I've given.

• On the Descriptive Complexity of Linear Algebra, Aachen, 17 December 2007.
• Model-Checking First-Order Logic: Automata and Locality, CSL/Games 2007, Lausanne, 11 September 2007.
• Preservation Theorems in Finite Model Theory, 6th Panhellenic Logic Symposium, Volos, 7 July 2007.
• Complexity and the Expressive Power of Logics, CUSPOMMS, Cambridge, 9 March 2007.
• Preservation Properties and Databases, Imperial College, 24 November 2003.
• Quantum Automata, Machines and Complexity, University of Warwick, 24 October 2003.
• Fixed-Point Logics and Computation, ICLMPS'03, Oviedo, 12 August 2003.
• Expressiveness and Complexity of a Graph Logic, LaBRI, Bordeaux, 24 March 2003.
• Automaticité des Propriétés Modales des Structures Finies,, CMF 2002, Arcachon, 23 May 2002.
• Modal Logic and Inflationary Fixed Points, University of Leicester, 19 October 2001.
• Fixed Point Logics on Finite and Infinite Structures, RWTH, Aachen, 29 November 2000.
• Lindström Quantifiers and 0-1 Laws, Oxford Mathematical Logic Seminar, 24 November, 2000.
• Fixed-point Logics and Infinite Trees, at the ESSLLI2000 workshop on Trees in Logic, Computer Science and Linguistics, 17 August 2000.
• Formulas, Games and Circuits, University of Athens, 16 June 2000.
• Descriptive Polynomial Complexity, Computer Laboratory Wednesday seminar, 17 February 1999.