This document is also available as
PostScript
and
DVI.
 NS946

PostScript.
Uffe H. Engberg, Kim G. Larsen, and
Peter D. Mosses, editors.
Proceedings of the 6th Nordic Workshop on Programming Theory
(Aarhus, Denmark, 1719 October, 1994), December 1994.
v+483pp.
Abstract: The Nordic Workshop on Programming Theory brings
together researchers from the Nordic and Baltic countries, in order to
improve mutual contacts and collaboration. The invited speakers, however,
generally come from nonNordic/Baltic countries. The 6th Nordic Workshop
attracted 63 participants. The workshop had three invited talks and 41
submitted talks. This proceedings contains full papers or extended abstracts
of the talks. For completeness we have included short abstracts for the few
remaining talks.
 NS945

PDF.
Andrew M. Pitts.
Some Notes on Inductive and CoInductive Techniques in the
Semantics of Functional Programs, DRAFT VERSION.
December 1994.
vi+135 pp.
Abstract: These notes were handed out at a course on Inductive and CoInductive Techniques in the Semantics of Functional
Programs given by Andrew Pitts, The Computer Laboratory, Cambridge
University, while visiting BRICS 21 November  2 December 1994. The course
material included these notes, the report Relational Properties of
Domains and slides.
Course Description
The aim of the course
is to describe recent advances in formal techniques for establishing
observational equivalence of functional programs. It considers both
operational and denotational methods and the relationship between them. One
goal is to give an exposition of Howe's method for characterizing
observational equivalence as a coinductively defined ``applicative
bisimulation''. Another goal is to describe Freyd's analysis of recursively
defined domains in terms of a property of mixed initiality/finality.
Applications of this are given to proving correspondence of operational and
denotational semantics and to inductive and coinductive reasoning about
``userdeclared'' datatypes.
 NS944

PDF.
Peter D. Mosses, editor.
Abstracts of the 6th Nordic Workshop on PROGRAMMING THEORY (Aarhus, Denmark, 1719 October, 1994), October 1994.
v+52 pp.
Abstract: The Nordic Workshop on Programming Theory brings
together researchers from the Nordic and Baltic countries, in order to
improve mutual contacts and collaboration. The invited speakers, however,
generally come from nonNordic/Baltic countries. The 6th Nordic Workshop
attracted 63 participants. Abstracts of the three invited talks, the 41
submitted talks, and the four system demonstrations, are collected here. A
proceedings volume, with full papers by speakers at the workshop, is to
appear by the end of 1994.
 NS943

PDF.
Sven Skyum, editor.
Complexity Theory: Present and Future (Aarhus, Denmark,
1518 August, 1994), September 1994.
v+213 pp.
Abstract: These ``proceedings'' contain slides, overviews and
papers on which the conference talks were based.
The conference was a
byproduct of a longer meeting for a relatively small number of researchers in
complexity theory, hosted by BRICS, which took place in Aarhus during the
months of August and September, 1994.
 NS942

PDF.
David A. Basin.
Induction Based on Rippling and Proof Planning. MiniCourse.
August 1994.
62 pp.
Abstract: Mathematical Induction is a central technique in
reasoning about programs and their properties, e.g., loops and recursion,
recursively defined datastructures, and program termination. For researchers
interested in establishing these properties on a computer, such reasoning
must be automated or at least partially supported. In this five hour seminar
I will cover some of the central issues in automating proof by mathematical
induction. In particular, formalisms for mathematical induction, techniques
for selecting induction schemata and wellfounded orders, rewriting in
inductive theorem proving, and applications. The topics will often be
illustrated using ideas and techniques that have been developed at Edinburgh
and embodied in the CLAM Inductive Theorem Proving System.
 NS941

PDF.
Peter D. Mosses, editor.
Proc. 1st International Workshop on Action Semantics (Edinburgh, 14 April, 1994), May 1994.
145 pp.
Abstract: Actions speak louder than words: Action Semantics is
now being used in practical applications! This workshop surveyed recent
achievements, demonstrated tools, and coordinated projects. It was open to
all.
Brief abstracts of the presentations were handed out at the
workshop. Extended abstracts/full papers were collected afterwards and are
now published here.
