Objectif
The proposal is for multi-participant Early Stage Research Training in Logic and Applications by three partners: the Universities of Leeds and Manchester; University Claude Bernard Lyon l and the Cole Normal Superior Lyon; and Ludwig Maximising Universitat Munched. Each partner has a large group producing high quality research in several branches of Logic, and together the partners cover most of the active fields of Logic and its links to Theoretical Computer Science, AI, and IT. There are already close collaborative links between the partners. Each partner has a large and successful Logic PhD programme. The grant will offer each partner several very strong extra PhD students and short-term student visitors. Students mostly will stay with more than one partner, and so broaden their logical background and range of influences. The scheme will fund 4 training workshops for students. Logic is a dynamic subject. In one direction, Model Theory has increasingly sophisticated applications to other parts of mathematics, and in another, Proof Theory, Complexity Theory, and the study of Reasoning under Uncertainty are applied to Computer Science, AI, and IT. Despite specialisation and the wide spread of the subject. Logic has a unity, witnessed by many new links across the subject, such as between Complexity Theory and Model Theory. The partners aim that the Early Stage Researchers will appreciate and exploit this unity. The partners will provide several aspects of structured training: technical training in a student's field; the development of a broad knowledge of Logic; and the acquisition of the complementary skills relevant to a research career. The scheme will equip Europe with a much-needed group of highly trained scientists in a flourishing field of wide impact, whilst strengthening the links to logicians outside Europe.
Mots‑clés
Appel à propositions
FP6-2002-MOBILITY-2
Voir d’autres projets de cet appel