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.
Keywords
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Project’s keywords as indicated by the project coordinator. Not to be confused with the EuroSciVoc taxonomy (Fields of science)
Programme(s)
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Multi-annual funding programmes that define the EU’s priorities for research and innovation.
Topic(s)
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.
Call for proposal
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.
FP6-2002-MOBILITY-2
See other projects for this call
Funding Scheme
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.
Coordinator
LS2 9JT LEEDS
United Kingdom
The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.