[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
http://users-cs.au.dk/danvy/sfp12
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).
Scope
-----
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