|
The School on Specification, Refinement, and Verification is the
second event in a series of four "Summer Schools on Foundations of
Computing Science" organised by the European Educational Forum
(EEF). The EEF is a joint initiative of the three interuniversitary
research schools BRICS (Basic
Research in Computer Science) from Denmark, IPA (Institute for
Programming Research and Algorithmics) from the Netherlands, TUCS (Turku Centre for Computer
Science) from Finland.
The goal of EEF is to organize various forms of
activities aimed at the education of Ph.D.'s and young researchers in
current research trends in computer science.
This school is sponsored by the EU via the TMR network
"Synergos", so young researchers (up to 35 years of age)
from the EU can apply for a grant, covering for part of
the costs for travel and subsistence.
 Lecturers
- Programming logics
- Mechanical support (for specification, refinement and
verification)
- Formal methods in system design
Program committee
The PC consists of Ralph-Johan
Back, Johan Lilius,
Kaisa Sere, Magnus
Steinby, Joakim von Wright; R. Back
is the chairperson.
Registration
The registration form should be received by the organizers by June 15,
1998. The form contains details about fees etc. The conference
fee covers meals and refreshments during the school as well as the
lecture material and the social events. The accommodation is not
included in this fee.
Location and Accommodation
The summer school takes place in the Mauno Koivisto Centre
building of the Turku
Technology Center in the city of Turku. Turku is situated in the
southwest corner of Finland. There are good flight connections to
Turku both from Helsinki and Stockholm. You can also come to Turku
either by bus or by train from Helsinki, or by boat from Stockholm.
Accommodation will be organized in the center of Turku.
Travel
Turku is situated in the southwestern corner of Finland. It is
reachable by air both via Helsinki and via Stockholm in Sweden. From
Helsinki you can also travel by bus or by train to Turku. The
journey takes some 2 hours. From Stockholm there are two boat lines
to Turku through a beautiful archipelago. The boat trip takes 8-10
hours.
Here you can find more information about Turku and
how to get there.
Grants
Grants can be applied to cover
expenses of young researchers that wish to participate.
- Young researchers (aged 35 years or under) on postgraduate or
postdoctorate level who are citizens of European Union member
states or associated states can apply for a grant that covers 60% of the
travel, registration and accommodation expenses using this
form. These grants are funded by the European Union's TMR
Network Synergos.
- Baltian and northwest russian researchers can apply for
grant using this form.
Deadline:
Applications for grants should be sent in by May 15,
1998.
Notification:
Applicants will be notified by June 1, 1998. In
case more grants
are applied for than available, the organisers will make a
selection.
Contact Information
- Johan Lilius,
Åbo Akademi University,
Department of Computer Science,
Lemminkaisenkatu 14 A,
FIN-20520 Turku, Finland,
tel: +358-2-2154099,
fax: +358-2-2154732,
e-mail: Johan.Lilius@abo.fi
(on vacation 1.7-3.8)
- Mauno Rönkkö,
Åbo Akademi University,
Department of Computer Science,
Lemminkaisenkatu 14 A,
FIN-20520 Turku, Finland,
tel: +358-2-2154085,
fax: +358-2-2154732,
e-mail: Mauno.Ronkko@abo.fi
(on vacation 22.6-11.7, in Marktoberdorf 27.7-8.8)
- Leena Palmulaakso-Nylund,
Turku Centre for Computer Science,
Lemminkaisenkatu 14 A,
FIN-20520 Turku,
Finland,
tel: +358-2-2154204,
fax: +358-2-2410154,
e-mail: lpalmula@abo.fi
(on vacation 20.7-2.8)
Schedule for lectures
PostScript version
|
