From owner-theorynt@LISTSERV.NODAK.EDU Tue Jun 10 13:16:34 1997 Received: from Sunburn.Stanford.EDU (Sunburn.Stanford.EDU [171.64.67.178]) by robotics.Stanford.EDU (8.8.5/8.8.5) with ESMTP id NAA09371 for ; Tue, 10 Jun 1997 13:16:34 -0700 (PDT) Received: from listserv.nodak.edu (listserv.NoDak.edu [134.129.111.8]) by Sunburn.Stanford.EDU (8.8.4/8.8.4) with ESMTP id NAA09908; Tue, 10 Jun 1997 13:05:53 -0700 (PDT) Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.732173B0@listserv.nodak.edu>; Tue, 10 Jun 1997 15:03:27 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 702465 for THEORYNT@LISTSERV.NODAK.EDU; Tue, 10 Jun 1997 15:03:21 -0500 Received: from listserv (134.129.111.8) by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.6F5E5850@listserv.nodak.edu>; Tue, 10 Jun 1997 15:03:20 -0500 Received: from LISTSERV.NODAK.EDU by LISTSERV.NODAK.EDU (LISTSERV-TCP/IP release 1.8c) with spool id 702454 for THEORY-A@LISTSERV.NODAK.EDU; Tue, 10 Jun 1997 15:03:20 -0500 Received: from usc.edu by listserv.nodak.edu (LSMTP for Windows NT v1.1a) with SMTP id <0.6E473BE0@listserv.nodak.edu>; Tue, 10 Jun 1997 15:03:18 -0500 Received: from pollux2.usc.edu (pollux2.usc.edu [128.125.253.192]) by usc.edu (8.8.4/8.7.2/usc) with ESMTP id NAA01495 for ; Tue, 10 Jun 1997 13:03:15 -0700 (PDT) Received: (from ierardi@localhost) by pollux2.usc.edu (8.8.4/8.8.4/usc) id NAA02710 for theory-a@listserv.nodak.edu; Tue, 10 Jun 1997 13:02:44 -0700 (PDT) X-Authentication-Warning: sool.ioc.ee: marko owned process doing -bs Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Approved-By: Doug Ierardi Approved-By: Theory-A - TheoryNet World-Wide Events Message-ID: Date: Tue, 10 Jun 1997 13:02:44 PDT Reply-To: Marko Kaaramees Sender: TheoryNet List From: Marko Kaaramees Subject: 9th Nordic Workshop on Programming Theory Comments: To: THEORY-A@LISTSERV.NODAK.EDU To: THEORYNT@LISTSERV.NODAK.EDU X-Mozilla-Status: 0001 Content-Length: 2711 ------------------------------------------------------------------ Second Announcement and Call for Participation 9TH NORDIC WORKSHOP ON PROGRAMMING THEORY Tallinn, Estonia, 15-17 October 1997 http://jus.ioc.ee/jus/nwpt97/ The objective of the workshop is to bring together researchers from the Nordic and Baltic countries interested in programming theory, in order to improve mutual contacts and cooperation. Typical topics of the workshop include (but are not limited to): - Semantics of programs - Programming logics - Program verification - Formal specification of programs - Program synthesis - Program transformation and program refinement - Real-time and hybrid systems - Modeling of concurrency - Programming methods - Tools for program construction and verification INVITED SPEAKERS: Martin Wirsing http://www.pst.informatic.uni-muenchen.de/personen/wirsing/wirsin-e.html Jozef Hooman http://www.win.tue.nl/win/cs/tt/hooman/JH.html Reinhard Wilhelm http://www.cs.uni-sb.de/RW/users/wilhelm/wilhelm.html Enn Tyugu http://www.it.kth.se/~tyugu WORKSHOP PLACE: The workshop is organized by the Institute of Cybernetics and will be starting Wednesday morning, 15 October 1997, and ending mid-afternoon, Friday, 17 October 1997. The meetings will be at the Institute of Cybernetics, Akadeemia tee 21, Tallinn. Tallinn is the capital of Estonia and it is famous for its beautiful Old City. PARTICIPATION: More information and registration form is available on the Web, under http://jus.ioc.ee/jus/nwpt97/ N.B. Attendance at the workshop is limited to 70 participants: register early to ensure a place! Registrations will be accepted on a first-come-first-served basis. SUBMISSION: If you wish to give a presentation, please enclose a one-page abstract of the talk (LaTeX or PostScript). In the event that the number of proposed talks exceeds the number of slots available, the Programme Committee will make a selection, based on the submitted abstracts. The programme for the workshop will be available by 1 October. (Those who submit abstracts that are not selected for presentation will be able to cancel their registration and obtain a refund of the fees.) IMPORTANT DATES: September 10th - submission of abstracts September 20th - notification of acceptance October 15th -17th - WORKSHOP MORE INFORMATION: WWW: http://jus.ioc.ee/jus/nwpt97/ This includes accommodation, local travel, and tourist information. E-mail: nwpt97@jus.ioc.ee Fax: +372 6 397 042 Mail: NWPT'97 Institute of Cybernetics Akadeemia tee 21 EE0026 Tallinn ESTONIA