473,854 Members | 1,672 Online
Bytes | Software Development & Data Engineering Community
+ Post

Home Posts Topics Members FAQ

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!

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

Mar 31 '06 #1
1 1506
In article <11************ **********@v46g 2000cwv.googleg roups.com>,
Robby Findler <ro***********@ gmail.com> writes

<snip>
The
workshop will be held Portland Oregon on September 17,

<snip>

Sigh.

John
--
John Harris
Mar 31 '06 #2

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

699
34374
by: mike420 | last post by:
I think everyone who used Python will agree that its syntax is the best thing going for it. It is very readable and easy for everyone to learn. But, Python does not a have very good macro capabilities, unfortunately. I'd like to know if it may be possible to add a powerful macro system to Python, while keeping its amazing syntax, and if it could be possible to add Pythonistic syntax to Lisp or Scheme, while keeping all of the...
0
1403
by: HarryHalpin | last post by:
IRW2006 - Identity, Reference, and the Web http://www.ibiblio.org/hhalpin/irw2006/ Co-located Workshop at WWW2006, Edinburgh Scotland, May First Call for Papers ===========
0
1916
by: Wim Vanhoof | last post by:
----------------------------------------------------------- WLPE' 06 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP’06) August 16, 2006
0
1788
by: leichen | last post by:
Call for Papers XWICT 2006 International Workshop on XML, Web, and Internet Contents Technologies June 17, 2006 Hong Kong, China http://www.cs.ust.hk/~xwict06/ in conjunction with WAIM 2006 http://www.se.cuhk.edu.hk/~waim06/ = Aims and Scope =
0
2376
by: mmueller | last post by:
=== Reminder=== The deadline for submitting abstracts for the the workshop on September 8 in Leipzig is July 15. It is only two days away!! If you would like to give a presentation, please send your abstract to mmueller@python-academy.de. The workshop topics are listed at http://www.python-academy.de/workshop/themen.html
6
2390
by: RobJ | last post by:
Hi! My Name is Rob Johnson and I am a graduate student at The Richard Stockton College of NJ. To make a long story short, I'm working on my Masters project in the MAIT program (Masters of Arts in Instructional Technology). I have written a proposal to put together a free on-line Python web framework workshop. The workshop will be geared to help people new to Python web frameworks. I am asking for the community's assistance to help me get...
0
2632
by: Wim Vanhoof | last post by:
----------------------------------------------------------- WLPE' 07 - CALL FOR PAPERS Workshop on Logic-based Methods in Programming Environments (satellite workshop of ICLP'07) September 13, 2007
0
9901
marktang
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However, people are often confused as to whether an ONU can Work As a Router. In this blog post, we’ll explore What is ONU, What Is Router, ONU & Router’s main usage, and What is the difference between ONU and Router. Let’s take a closer look ! Part I. Meaning of...
0
9750
by: Hystou | last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can effortlessly switch the default language on Windows 10 without reinstalling. I'll walk you through it. First, let's disable language synchronization. With a Microsoft account, language settings sync across devices. To prevent any complications,...
0
11024
Oralloy
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers, it seems that the internal comparison operator "<=>" tries to promote arguments from unsigned to signed. This is as boiled down as I can make it. Here is my compilation command: g++-12 -std=c++20 -Wnarrowing bit_field.cpp Here is the code in...
0
10672
jinu1996
by: jinu1996 | last post by:
In today's digital age, having a compelling online presence is paramount for businesses aiming to thrive in a competitive landscape. At the heart of this digital strategy lies an intricately woven tapestry of website design and digital marketing. It's not merely about having a website; it's about crafting an immersive digital experience that captivates audiences and drives business growth. The Art of Business Website Design Your website is...
0
10364
tracyyun
by: tracyyun | last post by:
Dear forum friends, With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each protocol has its own unique characteristics and advantages, but as a user who is planning to build a smart home system, I am a bit confused by the choice of these technologies. I'm particularly interested in Zigbee because I've heard it does some...
0
9510
agi2029
by: agi2029 | last post by:
Let's talk about the concept of autonomous AI software engineers and no-code agents. These AIs are designed to manage the entire lifecycle of a software development project—planning, coding, testing, and deployment—without human intervention. Imagine an AI that can take a project description, break it down, write the code, debug it, and then launch it, all on its own.... Now, this would greatly impact the work of software developers. The idea...
0
7077
by: conductexam | last post by:
I have .net C# application in which I am extracting data from word file and save it in database particularly. To store word all data as it is I am converting the whole word file firstly in HTML and then checking html paragraph one by one. At the time of converting from word file to html my equations which are in the word document file was convert into image. Globals.ThisAddIn.Application.ActiveDocument.Select();...
0
5937
by: adsilva | last post by:
A Windows Forms form does not have the event Unload, like VB6. What one acts like?
2
4150
muto222
by: muto222 | last post by:
How can i add a mobile payment intergratation into php mysql website.

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.