This is a an Initial Training Network in Mathematical Logic, funding PhD training, starting 1 October 2009.
The project will run for 4 years.

We will provide 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:

Partners:
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.

NEW Vacancies

x3 Short-term ESR Positions - Münster