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.

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.

 


Valid CSS! Valid XHTML 1.0 Strict Last modified on August 05 2004 21:39:41. esscass04 at cc.ioc.ee