Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski pl
CORDIS - Wyniki badań wspieranych przez UE
CORDIS
Zawartość zarchiwizowana w dniu 2024-05-27

Games and automata for synthesis and validation

Cel

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.

Dziedzina nauki (EuroSciVoc)

Projekt nie został jeszcze sklasyfikowany według klasyfikacji EuroSciVoc.
Wskaż dziedziny nauki, które twoim zdaniem są najbardziej istotne z punktu widzenia tego projektu i pomóż nam usprawnić naszą usługę klasyfikacji.

Program(-y)

Temat(-y)

Brak dostępnych danych

Zaproszenie do składania wniosków

Brak dostępnych danych

System finansowania

NET - Research network contracts

Koordynator

AACHEN UNIVERSITY OF TECHNOLOGY
Wkład UE
Brak danych
Adres
Ahornstr.55
52056 AACHEN
Niemcy
Koszt całkowity
Brak danych

Uczestnicy (7)