[TYPES/announce] Scheme Workshop 2006

Robby Findler robby at cs.uchicago.edu
Fri Mar 31 11:42:23 EST 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!

Best,
Robby

============================================================

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.

    http://scheme2006.cs.uchicago.edu/

IMPORTANT DATES

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

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!

ORGANIZERS

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



More information about the Types-announce mailing list