|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 firstname.lastname@example.org 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.