[Prev][Next][Index][Thread]
HOOTS 2000 invited speakers
Dear all,
The HOOTS programme commitee is pleased to announce that Cedric Fournet of
Microsoft Research, and Ian Mason of University of New England, have agreed
to give invited talks at this year's workshop. Microsoft Research has
generously sponsored these speakers.
Alan.
PS: The deadline for papers is now only two weeks away!
--
Alan Jeffrey http://fpl.cs.depaul.edu/ajeffrey/
CTI, DePaul University, 243 S. Wabash Ave, Chicago 60604, USA
HOOTS 2000
Call For Papers for
The Fourth International Workshop on
Higher Order Operational Techniques in Semantics
A satellite workshop of PLI 2000
Montreal, September 21-22
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
INVITED SPEAKERS Cedric Fournet, Microsoft Research; Ian Mason,
University of New England.
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 ajeffrey@cs.depaul.edu 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.
SPONSORED BY Microsoft Research.