Call For Papers: HOOTS99 Paris, Sept 1999 (deadline June 26)

Call for Papers

The Third International Workshop on 
Higher Order Operational Techniques in Semantics

Paris, September 30-October 1, 1999
A part of the PLI 99 conference
Affiliated with ESPRIT AppSem WG

SCOPE The third workshop on Higher Order Operational Techniques in Semantics
(HOOTS99) 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, and program logics.
Application areas include 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 26, 1999
Notification of acceptance         July 31, 1999
Final version due                  August 28, 1999
HOOTS99, Paris                     September 30 and October 1, 1999

PROGRAMME COMMITTEE Roberto Amadio, University of Provence; Andrew Gordon,
Microsoft Research (Co-Chair); Robert Harper, Carnegie Mellon University;
Alan Jeffrey, DePaul University; Jean-Jacques Levy, INRIA Rocquencourt;
Andrew Pitts, University of Cambridge (Co-Chair); David Sands, Chalmers
University; 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. Elsevier published an electronic
proceedings of the second workshop as Volume 10 of Electronic Notes in
Theoretical Computer Science.

SUBMISSION & PUBLICATION Postscript submissions of up to 12 pages should be
sent by email to Andrew Gordon adg@microsoft.com by June 26, 1999.
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. The ENTCS macros
available at ftp://math.tulane.edu/pub/entcs/hoots99 may be used for
preparing submissions, and must be used for preparing final versions of