From cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!spdcc!iecc!compilers-sender Wed Jan  6 09:02:03 EST 1993
Article: 4479 of comp.compilers
Xref: cantaloupe.srv.cs.cmu.edu comp.object:9031 comp.compilers:4479 comp.specification:1091 comp.theory:6443 comp.lang.functional:2446
Newsgroups: comp.object,comp.compilers,comp.specification,comp.theory,comp.lang.functional
Path: cantaloupe.srv.cs.cmu.edu!das-news.harvard.edu!spdcc!iecc!compilers-sender
From: odersky@CS.YALE.EDU (Martin Odersky)
Subject: CFP -- SIGPLAN Workshop on State in Programming Languages
Reply-To: odersky@CS.YALE.EDU (Martin Odersky)
Organization: Computer Science, Yale University, New Haven, CT 06520-2158
Date: Tue, 5 Jan 1993 15:56:32 GMT
Approved: compilers@iecc.cambridge.ma.us
Message-ID: <93-01-014@comp.compilers>
Keywords: CFP, functional
Sender: compilers-sender@iecc.cambridge.ma.us

                          Call for Papers

                           ACM SIGPLAN '93
              Workshop on STATE in Programming Languages

                            June 22, 1993
                       Albuquerque, New Mexico
            (Held in conjunction with the PLDI Symposium)

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.

Program Committee:

  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 7 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 June 1st, 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
	Yale University
	51 Prospect Street
	New Haven, CT 06520-2158, 
	U.S.A.

E-mail: state-workshop@cs.yale.edu
-- 
Send compilers articles to compilers@iecc.cambridge.ma.us or
{ima | spdcc | world}!iecc!compilers.  Meta-mail to compilers-request.