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). Parole chiave Ramsey theory Turing degree complexity theory computability constructivism large cardinals mathematical logic model theory o-minimal proof theory set theory theoretical computer science Programma(i) FP7-PEOPLE - Specific programme "People" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013) Argomento(i) FP7-PEOPLE-ITN-2008 - Marie Curie Action: "Networks for Initial Training" Invito a presentare proposte FP7-PEOPLE-ITN-2008 Vedi altri progetti per questo bando Meccanismo di finanziamento MC-ITN - Networks for Initial Training (ITN) Coordinatore UNIVERSITY OF LEEDS Indirizzo Woodhouse lane LS2 9JT Leeds Regno Unito Mostra sulla mappa Regione Yorkshire and the Humber West Yorkshire Leeds Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Kathy Brownridge (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Contributo UE Nessun dato Partecipanti (7) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto THE UNIVERSITY OF MANCHESTER Regno Unito Contributo UE € 483 554,29 Indirizzo Oxford road M13 9PL Manchester Mostra sulla mappa Regione North West (England) Greater Manchester Manchester Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Liz Fay (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato THE CHANCELLOR, MASTERS AND SCHOLARS OF THE UNIVERSITY OF OXFORD Regno Unito Contributo UE € 482 481,70 Indirizzo Wellington square university offices OX1 2JD Oxford Mostra sulla mappa Regione South East (England) Berkshire, Buckinghamshire and Oxfordshire Oxfordshire Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Valerie Timms (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE CNRS Francia Contributo UE € 754 642,91 Indirizzo Rue michel ange 3 75794 Paris Mostra sulla mappa Regione Ile-de-France Ile-de-France Paris Tipo di attività Research Organisations Contatto amministrativo Nadine Brochet (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato 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.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN Germania Contributo UE € 474 835,32 Indirizzo Geschwister scholl platz 1 80539 Muenchen Mostra sulla mappa Regione Bayern Oberbayern München, Kreisfreie Stadt Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Gerlinde Bach (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato Westfälische Wilhelms-Universität Münster Germania Contributo UE € 477 790,90 Indirizzo Schlossplatz 2 48149 Muenster Mostra sulla mappa Regione Nordrhein-Westfalen Münster Münster, Kreisfreie Stadt Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Martina Pfeifer (Ms.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato UNIVERZITA KARLOVA Cechia Contributo UE € 426 239,74 Indirizzo Ovocny trh 560/5 116 36 Praha 1 Mostra sulla mappa Regione Česko Praha Hlavní město Praha Tipo di attività Higher or Secondary Education Establishments Contatto amministrativo Milena Stiborova (Dr.) Collegamenti Contatta l’organizzazione Opens in new window Sito web Opens in new window Altri finanziamenti Nessun dato
