[TYPES/announce] SFP 2012: Call for Papers

Ian Zerny zerny at cs.au.dk
Mon Jul 9 11:11:14 EDT 2012

                     Call for Papers

     2012 Workshop on Scheme and Functional Programming

                 Copenhagen, Denmark
              Sunday 9 September 2012

Important Dates

Submission:   13 August 2012
Notification: 30 August 2012
Camera-ready:  7 August 2012

All deadlines are at 23:59 UTC (7:59 PM EDT, 6:59 PM CDT, 5:59 PM MDT,
and 4:59 PM PDT).


The 2012 Workshop on Scheme and Functional Programming is a forum
for discussing experience with and future development of the
Scheme programming language. Papers are invited concerning all
aspects of the design, implementation, theory, and application of
Scheme. Some example areas include (but are not limited to):

- History, evolution and standardization of Scheme
- Applications, experience and industrial uses of Scheme
- Program-development environments, debugging, testing
- Implementation (interpreters, compilers, tools, benchmarks, etc)
- Distributed computing, concurrency, parallelism
- Interoperability with other languages, FFIs
- Continuations, macros, modules, object systems, types
- Theory, formal semantics, correctness
- Education
- Scheme pearls (elegant, instructive uses of Scheme)

Program Committee

  Michael Adams, PSU
  Olivier Danvy, Aarhus University (chair)
  Julia L. Lawall, INRIA
  Florian Loitsch, Google
  Jay McCarthy, Brigham Young University
  Kurt Nørmark, Aalborg University
  Morten Rhiger, Roskilde University
  Ulrik Pagh Schultz, University of Southern Denmark
  Jens Axel Søgaard, Vestjysk Gymnasium Tarm
  Eric Tanter, University of Chile

Publicity Chair
  Ian Zerny, Aarhus University

ACM SIGLAN sponsorship pending.

More information about the Types-announce mailing list