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.

Programme(s)

• FP5-HUMAN POTENTIAL - Programme for research, technological development and demonstration on "Improving the human research potential and the socio-economic knowledge base" (1998-2002)

Funding Scheme

NET - Research network contracts

Coordinator

AACHEN UNIVERSITY OF TECHNOLOGY

Address

Ahornstr.55
52056 Aachen
Germany

Participants (7)

UNIVERSITE DE BORDEAUX I

France

Address

351,Cours De La Libération 351
33405 Talence

UNIVERSITY OF EDINBURGH

United Kingdom

Address

James Clerk Maxwell Buildings, Kings Building's
EH9 3JZ Edinburgh

UNIVERSITÉ DE PARIS VII DENIS DIDEROT

France

Address

Place Jussieu 2
75251 Paris

UPPSALA UNIVERSITY

Sweden

Address

Laegerhyddsvaegen, 2
75105 Uppsala

VIENNA UNIVERSITY OF TECHNOLOGY

Austria

Address

Favoritenstrasse, 9-11 / 1842
1040 Wien

WARSAW UNIVERSITY

Poland

Address

Banacha 2
02 097 Warszawa

WILLIAM MARSH RICE UNIVERSITY

United States

Address

6100 Main Street, Ms 16
77005-1892 Houston