MATHLOGAPS · Mathematical Logic and Applications
6РП — Действия „Мария Кюри“
- Период
- 2004-09-01 → 2008-08-31
- Финансиране от ЕС
- 2 833 125 €
- Участници
- 5
- Схема
- EIF
Линиите свързват координатора с партньорите.
Накратко на български
Математическата логика изследва теории за множествата, изчислимостта и сложността, които са основа на теоретичната информатика. Тези области помагат за по-доброто разбиране на начина, по който работят компютрите и алгоритмите.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Резултати накратко
Final Activity Report Summary - MATHLOGAPS (Mathematical logic and applications)
This project contributed to the training of 46 Early Stage Researchers in various interconnected branches of mathematical logic, in particular in: model theory and set theory, and also proof theory, computability theory, uncertain reasoning, complexity theory and various other topics of mathematical logic which have close interaction with theoretical computer science. The project funded 16 researchers for the bulk of their PhD studies (4 in Leeds, 3 in Manchester, 2 in each of Lyon 1, Lyon ENS, and 5 in Munich). Four of these 16 have now obtained PhDs, with the others expected in the next year. In addition, it funded 30 researchers, mostly based outside the network, to pay visits of between 3 and 8 months to one of the five centres, to participate in the training activities there, participate where possible in the MATHLOGAPS training workshops and other conferences and workshops, and to hold research discussions with their supervisor at the centre visited, with other senior academics, and with fellows PhD students and postdocs. Four of these 30 have since obtained PhDs, and it is expected that all the others will complete doctorates. Some 50 papers have been submitted or published by the MATHLOGAPS researchers, again with many more in preparation.
Текст от CORDIS, на английски · Данни: CORDIS, © Европейски съюз
Цел на проекта
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.
Оригинален текст от CORDIS (на английски).
Участници
- UNIVERSITY OF LEEDS · LEEDSКоординаторОбединеното кралство
- ECOLE NORMALE SUPERIEURE DE LYON · LYONФранция
- LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN · MUENCHENГермания
- THE VICTORIA UNIVERSITY OF MANCHESTER · MANCHESTERОбединеното кралство
- UNIVERSITE CLAUDE BERNARD LYON 1 · VILLEURBANNEФранция
Връзки
Данни: CORDIS, © Европейски съюз