Overview of the Scheme

MATHLOGAPS is a multi-participant Early Stage Research Training Site in MATHematical LOGic and APplicationS run by three partners from 1 September 2004 until 31 August 2008: the Universities of Leeds and Manchester; Université Claude Bernard Lyon 1 and the Ecole Normale Supérieure Lyon; and Ludwig Maximilians Universität München. 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 offers 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, Computability 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.