Call for Participation: Deadline for early registration is August 20.

../IMG/wee-HOOTS.gif (3508 bytes)

HOOTS99

The Third International Workshop on
Higher Order Operational Techniques in Semantics

 

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/
PLI 99 Sponsors http://pauillac.inria.fr/pli/workshop_sponsors.html
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.

PROGRAMME  See the separate programme of presentations at HOOTS99.   Each contributed presentation will last 45 minutes, including questions.  Elsevier will publish the proceedings of HOOTS99 as a volume of Electronic Notes in Theoretical Computer Science.  A preliminary proceedings will be available at the time of the workshop.

REGISTRATION  See the main PLI page for information on how to register for HOOTS99 and the other events making up PLI99.  The deadline for early registration is August 20. 

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.

For the record, here is the call-for-papers.