FW: [IcfpSC] Call for spam -- one more time-sensitive round

Simon Peyton-Jones simonpj@microsoft.com
Wed, 30 Jul 2003 09:16:36 +0100

Gentle Haskellfolk

ICFP is nearly upon us.  Early registration ends today!  So this would =
be a good moment to click.


Call for Participation
ICFP 2003: ACM International Conference on Functional Programming
August 25-29, 2003
Uppsala, Sweden

* About ICFP
The goal of ICFP is to
  - stimulate and promote international research on functional =
programming, and
  - act as focal point to bring together the functional-programming
    community for intellectual cross-pollination and collaboration.

The scope of the conference includes all languages that encourage =
with functions, including both purely applicative and imperative =
languages, as
well as languages that support objects and concurrency. The topics =
range from principles to practice, from foundations to features, and =
abstractions to applications.

The conference is affiliated with PLI, a confederation of international
meetings sponsored by ACM SIGPLAN, which this year will also include
  - PPDP (International Conference on Principles and Practice of=20
    Declarative Programming)
  - LOPSTR (International Symposium on Logic-based Program Synthesis=20
    and Transformation)
  - Haskell Workshop
  - Erlang Workshop
  - MERLIN (Mechanised Reasoning About Languages with Variable Binding)
  - DPCOOL (Declarative Programming in the Context of Object-oriented=20

* Useful URLs
  - Main web page for the entire PLI meeting; contains information on =
    papers, registration, accomodation, and social events:

  - Main web page for ICFP:

  - ICFP programme:

* Registration now open
Registration is now open and the early registration deadline is July =
NOTE: The cut-off date for guaranteed hotel reservations varies
with the hotel and is typically *before* July 30th. It is advisable to
make your hotel reservations soon.

* Conference programme

Monday 25 August 2003

Invited talk: 9:00-10:00
  Conservation of information: Applications in functional,=20
  reversible, and quantum computing
    Thomas Knight, Jr. (MIT Artificial Intelligence Laboratory)=20

Session I: 10:30-12:30
  Scripting the type-inference process
    Bastiaan Heeren, Jurriaan Hage, Doaitse Swierstra (Universiteit =
  Discriminative sum types locate the source of type errors
    Matthias Neubauer, Peter Thiemann (Universit=E4t Freiburg)=20
  MLF: Raising ML to the power of system F
    Didier Le Botlan, Didier Remy (INRIA Rocquencourt)=20
  An extension of HM(X) with bounded existential and universal =
    Vincent Simonet (INRIA Rocquencourt)=20

Session II: 2:15-3:45
  CDuce: an XML-centric general-purpose language
    V=E9ronique Benzaken (LRI, Universit=E9 Paris Sud, Orsay),=20
    Giuseppe Castagna (CNRS, LIENS, =C9cole Normale Sup=E9rieure),=20
    Alain Frisch (LIENS, =C9cole Normale Sup=E9rieure, Paris)=20
  Compiling regular patterns
    Michael Levin (University of Pennsylvania)=20
  Software is discrete mathematics
    Rex Page (University of Oklahoma)=20

Session III: 4:15-6:00
  Global abstraction-safe marshalling with hash types
    James Leifer (INRIA Rocquencourt), Gilles Peskine(INRIA =
    Peter Sewell (University of Cambridge), Keith Wansbrough=20
    (University of Cambridge)=20
  Dynamic rebinding for marshalling and update, with destruct-time =
    Gavin Bierman (University of Cambridge), Michael Hicks (University =
    Maryland, College Park), Peter Sewell (University of Cambridge), =
    Stoyle (University of Cambridge), Keith Wansbrough (University of=20
  Iterative-free program analysis
    Mizuhito Ogawa (Japan Advanced Institute of Science and Technology), =

    Zhenjiang Hu (University of Tokyo), Isao Sasano (Japan Advanced
    Institute of Technology and Science)=20
  Report on ICFP 2003 & 2004
    Olin Shivers & Kathleen Fisher=20

Tuesday 26 August 2003

Invited talk: 9:00-10:00
  From Hilbert space to Dilbert space: Context semantics as a language =
  games and flow analysis
    Harry Mairson (Brandeis University)=20

Session IV: 10:30-12:30
  A theory of aspects
    David Walker (Princeton University), Steve Zdancewic (University of=20
    Pennsylvania), Jay Ligatti (Princeton University)=20
  Dependency-style Generic Haskell
    Andres L=F6h, Dave Clarke, Johan Jeuring (Universiteit Utrecht)=20
  Functional automatic differentiation with Dirac impulses
    Henrik Nilsson (Yale University)=20
  A user-centred approach to functions in Excel
    Simon Peyton Jones (Microsoft Research), Alan Blackwell (University =
    Cambridge), Margaret Burnett (Oregon State University)=20

Session V: 2:15-3:45
  A sound and complete axiomatization of delimited continuations
    Yukiyoshi Kameyama (University of Tsukuba), Masahito Hasegawa (Kyoto =

  Call-by-value is dual to call-by-name
    Philip Wadler (Avaya Labs)=20
  Disjunctive normal forms and local exceptions
    Emmanuel Beffara, Vincent Danos (Universit=E9 Paris 7)=20

Session VI: 4:15-6:00
  An effective theory of type refinements
    Yitzhak Mandelbaum (Princeton University), David Walker (Princeton=20
    University), Robert Harper (Carnegie Mellon University)=20
  A static type system for JVM access control
    Tomoyuki Higuchi, Atsushi Ohori (Japan Advanced Institute of Science =
  Parsing polish, step by step (functional pearl)
    John Hughes (Chalmers University), Doaitse Swierstra (Universiteit
  Programming contest awards presentation
    John Hughes et al. (Chalmers University of Technology)=20
Wednesday 27 August 2003

Session VII: 9:00-10:30
  Boxes go bananas: Encoding higher-order abstract syntax with =
    Geoffrey Washburn, Stephanie Weirich (University of Pennsylvania)=20
  FreshML: Programming with binders made simple
    Mark Shinwell, Andrew Pitts, Murdoch Gabbay (University of =
  Meta-programming through typeful code representation
    Chiyan Chen, Hongwei Xi (Boston University)=20

Session VIII: 11:00-11:30
  Optimistic evaluation: An adaptive evaluation strategy for non-strict
    Robert Ennals (University of Cambridge), Simon Peyton Jones
    (Microsoft Research)=20

Invited talk (joint with PPDP'03): 11:30-12:30
  Understanding aspects
    Mitchell Wand (Northeastern University)
IcfpSC mailing list