Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS
Content archived on 2024-05-27

Games and automata for synthesis and validation

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.

Fields of science (EuroSciVoc)

CORDIS classifies projects with EuroSciVoc, a multilingual taxonomy of fields of science, through a semi-automatic process based on NLP techniques. See: The European Science Vocabulary.

This project has not yet been classified with EuroSciVoc.
Be the first one to suggest relevant scientific fields and help us improve our classification service

You need to log in or register to use this function

Topic(s)

Calls for proposals are divided into topics. A topic defines a specific subject or area for which applicants can submit proposals. The description of a topic comprises its specific scope and the expected impact of the funded project.

Data not available

Call for proposal

Procedure for inviting applicants to submit project proposals, with the aim of receiving EU funding.

Data not available

Funding Scheme

Funding scheme (or “Type of Action”) inside a programme with common features. It specifies: the scope of what is funded; the reimbursement rate; specific evaluation criteria to qualify for funding; and the use of simplified forms of costs like lump sums.

NET - Research network contracts

Coordinator

AACHEN UNIVERSITY OF TECHNOLOGY
EU contribution
No data
Address
Ahornstr.55
52056 AACHEN
Germany

See on map

Total cost

The total costs incurred by this organisation to participate in the project, including direct and indirect costs. This amount is a subset of the overall project budget.

No data

Participants (7)

My booklet 0 0