Updated CFP -- SIPL now in Copenhagen 
Author Message
 Updated CFP -- SIPL now in Copenhagen

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).

An updated call for papers follows.

                           Call for Papers

            Workshop on STATE in Programming Languages (SIPL)

                            June 12, 1993
                         Copenhagen, Denmark
                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.

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




Sun, 09 Jul 1995 01:13:28 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. Updated CFP -- SIPL now in Copenhagen

2. Updated CFP -- SIPL now in Copenhagen

3. CFP: SIPL '95 Workshop on State in Programming Languages

4. FPCA/SIPL/PEPM advance program and registration information (update)

5. FPCA/SIPL/PEPM updated advance program and registration information

6. FPCA/SIPL/PEPM updated advance program and registration information

7. FPCA/SIPL/PEPM updated advance program and registration information

8. FPCA/SIPL/PEPM updated advance program and registration information

9. CFP:CFP: Reading Workshops on Parallel Computing CFP:CFP

10. CFP update: IEEE Symposium on Visual Languages (VL 2000)

11. VL'96: Update and Second CFP

12. CFP update: IEEE Symposium on Visual Languages (VL 2000)

 

 
Powered by phpBB® Forum Software