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