HOOTS 2000 Call for Papers

Dear all,

This year, the Higher Order Operational Techniques in Semantics workshop
will be in Montreal in September, as part of PLI 2000.  Attached is the 
call for papers.  Apologies for multiple transmissions.


Alan Jeffrey               http://fpl.cs.depaul.edu/ajeffrey/
CTI, DePaul University, 243 S. Wabash Ave, Chicago 60604, USA


                              HOOTS 2000

                         Call For Papers for
                 The Fourth International Workshop on
           Higher Order Operational Techniques in Semantics

                   A satellite workshop of PLI 2000
                      Montreal, September 21-22

        HOOTS 2000 home page: http://hoots.cs.depaul.edu/
        HOOTS home page:      http://www.cl.cam.ac.uk/users/amp12/hoots
        PLI 2000 home page:   http://www.cs.yorku.ca/pli-00/

SCOPE The fourth workshop on Higher Order Operational Techniques in
Semantics (HOOTS 2000) will address fundamental principles and
important innovations in the definition, analysis, and application of
operational semantics for higher order languages and calculi.
Techniques addressed in the HOOTS series include operational
equivalences, type systems, program logics and relationships with
other forms of semantics. Application areas include the specification
and implementation of programming languages, security, and
mobility. Languages discussed include both high-level and low-level
languages, and a variety of calculi, including calculi of functions,
objects, and processes.

        Deadline for submission:      June 22, 2000
        Notification of acceptance:   July 29, 2000
        Final version due:          August 26, 2000
        HOOTS 2000, Montreal: September 21-22, 2000

PROGRAMME COMMITTEE Andrew Gordon, Microsoft Research; Robert Harper,
Carnegie Mellon University; Alan Jeffrey, DePaul University (Chair);
Andrew Pitts, Cambridge University; Julian Rathke, Sussex University;
David Sands, Chalmers University; Davide Sangiorgi, INRIA Sophia
Antipolis; Carolyn Talcott, Stanford University.

PREVIOUS MEETINGS The first HOOTS workshop was organised by Andrew
Gordon and Andrew Pitts on October 28-30, 1995 as one of the events
within the 6-month research programme on Semantics of Computation at
the Isaac Newton Institute for Mathematical Sciences, University of
Cambridge, UK. A book based on presentations at the workshop appeared
in the Publications of the Newton Institute series published by
Cambridge University Press.  The second HOOTS workshop was organised
by Andrew Gordon, Andrew Pitts, and Carolyn Talcott on December 8-11,
1997 at the Center for the Study of Language and Information, Stanford
University, USA. The third HOOTS workshop was organized by Andrew
Gordon and Andrew Pitts on September 30 and October 1, 1999 in Paris,
France, as part of the Principles, Logics, and Implementations of
high-level programming languages conference. Elsevier published an
electronic proceedings of the second workshop as Volume 10 of
Electronic Notes in Theoretical Computer Science, and the proceedings
of the third workshop as Volume 26.

SUBMISSION & PUBLICATION PostScript submissions of up to 12 pages
should be sent by email to Alan Jeffrey ajeffrey@cs.depaul.edu by June
22, 2000.  Simultaneous submission to other conferences or journals is
not allowed.  Papers should be formatted for USLetter or A4 paper.
Elsevier will publish the proceedings as a volume of Electronic Notes
in Theoretical Computer Science.  Hardcopies will be distributed at
the workshop.