Skip to main content

From Mathematical Logic To Applications

Obiettivo

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

Invito a presentare proposte

FP7-PEOPLE-ITN-2008
Vedi altri progetti per questo bando

Coordinatore

UNIVERSITY OF LEEDS
Indirizzo
Woodhouse Lane
LS2 9JT Leeds
United Kingdom

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Kathy Brownridge (Ms.)
Contributo UE
€ 487 487,11

Partecipanti (7)

THE UNIVERSITY OF MANCHESTER
United Kingdom
Contributo UE
€ 483 554,29
Indirizzo
Oxford Road
M13 9PL Manchester

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Liz Fay (Ms.)
THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD
United Kingdom
Contributo UE
€ 482 481,70
Indirizzo
Wellington Square University Offices
OX1 2JD Oxford

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Valerie Timms (Ms.)
CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS
Francia
Contributo UE
€ 754 642,91
Indirizzo
Rue Michel Ange 3
75794 Paris

Mostra sulla mappa

Tipo di attività
Research Organisations
Contatto amministrativo
Nadine Brochet (Ms.)
Université Paris Diderot-Paris 7
Francia
Contributo UE
€ 745 753,52
Indirizzo
Rue Thomas Mann
F-75205 / 13 Paris

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Muriel Maurice (Ms.)
LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germania
Contributo UE
€ 474 835,32
Indirizzo
Geschwister Scholl Platz 1
80539 Muenchen

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Gerlinde Bach (Ms.)
Westfälische Wilhelms-Universität Münster
Germania
Contributo UE
€ 477 790,90
Indirizzo
Schlossplatz 2
48149 Muenster

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Martina Pfeifer (Ms.)
UNIVERZITA KARLOVA
Cechia
Contributo UE
€ 426 239,74
Indirizzo
Ovocny Trh 560/5
116 36 Praha 1

Mostra sulla mappa

Tipo di attività
Higher or Secondary Education Establishments
Contatto amministrativo
Milena Stiborova (Dr.)