Velocity Reviews - Computer Hardware Reviews

Velocity Reviews > Newsgroups > Programming > Ruby > Scheme Workshop 2006

Reply
Thread Tools

Scheme Workshop 2006

 
 
Robby Findler
Guest
Posts: n/a
 
      03-31-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

 
Reply With Quote
 
 
 
Reply

Thread Tools

Posting Rules
You may not post new threads
You may not post replies
You may not post attachments
You may not edit your posts

BB code is On
Smilies are On
[IMG] code is On
HTML code is Off
Trackbacks are On
Pingbacks are On
Refbacks are Off


Similar Threads
Thread Thread Starter Forum Replies Last Post
[ANN] Call for Papers for 2010 Workshop on Scheme and FunctionalProgramming Marc Feeley Ruby 0 06-09-2010 04:01 AM
[ANN] Call for Papers for 2010 Workshop on Scheme and FunctionalProgramming Marc Feeley Ruby 0 05-25-2010 04:00 AM
[ANN] Call for Papers for 2010 Workshop on Scheme and FunctionalProgramming Marc Feeley Ruby 0 02-23-2010 10:07 PM
Scheme Workshop 2006 Robby Findler Javascript 1 03-31-2006 07:56 PM
PEPM 2006: Call for Papers -- ACM SIGPLAN 2006 Workshop on PartialEvaluation and Program Manipulation John Hatcliff Python 0 08-23-2005 03:58 PM



Advertisments