GAMES · Games and automata for synthesis and validation
5РП — Човешки потенциал в науката
- Период
- 2002-09-01 → 2006-08-31
- Финансиране от ЕС
- 1 396 000 €
- Участници
- 8
- Схема
- NET
Линиите свързват координатора с партньорите.
Накратко на български
Игрите и автоматите се използват за създаване и проверка на сложни софтуерни системи. Тези методи помагат за по-точното проектиране на програми и правят обучението в областта по-достъпно.
Кратко обяснение, генерирано от езиков модел по текста на CORDIS. Оригиналът е по-долу.
Цел на проекта
The training activities of this network are based on the appointment and exchange of young researchers, on individual training at each site, and on central training events for the entire network and beyond.Local training at the sites will include- training through research : the young researchers will be systematically integrated into the research activities of their hosting groups,- advanced post-graduate courses,- short research visits, and- local research seminars and mini-workshops around specific tasks. The central training activities of the network include annual network conferences, with a program of invited survey lectures, and two summer schools. In addition, this network will produce a unified and up-to-date presentation of game and automata based formal methods. This will make the subject more accessible and have an impact on training in this area beyond the actual duration of the project.
Оригинален текст от CORDIS (на английски).
Участници
- AACHEN UNIVERSITY OF TECHNOLOGY · AACHENКоординаторГермания
- UNIVERSITE DE BORDEAUX I · TALENCEФранция
- UNIVERSITY OF EDINBURGH · EDINBURGHОбединеното кралство
- UNIVERSITÉ DE PARIS VII DENIS DIDEROT · PARISФранция
- UPPSALA UNIVERSITY · UPPSALAШвеция
- VIENNA UNIVERSITY OF TECHNOLOGY · WIENАвстрия
- WARSAW UNIVERSITY · WARSZAWAПолша
- WILLIAM MARSH RICE UNIVERSITY · HOUSTONСъединени щати
Връзки
Данни: CORDIS, © Европейски съюз