Scheme Workshop 2006

Discussion in 'Ruby' started by Robby Findler, Mar 31, 2006.

  1. 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
    Robby Findler, Mar 31, 2006
    1. Advertisements

Want to reply to this thread or ask your own question?

It takes just 2 minutes to sign up (and it's free!). Just click the sign up button to choose a username and then you can ask your own questions on the forum.
Similar Threads
  1. John Hatcliff
    John Hatcliff
    Aug 23, 2005
  2. Marc Feeley
    Marc Feeley
    Feb 23, 2010
  3. Marc Feeley
    Marc Feeley
    May 25, 2010
  4. Marc Feeley
    Marc Feeley
    Jun 9, 2010
  5. Robby Findler

    Scheme Workshop 2006

    Robby Findler, Mar 31, 2006, in forum: Javascript
    John G Harris
    Mar 31, 2006