Deprecated: Function ereg_replace() is deprecated in /export/kybi/web/cs.ioc.ee/yik/schools/sum2004/index.php on line 12

 
 


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.

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.

separator

NEWS

Please check the last minute travel information.

The final agenda is available here.


separator

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.


separator

SPONSORS

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


separator

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).

separator

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

 


Valid CSS! Valid XHTML 1.0 Strict Last modified on March 13 2005 21:28:03. esscass04 at cc.ioc.ee