 |
 |
 |
 |
 |
 |
|
|
TUCS organizes- EEF Summer School on - SPECIFICATION,
|
ABOUT THE SCHOOLThis is the second summer school organized in Turku by Turku Centre for Computer Science (TUCS) together with European Educational Forum (EEF) on the topics of Specification, Refinement and Verification. EEF involves 32 universities in Denmark, The Netherlands, Finland, Italy, Germany and the United Kingdom. The common denominator of the research schools is the training of Ph.D. students and young researchers. The aim of the EEF is to organize training activities directed at Ph.D. students and young researchers from all over Europe. The research in computer science promoted by all research schools concerns Basic Research and its Applications. LECTURERS
Program Committee Ralph-Johan Back (Chairman), Kaisa Sere Organizing Committee Ivan Porres (Chairman), Leena Palmulaakso-Nylund, Ulrika Gustafsson, Sebastien Lafond The summer school takes place in the Turku Technology Centre in the city of Turku. Turku is situated in the southwestern corner of Finland. Here you can find more information about Turku and how to get there. INFORMATION FOR THE PARTICIPANTS REGISTRATIONRegistration form should be received by the organizers by June 14, 2002. Academic participants To register please fill in this form. GrantsGrants can be applied to cover expenses of young researchers that wish to participate.
Deadline: Applications for grants should be sent in by June 14, 2002 Notification: Applicants will be notified by June 30, 2001. The organisers will make the final decision about the amount of the grant when all the applications have been received. In case more grants are applied for than available, the organisers will make a selection. Participants from the companies To register please fill in this form. You will find information about accommodation in Turku here. CONTACT INFORMATION
|