Workshop on Linear Logic, Petri Nets, etc.

Date: Mon, 2 Apr 90 18:08:30 BST

         Workshop on Linear Logic, Dialectica Categories, 
                Petri Nets, and related topics  

                 27 - 29 April 1990, Edinburgh

With the support of the SERC Logic for IT Intiative the Laboratory
for Foundations of Computer Science is please to announce a workshop
on Dialectica categories, Petri nets, linear logic, and related
topics.  The meeting is to be held at the University of Edinburgh on
the weekend of Friday 27th -- Sunday 29th April, starting over lunch
on Friday and ending after lunch on Sunday. There will be no meeting
fee, but attendees will be responsible for their own accommodation
charges and evening meals.

	Over recent years, there has been and there continues to be
substantial work on Linear Logic and its models, in particular
quantales, Petri nets, and Dialectica categories. A considerable
amount of this work has been done in the immediate vicinity of the
North Sea. However, much of it has not been published, and some of it
has not even been communicated widely yet.  So we seek to bring
together the workers in the field so that we may all gain a more
complete understanding of the current progress in these and related
topics. The unifying theme of this could perhaps best be described as
Linear Logic and Concurrency.

	If you are interested in attending, could you please complete
the form below and return it by 21st April. If you request
accommodation, we can then send you details about a week before the
workshop.  Even if you do not want to commit formally to attendance at
the moment please inform us of your possible interest in the meeting
so we can send you a fuller announcement. 

George Cleland  Mike Fourman  John Power


Return to George Cleland, LFCS, Dept of Computer Science, King's Buildings,
Edinburgh, Scotland, EH9 3JZ. (Email glc@lfcs.ed.ac.uk)


Tel. No.                           E-mail address:           

I wish to attend the workshop and request accommodation as detailed below.  
I realise that I will have to  settle bills directly with the establishment
and will notify them of any non-appearance.

Please book me into: 

bed and breakfast              (15-20 pounds per night)   ___
modest hotel                   (20-30 pounds per night)   ___         

more expensive hotel           (state your limit)         ___

on the following nights      Thursday 26th  ___
       (please tick)         Friday 27th    ___   
                             Saturday 28th  ___  
                             Sunday 29th    ___   

I should like to give a talk entitled        
of ___  minutes duration.