Home Blank

MALOA is an Initial Training Network in Mathematical Logic, funding PhD training,
It ran for  the period 1 October 2009—30 September 2013, and has now ended.

MALOA provided training in the following areas of Logic: 

  • Model Theory
  • Logical aspects of complexity theory
  • Proof theory
  • Computability theory
  • Set theory
  • Real valued logic

The universities and research centres involved in this project are:

1. University of Leeds , UK (Coordinator), (H.D. Macpherson);
2. University of Manchester, UK, (A. Wilkie);
3. University of Oxford, UK, (B. Zilber);
4. CNRS-Lyon, France (combining Lyon 1 and Lyon ENS), (I. Ben Yaacov);
5. Université Paris Diderot, Paris 7, France, (Z. Chatzidakis);
6. Ludwig Maximilians-Universität, Munich, Germany, (H. Schwichtenberg);
7. Westfälische Wilhelms-Universität Münster, Germany, (K. Tent);
8. Charles University, Prague, Czech Republic, (J. Krajicek).

Associated Partners
9. University of East Anglia, UK, (M. Dzamonja);
10. Onera, France, (R. Kervarc);
11. British Telecommunications plc, UK, (B.Azvine).

For more details of the above teams involved in MALOA, please see the Universities page.