[EMAIL PROTECTED], [EMAIL PROTECTED] Subject: Correction: SIPL advance program Reply-to: [EMAIL PROTECTED] Advance Program -- SIPL93 ACM SIGPLAN Workshop on State in Programming Languages June 12, 1993 Copenhagen, Denmark (in conjunction with FPCA and PEPM) ----------------------------------------------------- Since the conference building will not open until 8.30 on Saturday, registration for SIPL will start at 8.30 instead of 8.00, as was previously announced. Of course, participants can also register when they register for FPCA. Also, there was a typo in the time schedule of the morning sessions. The corrected program follows. 8.30 - 9.30 Registration 8.30 - 9.30: Tutorial -- Matthias Felleisen (Rice University) and Paul Hudak (Yale University): ``Expressing and Reasoning about State'' 9.30 - 10.45 -- Reasoning about Imperative Programs Chairman: Ian Mason Jonathan Eifrig, Scott Smith, Valery Trifonov, Amy Zwarico (Johns Hopkins University): ``A Simple Interpretation of OOP in a Language with State'' Amr Sabry (Rice University), John Field (IBM T.J. Watson Research Center): ``Reasoning About Explicit and Implicit Representations of State'' Andrew Pitts, Ian Stark (University of Cambridge): ``On the Observable Properties of Higher Order Functions that Dynamically Create Local Names'' 11.15 - 12.30 -- State and Functional Programming Chairman: Martin Odersky John Launchbury (Glasgow University): ``Lazy Imperative Programming'' Jonathan C. Springer, Samuel N. Kamin (University of Illinois at Urbana-Champaign): ``Strictness Analysis in the Imperative Lambda Calculus'' J.G. Morrisett (Carnegie Mellon University): ``First-Class Stores'' 2.00 - 2.30: Tutorial -- Bob Tennent (University of Edinburgh): ``Semantics of Algol-Like Languages'' 2.30 - 3.45 -- State in Algol Chairman: Torben Mogensen Kurt Sieber (Universitat des Saarlandes): ``A New Approach to the Full Abstraction Problem for Local Variables'' Arthur Lent (MIT): ``The Category of Functors from State Shapes to Bottomless CPOs is Adequate for Block Structure'' Uday S. Reddy (University of Illinois at Urbana-Champaign): ``Global State Considered Unnecessary: Semantics of Interference-free Imperative Programming'' 4.15 - 5.30 -- Work in Progress Chairman: Phil Wadler Short talks given by participants and discussions. ---------------------------------------------------------- General and program chair: Paul Hudak, [EMAIL PROTECTED] Program commitee: Matthias Felleisen, Rice University Paul Hudak, Yale University Ian Mason, Stanford University Torben Mogensen, University of Copenhagen Martin Odersky, Yale University Uday Reddy, University of Illinois Robert Tennent, University of Edinburgh Philip Wadler, University of Glasgow Registration: cf. the ACM FPCA/SIPL/PEPM leaflet and electronic announcement. NOTE: Early registration for FPCA and PEPM ends May 7th.