Call for Papers
| Paris, September 30-October 1, 1999 | http://www.cl.cam.ac.uk/~ap/hoots |
| A part of the PLI 99 conference | http://pauillac.inria.fr/pli/ |
| Affiliated with ESPRIT AppSem WG | http://www.md.chalmers.se/Cs/Research/Semantics/APPSEM |
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 papers.