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.
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:
Department of Informatics WWW: http://www.ifi.uio.no/~nwpt96/
University of Oslo
PB 1080 Blindern E-mail: email@example.com
N-0316 Oslo, Fax: +47 852401