Mitchell Wand | 24 Sep 07:15

[Scheme Steering Committee announcements] Scheme Language Steering Committee election: preliminary announcement

The current Scheme Language Steering Committee was appointed in
January, 2004.  We have seen the Scheme Standardization process, as
envisioned in the charter from November, 2003, through to the ratification
of the R6RS in 2007. 

We believe that the R6RS is not the end of the Scheme language
standardization process, and that the Scheme language must continue to
evolve.

However, it was never our intention to be "Scheme Czars for Life."  It is
time to turn the process over to other hands, so that the Scheme
language will remain alive and healthy for years to come.

The Scheme Standardization Charter says, "The Steering Committee
itself shall establish procedures for replacing its members."  It is
therefore our intention to hold an election to replace ourselves.

Our plan is to publish a detailed plan and have a period for comments
on the plan, as we did for the ratification process.

I announced this at the Scheme Workshop in Victoria, British
Columbia on 9/20/08, so I am announcing it to this list now.  We still
have a few details to iron out (and I'm travelling for the next
several weeks), so I expect the draft plan and official opening of the
comment period to take place sometime in October.

The mailing list r6rs-discuss <at> lists.r6rs.org is open now for discussion on this topic.

For Alan and Guy,
--Mitch Wand



_______________________________________________
Scheme-announcements mailing list
Scheme-announcements <at> lists.ccs.neu.edu
https://lists.ccs.neu.edu/bin/listinfo/scheme-announcements
Robert Hirschfeld | 18 Sep 20:37

Lisp50 <at> OOPSLA -- Celebrating the 50th birthday of Lisp at OOPSLA 2008

Lisp50 <at> OOPSLA
...celebrating the 50th birthday of Lisp at OOPSLA 2008

Monday, October 20, 2008
Nashville, Tennessee, USA
co-located with OOPSLA 2008
participation is free for all OOPSLA participants
registration for at least one conference day at OOPSLA is required

URL: http:www.lisp50.org
Feed: http://lisp50.blogspot.com

Invited Speakers

+ William Clinger, Northeastern University, USA
+ Pascal Costanza, Vrije Universiteit Brussel, Belgium
+ Richard Gabriel, IBM Research, USA
+ Rich Hickey, Independent Consultant, USA
+ Alan Kay, Viewpoints Research Institute, USA
+ Fritz Kunze, USA
+ Ora Lassila, Nokia Research Center, USA
+ John McCarthy, USA
+ Kent Pitman, PTC, USA
+ Guy Steele, Sun Microsystems Laboratories, USA
+ Herbert Stoyan, University of Erlangen, Germany
+ Warren Teitelman, Google Inc., USA
+ JonL White, USA

Titles, abstracts, biographies and schedule will be announced at the
Lisp50 webpage and blog in the coming days and weeks.

Abstract

In October 1958, John McCarthy published one in a series of reports about
his then ongoing effort for designing a new programming language that
would be especially suited for achieving artificial intelligence. That
report was the first one to use the name LISP for this new programming
language. 50 years later, Lisp is still in use. This year we are
celebrating Lisp's 50th birthday. OOPSLA 2008 is an excellent venue for
such a celebration, because object-oriented programming benefited heavily
from Lisp ideas and because OOPSLA 2008 takes place in October, exactly
50 years after the name Lisp has been used publicly for the first time.
We will have talks by John McCarthy himself, and numerous other
influential Lispers from the past five decades. We will also take a look
at the next 50 years of Lisp.

Organizers

+ Pascal Costanza, Vrije Universiteit Brussel, Belgium
+ Richard Gabriel, IBM Research, Hawthorne, NY, USA
+ Robert Hirschfeld, Hasso-Plattner-Institut, Potsdam, Germany
+ Guy Steele, Sun Microsystems Laboratories, Burlington, MA, USA

Sponsored by ACM SIGPLAN

Supported by
+ IBM Research
+ LispWorks Ltd
+ Franz Inc.
+ Clozure Associates

--

-- 

Robert Hirschfeld
hirschfeld <at> acm.org
www.hirschfeld.org

Trevis Rothwell | 8 Jun 23:37

ll-discuss mailing list usage

Hi all,

The ll-discuss list has been almost entirely dormant for a couple of
years, but with the recent flurry of activity, I humbly request that
you please send mail to the list using the same email address that you
are subscribed with.  Otherwise, I need to rescue your message out of
the potential-spam queue before it gets delivered to the list, which
tends to delay your message from getting to the list for about 0 - 48
hours.

Thanks!

--
Trevis Rothwell
ll-discuss administrator

Robert Hirschfeld | 21 May 13:18

[S3] S3 recordings available online

Hi --

Video recordings of all talks given at the S3 Workshop on 
Self-sustaining Systems (held May 15-16 at the Hasso-Plattner-Institute 
in Potsdam, Germany) are available online via the tele-TASK system at 
http://www.swa.hpi.uni-potsdam.de/s3/program/.

Best,
Robert

--

-- 

Robert Hirschfeld
hirschfeld <at> acm.org
www.hirschfeld.org

Jacques Carette | 23 Apr 21:50

PLMMS - last call for papers


                           LAST CALL FOR PAPERS

                            Second Workshop on
             Programming Languages for Mechanized Mathematics
                              (PLMMS 2008)

          http://events.cs.bham.ac.uk/cicm08/workshops/plmms/

                        As part of CICM / Calculemus 2008
                     Birmingham, UK, 28-29 July 2008

This workshop is focused on the intersection of programming languages
(PL) and mechanized mathematics systems (MMS). The latter category
subsumes present-day computer algebra systems (CAS), interactive proof
assistants (PA), and automated theorem provers (ATP), all heading
towards fully integrated mechanized mathematical assistants that are
expected to emerge eventually (cf. the objective of Calculemus).

The two subjects of PL and MMS meet in the following topics, which are
of particular interest to this workshop:

  * Dedicated input languages for MMS: covers all aspects of languages
    intended for the user to deploy or extend the system, both
    algorithmic and declarative ones. Typical examples are tactic
    definition languages such as Ltac in Coq, mathematical proof
    languages as in Mizar or Isar, or specialized programming
    languages built into CA systems. Of particular interest are the
    semantics of those languages, especially when current ones are
    untyped.

  * Mathematical modeling languages used for programming: covers the
    relation of logical descriptions vs. algorithmic content. For
    instance the logic of ACL2 extends a version of Lisp, that of Coq
    is close to Haskell, and some portions of HOL are similar to ML
    and Haskell, while Maple tries to do both simultaneously. Such
    mathematical languages offer rich specification capabilities,
    which are rarely available in regular programming languages. How
    can programming benefit from mathematical concepts, without
    limiting mathematics to the computational worldview?

  * Programming languages with mathematical specifications: covers
    advanced "mathematical" concepts in programming languages that
    improve the expressive power of functional specifications, type
    systems, module systems etc. Programming languages with dependent
    types are of particular interest here, as is intentionality vs
    extensionality.

  * Language elements for program verification: covers specific means
    built into a language to facilitate correctness proofs using MMS.
    For example, logical annotations within programs may be turned
    into verification conditions to be solved in a proof assistant
    eventually. How need MMS and PL to be improved to make this work
    conveniently and in a mathematically appealing way?

These issues have a very colorful history. Many PL innovations first
appeared in either CA or proof systems first, before migrating into
more mainstream programming languages. Some examples include type
inference, dependent types, generics, term-rewriting, first-class
types, first-class expressions, first-class modules, code extraction
etc. However, such innovations were never aggressively pursued by
builders of MMS, but often reconstructed by programming language
researchers. This workshop is an opportunity to present the latest
innovations in MMS design that may be relevant to future programming
languages, or conversely novel PL principles that improve upon
implementation and deployment of MMS.

We also want to critically examine what has worked, and what has not.
Why are all the languages of mainstream CA systems untyped? Why are the
(strongly typed) proof assistants so much harder to use than a typical
CAS? What forms of polymorphism exist in mathematics? What forms of
dependent types may be used in mathematical modeling? How can MMS
regain the upper hand on issues of "genericity" and "modularity"? What
are the biggest barriers to using a more mainstream language as a host
language for a CAS or PA/ATP?

Invited Talk
------------

Conor McBride (Alta Systems, Northern Ireland) will give an invited
talk "Theorem Proving for the Lazy Programmer"

Submission
----------

Submission works through EasyChair
http://www.easychair.org/conferences/?conf=plmms2008

Two kinds of papers will be considered:

 * Full research papers may be up to 12 pages long. Authors of
   accepted papers are expected to present their work on the workshop
   in a regular talk.

 * Position papers may be up to 4 pages long. The workshop
   presentation of accepted position papers consists of two parts: a
   stimulating statement of certain issues or challenges by the
   author, followed by a discussion in the plenum.

Papers should use the usual ENTCS style http://www.entcs.org/prelim.html
(11 point version), and will be reviewed by the program
committee. Informal workshop proceedings will be circulated as a
technical report.

Moreover there will be post-workshop proceedings of improved research
papers, or position papers that have been completed into full papers,
to appear in a special issue of the Journal of Automated Reasoning.
There will be a separate submission and review phase for this, where
papers from both PLMMS 2007 and 2008 will be considered.

Programme Committee
-------------------

   Jacques Carette (Co-Chair) (McMaster University, Canada)
   John Harrison              (Intel Corporation, USA)
   Hugo Herbelin              (INRIA, Ecole polytechnique, France)
   James McKinna              (Radboud University Nijmegen, Netherlands)
   Ulf Norell                 (Chalmers University, Sweden)
   Bill Page
   Christophe Raffalli        (Universite de Savoie, France)
   Josef Urban                (Charles University, Czech Republic)
   Stephen Watt               (ORCCA, University of Western Ontario, Canada)
   Makarius Wenzel (Co-Chair) (Technische Universitaet Muenchen, Germany)
   Freek Wiedijk              (Radboud University Nijmegen, Netherlands)

Important Dates
---------------

  * Submission deadline - 5 May 2008
  * Notification of acceptance - 6 June 2008
  * Final version - 7 July 2008 (approximately)
  * Workshop - 28-29 July 2008

Robert Hirschfeld | 19 Apr 21:03

Gilad Bracha's talk on "The Newspeak Programming Language"

A recording of Gilad Bracha's talk on "The Newspeak Programming 
Language" (Hasso-Plattner-Institute, Potsdam, March 11, 2008) is now 
online at http://www.tele-task.de/page50_lecture3490.html

Best,
Robert

--

-- 

Robert Hirschfeld
hirschfeld <at> acm.org
www.hirschfeld.org

Robert Hirschfeld | 12 Apr 15:20

Workshop on Self-sustaining Systems (S3) 2008 | Call for Participation

----------------------------------------------------------------------

Call for Participation

*** Workshop on Self-sustaining Systems (S3) 2008 ***

May 15-16, 2008
Hasso-Plattner-Institut
Potsdam, Germany

http://www.swa.hpi.uni-potsdam.de/s3/

----------------------------------------------------------------------

[ Important dates ]

   * Early registration: April 20, 2008
   * S3 workshop: May 15-16, 2008

[ Program ]

   * 3 invited talks
   * 6 technical papers
   * http://www.swa.hpi.uni-potsdam.de/s3/program/

[ Invited speakers ]

   * Ian Piumarta (Viewpoints)
   * Dan Ingalls (Sun Labs)
   * Richard P. Gabriel (IBM Research)

[ Registration ]

   * http://www.swa.hpi.uni-potsdam.de/s3/registration/

We hope to see you in Potsdam,
Kim Rose and Robert Hirschfeld

----------------------------------------------------------------------

--

-- 

Robert Hirschfeld
hirschfeld <at> acm.org
www.hirschfeld.org

Pascal Costanza | 9 Apr 12:22

ELS'08 news: programme published, registration, and more...

************************************************************************
*                                                                      *
*                1st European Lisp Symposium (ELS 2008)                *
*                                                                      *
*                http://prog.vub.ac.be/~pcostanza/els08                *
*                                                                      *
*                  Bordeaux, France, May 22-23, 2008                   *
*                     LaBRI, Université Bordeaux 1                     *
*                                                                      *
************************************************************************

News:

We have published the list of accepted papers that will be presented at
the 1st European Lisp Symposium (ELS 2008) in Bordeaux/France on May 23.
We have papers about temporal reasoning, context-oriented programming,
visual programming, object-relational mappings, clim presentation types,
custom specializers for object-oriented lisp, binary methods programming
in CLOS.

See http://prog.vub.ac.be/~pcostanza/els08/page9/page9.html for the
programme of the symposium.

We have also provided information about Bordeaux and about the social
events programme accompanying the symposium. There will be a cocktail
party, a dinner, and an optional excursion to the atlantic coast.

See http://prog.vub.ac.be/~pcostanza/els08/page7/page7.html for the
information about Bordeaux, including how to reach Bordeaux by plane
and by train.

See http://prog.vub.ac.be/~pcostanza/els08/page8/page8.html for details
about the social programme.

Registration for the symposium and for the optional excursion is open!
Please take advantage of the reduced registration fees before the early
registration deadline, April 25, 2008. Registering early helps us in
planning the details of the symposium better. The early registration
fee is 50€ for students and 120€ for regular participants.

See http://prog.vub.ac.be/~pcostanza/els08/page4/page4.html for the
registration page.

You have to take care of accommodation yourself. We have provided a
list of recommended hotels. For some of them, accounts for symposium
participants are available.

See http://prog.vub.ac.be/~pcostanza/els08/page10/page10.html for
the list of recommended hotels.

Looking forward to seeing you in Bordeaux,
Pascal Costanza

--

-- 
1st European Lisp Symposium (ELS'08)
http://prog.vub.ac.be/~pcostanza/els08/

Pascal Costanza, mailto:pc <at> p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium

Faré | 20 Mar 03:37

Boston Lisp Meeting

Dear friends,

I thought you that some of you might be interested in the monthly
Boston Lisp Meeting I'm organizing.

It will a hour long conference followed by a (hopefully sponsored)
dinner, usually on the last Monday of every month at 6pm, probably at
MIT or at ITA (both in Cambridge near Kendall Sq).

The conference  won't have to be about Lisp stricto sensu, but it
probably will have to be about programming programming languages in
general.

See the call for speakers and participation below:
   http://fare.livejournal.com/120393.html

Lacking a dedicated website for the moment, the URL for the event is:
   http://fare.livejournal.com/tag/boston,lisp,meetings

I apologize for your receiving such an announcement more than once,
and at the same time request that you forward this message to people
you think might be interested and yet not have heard of it.

If you know someone around Boston you'd like to hear at such a
meeting, if you yourself have something to say, please contact
boston-lisp-organizers <at> common-lisp.net.

While I'm at it, I shall mention other related events that may be of interest:
* The International Lisp Conference, ILC'09, next year at MIT.
* The Google Summer of Code, for which LispNYC is registered as a
mentoring organization, and is looking for students to intern this
summer at writing free software Lisp code.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
*EULA: By reading or responding to this message you agree that all my stated
or unstated opinions are correct.* "EULA" -- patent pending.

Pascal Costanza | 13 Mar 12:33

COP in Journal of Object Technology

Hi everybody,

There is a new article about Context-oriented Programming in the
Journal of Object Technology, and it can be viewed and downloaded athttp://www.jot.fm/issues/issue_2008_03/article4/

It discusses context-oriented extensions for Smalltalk, Common Lisp
and Java, namely ContextS, ContextL and ContextJ, with new examples
for all the presented languages.

Here are links for more information and/or downloads for the discussed
language extensions:
- ContextS: http://www.swa.hpi.uni-potsdam.de/cop/
- ContextL: http://common-lisp.net/project/closer/contextl.html
- ContextJ: http://prog.vub.ac.be/~pcostanza/contextj.html

Please feel free to send feedback and suggestions.

Best,
Pascal

--

-- 
1st European Lisp Symposium (ELS'08)
http://prog.vub.ac.be/~pcostanza/els08/

Pascal Costanza, mailto:pc <at> p-cos.net, http://p-cos.net
Vrije Universiteit Brussel, Programming Technology Lab
Pleinlaan 2, B-1050 Brussel, Belgium

Faré | 22 Feb 23:43

Boston Lisp Meeting

I'd like to organize a monthly Boston Lisp Meeting.
  http://fare.livejournal.com/120393.html

Those amongst you who are in the Boston area, or may come by, are
invited to participate or give a talk.

I am also particularly looking for co-organizers, and potential
speakers. If there are people you'd like to hear, please help me
contact them.

[ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ]
Whatever says the law, it is only ever forbidden but to get caught.


Gmane