HOOTS 2000

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

A satellite workshop of PLI 2000
Montreal, September 22

PRELIMINARY SCHEDULE

• 9.45-10.45: A Second Glance at Feferman-Landin Logic, Ian Mason (joint work with Carolyn L. Talcott)
• 11.15-11.45: Syntactic Type Soundness for the Region Calculus, Simon Helsen and Peter Thiemann
• 11.45-12.15: A New Criterion for Safe Program Transformations, Yasuhiko Minamide
• 12.15-12.45: Efficient Substitution in Hoare Logic Expressions, Andrew Appel, Kedar Swadi and Roberto Virga
• 2.30-3.30: Weak Bisimulations by Decreasing Diagrams, Cédric Fournet (joint work with Georges Gonthier)
• 4.00-4.30: First-Order Semantics for Higher-Order Processes, Michael Baldamus
• 4.30-5.00: Linear Lambda Calculus with Recursion, Gavin Bierman, Andrew Pitts and Claudio Russo

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.

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.