Ann: School on Specification, Refinement, and Verification

• Subject: Ann: School on Specification, Refinement, and Verification
• From: Johan.Lilius@abo.fi
• Date: Mon, 16 Mar 1998 10:26:27 +0200 (EET)

Apologies if you receive multiple copies of this!

======================================================================

                      European Educational Forum

        School on Specification, Refinement, and Verification

                Turku, Finland, August 10 -- 21, 1998

======================================================================

           Preliminary Announcement, 10th of March, 1998

======================================================================


General Information

    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.
 
    This school is sponsored by the EC via the TMR network 
    "Synergos", so young researchers (up to 35 years of age) 
    from the EC can apply for a grant, covering for part of 
    the costs for travel and subsistence. 


Invited Speakers

    The following is a preliminary list of speakers, who will 
    be giving the courses in the school. The topics and more 
    detailed schedule will be provided later.

    * Programming logics
	Martin Abadi (DEC Systems Research Center)
	Eric Hehner (University of Toronto)
	Ralph-Johan Back (Turku Center of Computer Science)
    * Mechanical support (for specification, refinement and 
      verification)
	Jean-Raymond Abrial (Consultant, Paris)
	Orna Grumberg (Technion)
	Jockum von Wright (Turku Center of Computer Science)
    * Formal methods in system design
	Reino Kurki-Suonio (Tampere University of Technology)
	Alain Martin (California Institute of Technology)
	Amir Pnueli (Weizmann Institute of Science)
	Kaisa Sere (Turku Center of Computer Science)
	Pamela Zave (AT&T Labs Research)

Location and Accommodation

    The summer school takes place in the Mauno Koivisto 
    Centre in the city of Turku. Turku is situated in the 
    South-West 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 a boat from Stockholm.

    Accommodation will be organized in the centre of Turku.


Further Information

    For further information:

	See the web-page http://www.tucs.fi/events/synergos
	
        or contact

	Leena Palmulaakso-Nylund
	Turku Centre for Computer Science
        Lemminkaisenkatu 14 A
        FIN-20520 Turku
        Finland

	E-mail:	lpalmula@abo.fi
	Phone:	+358-2-2154204
	Fax:	+358-2-2410154

• Prev: 2nd CFP - IEEE Real-Time Systems Symposium 1998 (RTSS '98)
• Next: FLoC'99
• Index: AMAST Mail 1998