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.

CALL FOR PARTICIPATION

Background and objectives

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 but not limited to computer science, systems engineering, software engineering, mechatronics and artificial intelligence. The pilot event took place in August 2002 and attracted 36 participants (including 21 post-graduate students and 12 lecturers from the University of Tartu and the Tallinn University of Technology). Information about ESSCaSS`03 can be found here.

The summer schools are organised by CIDEC, a oint initiative of the Institute of Cybernetics (Tallinn), the Tallinn University of Technology and the University of Tartu for steering and promotion of graduate education in computer science and information technology. The series of summer schools is complementary to a series of international winter schools, also run by CIDEC. The winter schools started in 1996 and have been focused more narrowly on computer science theory.

The organisers encourage PhD students from other countries as well as from Estonia to participate. The school has a distributed student session - from the submitted abstracts of presentations a reasonable number (e.g. 10) of 20-minute presentations are selected by the program board (which coincides with the list of organisers). Additionally there will be a poster session.

The summer schools have the following main objectives:

  • Experienced lecturers introduce new ideas, approaches and developments related to computers and their usage, including topics in computer science, systems engineering, software engineering, mechatronics, robotics, artificial intelligence;
  • PhD students get an opportunity to present their research results, and receive comments, recommendations, and assessment from their fellow students and lecturers.

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.


VENUE

The venue is an attractive seaside resort at Pedase in Northern Estonia. The location features vicinity to the sea, woods of pine trees and lots of fresh air.

Tallinn, Estonia's capital, is famous for its picturesque medieval Old Town, a UNESCO World Heritage site. There are direct flights to Tallinn from Amsterdam, Berlin, Copenhagen, Frankfurt, Hamburg, Helsinki, Kiev, London, Milan, Moscow, Munich, Oslo, Paris, Prague, Riga, Stockholm, Tampere, Vilnius, Warsaw (flights to Tallinn). From Vilnius and Riga the Eurolines coach service is the practical travel option (Euroline bus timetable). Please check back at this web page for further details or send your question by e-mail to esscass04 at cc.ioc.ee.

Travel from Tallinn to Pedase and back

Please check travel section for details.

REGISTRATION

Registration is now closed.

SPONSORS

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



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


Valid CSS! Valid XHTML 1.0 Strict Last modified on April 30 2005 20:08:03. esscass04 at cc.ioc.ee