[M8] ================================================ AMAST Links 02 05

     Syntactic Control of Interference and Linear Logic, SCILL'95
     Glasgow University, Monday 31 July -- Thursday 3 August 1995

   The full version of this Call for Participation is available at URL:
   http://www.cs.utwente.nl/data/amast/links/v02/i05/full/AC0205M8.txt

  Reynold's Syntactic Control of Interference (SCI) and Girard's
Linear Logic (LL) appear to be connected, but the precise nature of
the connection remains elusive.  Outstanding mysteries include:
 o  Various systems for adding state to functional languages have been
    proposed by Hudak, Odersky, Reddy, Wadler, and others.  These 
    systems overlap with SCI, with LL, and with each other.  They 
    possess clear similarities but also disturbing differences.  Is 
    there a deep connection between them?
 o  In particular, each of the systems above has a notion of `read 
    only' type.  How does this link with the `passive' types of SCI 
    and the `of course' types of LL?
 o  Girard and Reynolds also contributed to notions of semantic
    parametricity, which O'Hearn and Tennant have shown also helps
    to model state.  Does parametricity have a role to play in
    understanding SCI and LL?
 o  Linear logic is categorically modelled by comonads (with some
    additional structure), while monads (with different additional
    structure) have been used to model state.  Is this similarity a
    mirage, or is there a true duality?
  The goal of this workshop is to get together some of the main
developers of these ideas, in an attempt to bring out the relationships
between them.  It is proposed to have few participants and plenty of
time in order that the `work' in `workshop' can be taken seriously!
The focus will be on building understanding, and we hope new analyses
and syntheses will emerge.
  Participation is by invitation only.  If you are interested in 
actively exploring the interaction between SCI, LL, and state, please 
ask to be invited. Or let us know if there is someone we should invite.
  There is a SCILL home page at
URL: http://www.dcs.glasgow.ac.uk/~wadler/scillcall.html