Skip to main content

From Mathematical Logic To Applications

Objective

Mathematical logic is a rapidly-developing subject with sophisticated techniques and many applications in algebra, geometry, number theory, analysis, and computer science. Even though the branches of logic share vital concepts and techniques, in recent years increased specialism has meant that most researchers are trained in just one branch of logic, and there is a need in Europe for researchers who have an overview of techniques from logic. To meet this need, this project will provide a broad training for early stage researchers across the main areas of mathematical logic and its many applications. 18 early-stage researchers (ESRs) will be trained for 36 months each, and a further 20 ESRs, undertaking doctoral studies elsewhere, will be appointed for 3--6 months each. Doctoral research projects for ESRs have been prepared in model theory, aspects of complexity theory (proof complexity, finite model theory), proof theory, computability theory, set theory, and real valued logics. Network-wide training will be provided through three 7-day training workshops, two 3-day and one 5-day research workshops, and a 5-day final conference. Some secondments of ESRs, and short ESR appointments, will be coordinated around a special semester in model theory in Lyon, and a later one in logical aspects of complexity theory in Prague. Complementary training is provided by the hosts, and through the training workshops. The network consists of 8 full partners, each a major logic group with strength in more than one branch of logic and experience in the training of early stage researchers, and each based in a major European university. The partners have been chosen to complement each other in strengths, and together to cover most branches of mathematical logic. In addition to the 8 full partners, training is provided by an academic Associated Partner (University of East Anglia) and two industrial Associated Partners (Onera and BT Group, each at Level 2).

Call for proposal

FP7-PEOPLE-ITN-2008
See other projects for this call

Coordinator

UNIVERSITY OF LEEDS
Address
Woodhouse Lane
LS2 9JT Leeds
United Kingdom
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 487 487,11
Administrative Contact
Kathy Brownridge (Ms.)

Participants (7)

THE UNIVERSITY OF MANCHESTER
United Kingdom
EU contribution
€ 483 554,29
Address
Oxford Road
M13 9PL Manchester
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Liz Fay (Ms.)
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
EU contribution
€ 482 481,70
Address
Wellington Square University Offices
OX1 2JD Oxford
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Valerie Timms (Ms.)
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
France
EU contribution
€ 754 642,91
Address
Rue Michel Ange 3
75794 Paris
Activity type
Other
Administrative Contact
Nadine Brochet (Ms.)
UNIVERSITE PARIS DIDEROT - PARIS 7
France
EU contribution
€ 745 753,52
Address
Rue Thomas Mann 5
75205 Paris
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Muriel Maurice (Ms.)
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
EU contribution
€ 474 835,32
Address
Geschwister Scholl Platz 1
80539 Muenchen
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Gerlinde Bach (Ms.)
Westfälische Wilhelms-Universität Münster
Germany
EU contribution
€ 477 790,90
Address
Schlossplatz 2
48149 Muenster
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Martina Pfeifer (Ms.)
UNIVERZITA KARLOVA
Czechia
EU contribution
€ 426 239,74
Address
Ovocny Trh 560/5
116 36 Praha 1
Activity type
Higher or Secondary Education Establishments
Administrative Contact
Milena Stiborova (Dr.)