
MALOA Training Sessions Lecture Notes
This page contains available downloads of lecture notes from
past MALOA training sessions.
 Third Training Workshop, August 26  September 1, 2012
(Oxford)
 Ulrich Kohlenbach (Darmstadt): Lecture
1, Lecture
2, Lecture
3, Lecture
4, Lecture
5
 Andreas Doering (Oxford); Lecture
1, Lecture
2
 Logic and Complexity Research Workshop, 19 September
to 23 September 2011(Prague)
 Anuj Dawar (Cambridge): Descriptive polynomial time
complexity Lecture
1, Lecture
2, Lecture
3, Lecture
4.
 Pascal Koiran (Lyon): Shallow
circuits with highpowered inputs
 Stephan Kreutzer (Berlin):
The Complexity of Evaluating Formulas in Relational
Structures
 MALOA second training workshop, 27 June to 2 July 2011
(Leeds)
 Peter Aczel, Manchester University Introduction
to constructive set theory
 Artem Chernikov, Université Claude Bernard 
Lyon 1. Externally
definable sets in dependent theories
 Nicola Gambino,Università degli Studi di
Palermo. Constructive
mathematics in Constructive Set Theory
 Romain Kervarc, Onera, Paris (4 lectures) Temporal
logics and its application to the modelling and
assessment of aerospace systems Lecture
1, Lecture
2, Lecture
3, Lecture
4
 Ben Miller, Westfälische
WilhelmsUniversität Münster (4 lectures) A
graphtheoretic approach to descriptive set theory and
structural dichotomy theorems Lecture
1, Lecture
2, Lecture
3, Lecture
4
 Thanos Tsouanas, ENS de Lyon A Game Semantics
approach to Disjunctive Logic Programs
 Lyon Special Semester, 5 March to 4 June 2011 (Lyon)
 Patrick Speissegger
(McMaster University)  Ominimal structures
 Julien
Melleray (Université Lyon 1)  Baire Category
methods: some applications to the study of
automorphism groups of countable homogenous
structures.
 MALOA initial training workshop, 5 to 11 September
2010 (Fischbachau)
 Professor Thierry Coquand (Chalmers) Constructive
algebra
 Professor Dugald MacPherson (University of Leeds) Homogeneous and
omegacategorical structures
 Professor Mirna Džamonja (University of East Anglia)
Fast track to forcing. Lecture 1, lecture 2, lecture 3, lecture 4, lecture 5
 Professor Masahiko Sato (Kyoto University) Symbolic
expressions and variable binding
Lecture
1, Lecture
2, Lecture
3, Lecture
4, Lecture
5
 MALOA Instructional day, 25 March 2010 (Oxford)
 Professor D
MacPherson  Groups in Stable and Simple Theories
 Professor Z
Chatzidakis  Introduction to Geometric Stability
Theory
 Professor J
Baldwin  Geometry and Categoricity
