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
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Parole chiave del progetto, indicate dal coordinatore del progetto. Da non confondere con la tassonomia EuroSciVoc (campo scientifico).
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
FP7-PEOPLE-ITN-2008
Vedi altri progetti per questo bando
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Coordinatore
LS2 9JT Leeds
Regno Unito
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.