[ posting on behalf of Danny Dubé <danny.dube@ift.ulaval.ca> ] [Apologies of you receive multiple copies of this message]
(for-papers) ; call for papers
2007 Workshop on Scheme and Functional Programming http://sfp2007.ift.ulaval.ca/ Freiburg, Germany --- 30 September 2007 The 2007 Scheme Workshop is a forum for discussing experience with and future development of the Scheme programming language. The scope of the workshop includes all aspects of the design, implementation, theory, and application of Scheme. We encourage everyone interested in Scheme to participate. This workshop forms part of the 2007 International Conference on Functional Programming (ICFP) as an associated, ACM SIGPLAN sponsored event. Topics of interest for technical papers include (but are not limited to): Design. Language critiques and extensions, concurrency and distribution, components and composition, language embedding, object systems, type systems, exception handling, syntactic abstraction, module systems and libraries, multiparadigm programming, scripting. Implementation. Compilers, interpreters, runtime systems, virtual machines, resource management, program analysis and transformation, partial evaluation, compile-time and run-time optimization, foreign function and operating system interfaces, embedded systems. Development tools. Profilers, tracers, debuggers, program development environments, program understanding tools, performance and conformance test suites. Theory. Formal semantics, correctness of analyses and transformations, lambda calculus, continuations, program verification. Education. Teaching Scheme, teaching with Scheme. Topics of interest for experience papers include (but are not limited to): Applications. Domain-specific languages, graphical user interfaces, web programming, network applications, multimedia programming, systems programming, symbolic computing, large systems, use of Scheme as a scripting language. Practice and experience. Experience with Scheme in education and industry. Scheme pearls. Elegant, instructive uses of Scheme. Experience papers need not necessarily report original research results; they may instead report practical experience that will be useful to others, re-usable programming idioms, or elegant new ways of approaching a problem. The key criterion for such a paper is that it makes a contribution from which other practitioners can benefit. It is not enough simply to describe a program! System Demonstrations. Authors of both technical and experience papers are invited to describe, in an appendix, proposals for system demonstrations to be given during the workshop. Panel Discussions. We also invite proposals for panel discussions on topics of interest to the Scheme community. Authors of accepted proposals will give a brief presentation on the topic and then moderate the discussion that follows. For submission details, please see http://sfp2007.ift.ulaval.ca/. Program committee John Clements (Cal Poly) Danny Dubé, chairman (Laval University) Martin Gasbichler (Zühlke Engineering) Aubrey Jaffer (ClearMethods Inc.) Christian Queinnec (University Paris 6) Chung-chieh Shan (Rutgers University) Steering committee William D. Clinger (Northeastern University) Marc Feeley (University of Montréal) Robby Findler (University of Chicago) Dan Friedman (Indiana University) Christian Queinnec (University Paris 6) Manuel Serrano (INRIA Sophia Antipolis) Olin Shivers (Northeastern University) Mitchell Wand (Northeastern University) Submission deadline June 22, 2007 Author notification August 3, 2007 Final paper due September 7, 2007 Workshop September 30, 2007