[Pl-seminar] Scheme Workshop 2006

Mitchell Wand wand at ccs.neu.edu
Mon Apr 3 14:11:36 EDT 2006

--------- Forwarded message ----------
From: Robby Findler <robby at cs.uchicago.edu>
To: pl-seminar at ccs.neu.edu
Date: Fri, 31 Mar 2006 10:42:22 -0600 (CST)
Subject: Scheme Workshop 2006

Dear all,

I'm writing to let you know about the upcoming Scheme and
Functional Programming workshop -- specifically that the
submission deadline is June 9, about 2 months from now. The
workshop will be held Portland Oregon on September 17, the day
before ICFP.

We look forward you your submissions!



The purpose of the workshop is to discuss experience with and
future developments of the Scheme programming language, as well
as general aspects of computer science loosely centered on the
general theme of Scheme.



 Submission deadline: Friday June 9
 Author notification: Friday June 30
 Final versions due: Friday July 14
 Workshop: Sunday September 17, the day before ICFP


Papers are invited concerning all aspects of the design,
semantics, theory, application, implementation, and teaching of
Scheme. Some example areas include (but are not limited to):

* Language design

 Scheme's simple syntactic framework and minimal static
 semantics has historically made the language an attractive lab
 bench for the development and experimentation of novel language
 features and mechanisms.

 Topics in this area include modules systems, exceptions,
 control mechanisms, distributed programming, concurrency and
 synchronisation, macro systems, and objects. Past, present and
 future SRFIs are welcome.

* Type systems

 Static analyses for dynamic type systems, type systems that
 bridge the gap between static and dynamic types, static systems
 with type dynamic extensions, weak typing.

* Theory

 Formal semantics, calculi, correctness of analyses and
 transformations, lambda calculus.

* Implementation

 Compilers, runtime systems, optimisation, virtual machines,
 resource management, interpreters, foreign-function and
 operating system interfaces, partial evaluation, program
 analysis and transformation, embedded systems, and generally
 implementations with novel or noteworthy features.

* Program-development environments and tools

 The Lisp and Scheme family of programming languages have
 traditionally been the source of innovative program-development
 environments. Authors working on these issues are encouraged to
 submit papers describing their technologies.

 Topics include profilers, tracers, debuggers, program
 understanding tools, performance and conformance test suites
 and tools.

* Education

 Scheme has achieved widespread use as a tool for teaching
 computer science. Papers on the theory and practice of teaching
 with Scheme are invited.

* Agile Methogologies

 Dynamic languages seem to share a symbiotic relationship with
 agile software development methodologies. In particular, the
 dynamic type checking of Scheme clearly benefits from
 test-driven development, but that same dynamic checking makes
 the software more easily adapted to changing requirements.

* Applications and experience

 Interesting applications which illuminate aspects of Scheme
 experience with Scheme in commercial or real-world contexts;
 use of Scheme as an extension or scripting language.

* Scheme pearls

 Elegant, instructive examples of functional programming.

 A Scheme pearl submission is a special category, and should be
 a short paper presenting an algorithm, idea or programming
 device using Scheme in a way that is particularly elegant.

Following the model of earlier workshops, 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!


Program Chair

 Robby Findler, University of Chicago

Program Committee

 John Clements, Cal Poly
 Sebastian Egner, Philips Research
 Robby Findler, University of Chicago
 Cormac Flanagan, UC Santa Cruz
 Erik Hilsdale, Google
 Eric Knauel, University of Tubingen

Steering Committee

 William D. Clinger, Northeastern University
 Marc Feeley, University of Montreal
 Robby Findler, University of Chicago
 Dan Friedman, Indiana University
 Christian Queinnec, University Paris 6
 Manuel Serrano, INRIA
 Olin Shivers, Georgia Tech
 Mitchell Wand, Northeastern University
-------------- next part --------------
HTML attachment scrubbed and removed

More information about the pl-seminar mailing list