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
- Model Theory
- Logical aspects of complexity theory
- Proof theory
- Computability theory
- Set theory
- Real valued logic
The universities and research centres involved in this
of Leeds , UK (Coordinator), (H.D.
Manchester, UK, (A.
of Oxford, UK, (B. Zilber);
4. CNRS-Lyon, France (combining Lyon
1 and Lyon
ENS), (I. Ben
5. Université Paris Diderot, Paris
7, France, (Z.
Maximilians-Universität, Munich, Germany, (H.
Wilhelms-Universität Münster, Germany, (K.
University, Prague, Czech Republic, (J.
of East Anglia, UK, (M.
10. Onera, France, (R.
Telecommunications plc, UK, (B.Azvine).
For more details of the above teams involved in MALOA,
please see the Universities