3rd Estonian Summer School in
Computer and Systems Science (ESSCaSS'04)
III Eesti Arvuti- ja Süsteemiteaduse Suvekool (EASTS'04)
Pedase, August 8-12, 2004.
| Home -> |
| Call for Participation |
| Programme |
| Agenda |
| Last Minute Travel Information |
| Travel Information |
| Presentations and Posters |
| Registration and Cost |
| Venue |
| Organisers |
| Sponsors |
| Previous Schools |
| Contact |
| 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, mechatronics and artificial intelligence. The schools are organized by CIDEC. The working language of the school is English. |
| Eesti arvuti- ja süsteemiteaduse suvekool on hiljuti algatatud iga-aastane suvine kursus, mille peamiseks eesmärgiks on arendada arvuti- ja süsteemiteaduse, tarkvara, mehhatroonika ning tehismõistuse kraadiõppurite interdistsiplinaarset õpet. Kooli korraldab ÜIK. Kooli töökeel on inglise keel. |
NEWS
Please check the last minute travel information.
The final agenda is available here.
PROGRAMME
The programme of the school consists of short courses by renowned specialists and student sessions.
The list of courses to be presented in ESSCaSS`04 are:
|
Wilfried Brauer
Technische Universität München, Germany | LECTURES ON MULTIAGENT SYSTEMS (Details) http://wwwbrauer.in.tum.de/~brauer |
|
John Hatcliff Kansas State University, USA |
SOFTWARE MODEL CHECKING USING BOGOR -- A MODULAR AND EXTENSIBLE MODEL CHECKING FRAMEWORK (Details) http://www.cis.ksu.edu/~hatcliff/ |
|
Anders Ravn
Aalborg Universitet, Denmark | UML AND FORMAL DEVELOPMENT METHODS FOR EMBEDDED SYSTEMS (Details) http://www.cs.auc.dk/~apr |
|
Margus Veanes
Microsoft Research, Redmond | SPECIFICATION AND BLACK-BOX TESTING OF SOFTWARE WITH SPEC# (Details) http://research.microsoft.com/users/margus |
The participants of the school are encouraged to propose short presentations (20 min) and/or posters (details can be found here). The programme will be selected based on abstracts of 300-500 words. Submissions in all of the areas of computer science, systems engineering, software engineering, artificial intelligence, robotics and mechatronics are welcome. Presenting work in progress is encouraged, but so is also
presenting work submitted for formal publication elsewhere.
SPONSORS
The organisers of ESSCaSS`04 wish to thank the sponsors:
- Estonian Information Technology Foundation (via the Tiigriülikool programme);
- Ministry of Education and Research (via the centres of excellence in research programme);
- FP5 IST (project eVikings II, IST-2001-37592).
Programme Commitee
Jaan Penjam (Institute of Cybernetics), chair,
Juhan-Peep Ernits (Institute of Cybernetics / Tallinn University of Technology),
Sven Laur (University of Tartu),
Merik Meriste (University of Tartu),
Leo Mõtus (Tallinn University of Technology),
Tarmo Uustalu (Institute of Cybernetics),
Jüri Vain (Tallinn University of Technology).
Organisers
Juhan-Peep Ernits (Institute of Cybernetics / Tallinn University of Technology),Marko Kääramees (Institute of Cybernetics),
Ando Saabas (Institute of Cybernetics).
CONTACT
If you have any questions regarding this summer school, please feel free to contact the organisers at esscass04 at cc.ioc.ee.
Telephone: +3726204194
The postal address is:
Estonian Summer School in Computer and System Science
Institute of Cybernetics
Akadeemia tee 21
12618 Tallinn
Estonia
