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

For you perhaps




>From engberg@daimi.aau.dk Tue Jan 31 14:19:33 1995
Return-Path: <engberg@daimi.aau.dk>
Delivery-Date: 
Received: from gorm.daimi.aau.dk by vanuata.dcs.gla.ac.uk with SMTP (PP);
          Tue, 31 Jan 1995 14:19:08 +0000
Received: by gorm.daimi.aau.dk id AA04947  (5.67b8/IDA-1.5 
          for types-request@dcs.gla.ac.uk); Tue, 31 Jan 1995 15:18:43 +0100
Date: Tue, 31 Jan 1995 15:18:43 +0100
From: Uffe Engberg <engberg@daimi.aau.dk>
Message-Id: <199501311418.AA04947@gorm.daimi.aau.dk>
To: types-request@dcs.gla.ac.uk
Subject: Proc. 6th Nordic Workshop on Programming Theory on WWW
Status: RO


                              Proceedings of the

                   6th Nordic Workshop on Programming Theory

                    (Aarhus, Denmark, 17--19 October, 1994)

                                Uffe H. Engberg
                                 Kim G. Larsen
                           Peter D. Mosses (editors)

                                 December 1994



                                   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 non-Nordic/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.

   Copies  of  the  Proceedings   and  individual  papers  in  A4  format  are
electronically accessible through WWW and anonymous FTP:


   http://www.brics.aau.dk/BRICS/NS/94/6/BRICS-NS-94-6/


   ftp ftp.brics.aau.dk (cd pub/BRICS/NS/94/6/NWPT6)


-- 
###########  B R I C S			   |	Uffe Henrik Engberg
##### #####  Computer Science Department   |	engberg@daimi.aau.dk
###########  University of Aarhus	   |	+45 8942 3365
##### #####  Ny Munkegade, Building 540	   |
##### #####  DK-8000 Aarhus C		   |	+45 8942 3360	BRICS
##### #####  Denmark			   |	+45 8942 3255	Fax

             BRICS WWW URL "http://www.brics.aau.dk/BRICS/"