|Updated CFP -- SIPL now in Copenhagen odersky-martin@CS.YALE.EDU (1993-01-19)|
|Organization:||Computer Science, Yale University, New Haven, CT 06520-2158|
|Date:||Tue, 19 Jan 1993 15:07:14 GMT|
The SIPL workshop has been moved to Copenhagen; first, to avoid a conflict
with LICS, second to take advantage of the gap between FPCA and PEPM (PEPM
has also been moved to Kopenhagen).
Un updated call for papers follows.
Call for Papers
Workshop on STATE in Programming Languages (SIPL)
June 12, 1993
Held in conjunction with FPCA and PEPM
This workshop will address the fundamental issues of expressing,
manipulating, and reasoning about state in high-level programming
languages. The range of topics includes operational and denotational
models of state, assignment and references, semantics of object- oriented
programming, linear type systems, effect systems, monads, calculi of state
and methods to reason about state. Formal presentations of results,
research in progress, tutorials, and topical discussions are among the
possible venues for interaction.
Matthias Felleisen, Rice University
Paul Hudak, Yale University (Chair)
Ian Mason, Stanford University
Martin Odersky, Yale University
Uday Reddy, University of Illinois
Robert Tennent, University of Edinburgh
Philip Wadler, University of Glasgow
Authors should submit 8 copies of a detailed summary (10 pages maximum) to
the program chair by March 15, 1993. Authors will be notified of
acceptance of their paper by May 1st, 1993. Final versions of accepted
papers are due on May 21, 1993. Accepted papers will appear in a
technical report to be distributed at the workshop.
Correspondence should be sent to:
Prof. Paul Hudak
State Workshop '93
Department of Computer Science
51 Prospect Street
New Haven, CT 06520-2158,
Return to the
Search the comp.compilers archives again.