[Prev][Next][Index][Thread]

8th Nordic Workshop on Programming Theory (second announcement)


[------ The Types Forum ------- http://www.dcs.gla.ac.uk/~types ------]

Please redistribute this announcement to anybody that might be interested.

- Magne

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

              Final Announcement and Call for Participation

                 8th Nordic Workshop on Programming Theory
                    Oslo, Norway, 4-6 December 1996

               N.B. DEADLINE for Registration is 28 OCTOBER!

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 and type systems
  -  Program verification and typing
  -  Formal specification of programs 
  -  Program synthesis
  -  Program transformation and program refinement
  -  Modeling of concurrency
  -  Programming methods
  -  Tools for program construction and verification

Invited speakers include
  -  Peter D. Mosses, Aarhus University, Denmark
  -  Willem-Paul de Roever, Kiel University, Germany
  -  Nikolai Nikolaevich Nepejvoda, Udmurt University, Izhevsk, Russia

The workshop is organised by the Department of Informatics, University
of Oslo, and will be starting Wednesday morning, 4 December 1996, and
ending mid-afternoon, Friday 6 December 1996. The meetings will be at the
Department of Informatics, Gaustadalleen 23, Blindern, Oslo.

REGISTRATION: More information and registration form
is available on the Web, under http://www.ifi.uio.no/~nwpt96/
N.B. As attendance at the workshop is limited to 60 participants,
Please register as soon as possible, and by 28 OCTOBER at the latest. 

SUBMISSION: If you wish to give a presentation, please enclose a one-page
abstract of the talk (TeX or LateX). There is a small amount of travel
support available for Baltic participants.

For further information or in case of problems concerning attendance at the
workshop, please send a message to the following address:

     NWPT'96
     Department of Informatics        WWW:     http://www.ifi.uio.no/~nwpt96/
     University of Oslo
     PB 1080 Blindern                 E-mail:  nwpt96@ifi.uio.no
     N-0316 Oslo,                     Fax:     +47 852401