[Prev][Next][Index][Thread]
Call for Participation: HOOTS99, Paris, Sept 1999 (early registra tion deadline is August 20)
[Apologies for any duplicates you may receive]
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/
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.
CONTRIBUTED PAPERS
Nick Benton and Andrew Kennedy
Monads, Effects and Transformations
Olivier Danvy, Belmina Dzafic and Frank Pfenning
On proving syntactic properties of CPS programs
John Fiskio-Lasseter and Amr Sabry
Putting operational techniques to the test:
A syntactic theory for behavioural Verilog
Neal Glew
Object Closure Conversion
Joergen Gustavsson and David Sands
A foundation for space-safe transformation of call-by-need programs
Pankaj Kakkar and Carl Gunter
Experience specifying the PLAN network programming language
Yasuhiko Minamide
Space-profiling semantics of the call-by-value lambda calculus
and the CPS transformation
E. Moggi and F. Palumbo
Monadic encapsulation of effects: a revised approach
Andrew Moran, Soeren B. Lassen, and Simon Peyton Jones
Imprecise Exceptions, Co-inductively
INVITED TUTORIAL
Soeren B. Lassen
Trees and bisimulation for the pure lambda-calculus
REGISTRATION See the PLI page http://pauillac.inria.fr/pli/ for information
on how to register for HOOTS99 and the other events making up PLI99. The
deadline for early registration is August 20.
PROCEEDINGS 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.
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.
Follow-Ups: