Skip to main content

Mathematical Logic and Applications

Objective

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.

Call for proposal

FP6-2002-MOBILITY-2
See other projects for this call

Funding Scheme

EIF - Marie Curie actions-Intra-European Fellowships

Coordinator

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

Participants (4)

ECOLE NORMALE SUPERIEURE DE LYON
France
Address
46, Allee D'italie
Lyon
LUDWIG MAXIMILIANS UNIVERSITAET MUENCHEN
Germany
Address
Geschwister-scholl-platz 1
Munchen
THE VICTORIA UNIVERSITY OF MANCHESTER
United Kingdom
Address
Oxford Road
Manchester
UNIVERSITE CLAUDE BERNARD LYON 1
France
Address
43 Boulevard Du 11 Novembre 1918
Villeurbanne