The Estonian Summer Schools in Computer and Systems Science are a recently established series of regional summer courses, primarily promoting interdisciplinary education of graduate students specialising in computer science, systems engineering, software engineering, artificial intelligence and mechatronics. The schools are organized by CIDEC. The working language of the schools is English.

Eesti arvuti- ja süsteemiteaduse suvekoolid on hiljuti algatatud iga-aastased suvised kursused, mille peamiseks eesmärgiks on arendada arvutiteaduse, süsteemitehnika, tarkvaratehnika, tehismõistuse ja mehhatroonika kraadiõppurite interdistsiplinaarset õpet. Koole korraldab ÜIK. Koolide töökeel on inglise keel.

Programme

The programme of an ESSCaSS school consists of short courses by renowned specialists and a student session.

The courses to be presented at ESSCaSS`05 are:

Dines Bjørner
Danish Technical University, Lyngby, Denmark
TOWARD A DOMAIN THEORY OF TRANSPORTATION (details)
http://www2.imm.dtu.dk/~db/
Jean-Marie Jacquet
University of Namur, Belgium
COORDINATION MODELS AND LANGUAGES: FROM THEORY TO PRACTICE (details)
http://www.info.fundp.ac.be/~jmj/
Jakob Rehof
Microsoft Research, Redmond, USA
ZING: SYSTEMATIC STATE SPACE EXPLORATION OF CONCURRENT SOFTWARE (details)
http://research.microsoft.com/~rehof
Reino Kurki-Suonio
Tampere University of Technology, Finland
INCREMENTAL AND ASPECT-ORIENTED DEVELOPMENT OF OPERATIONAL SPECIFICATIONS IN TERMS OF HORIZONTAL ABSTRACTIONS (details)
http://www.cs.tut.fi/~rks/
Ina Schieferdecker
Fraunhofer Fokus, Germany
NEW APPROACHES TOWARDS AUTOMATED SOFTWARE TESTING: THE TESTING AND TEST CONTROL NOTATION TTCN-3 (details)

Sponsors

The organisers of ESSCaSS`05 wish to thank the sponsors:

Programme Committee

 

Last update August 07, 2005 15:20 EET by local organizers, esscass05_at_cc.ioc.ee
http://cs.ioc.ee/yik/schools/sum2005/

© 2005 Institute of Cybernetics at TUT, All Rights Reserved