Objective
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.
Topic(s)
Data not availableCall for proposal
Data not availableFunding Scheme
NET - Research network contractsCoordinator
52056 Aachen
Germany
See on map
Participants (7)
33405 Talence
See on map
EH9 3JZ Edinburgh
See on map
75251 Paris
See on map
75105 Uppsala
See on map
1040 Wien
See on map
02 097 Warszawa
See on map
77005-1892 Houston
See on map