[MLton] FW: [TYPES] CFP: Library-Centric Software Design - LCSD'05 (fwd)

Buday Gergely István gergely.buday@siemens.com
Tue, 21 Jun 2005 14:38:16 +0200


This message is in MIME format. Since your mail reader does not understand
this format, some or all of this message may not be legible.

------_=_NextPart_001_01C5765E.18DC3F96
Content-Type: text/plain;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

Dear All,

though many of you might read the types forum, I forward this for the =
sake
of who does not. We were talking about library issues and this is a =
relevant
workshop. And, it would be nice to write up a summary of ideas what we =
have
gathered already. Please let me know if you find this a viable thing, =
I'd
happily work on this.

- Gergely

---------- Forwarded message ----------
Date: Mon, 13 Jun 2005 15:30:13 -0500
From: Jaakko J=E4rvi <jajarvi@cs.indiana.edu>
To: types@cis.upenn.edu
Subject: [TYPES] CFP: Library-Centric Software Design - LCSD'05

[The Types Forum, =
http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Type systems are central part in many of the
suggested topics of the workshop. For more information, see=20
http://lcsd05.cs.tamu.edu

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

             LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05

              Workshop, on Sunday, October 16, 2005 at the
    Object-Oriented Programming, Systems, Languages and Applications
  (OOPSLA'05) conference in San Diego, California, October 16-20, 2005

CALL FOR PAPERS

Libraries are central to all major scientific, engineering, and
business areas, yet the design, implementation, and use of libraries
are underdeveloped arts. This workshop is one of the first steps in
the process of placing all aspects of libraries on a sound technical
and scientific basis through research into fundamental issues and
documentation of best practices.

A software library is an organized collection of code with associated
tools supporting programming in general or in specific domains,
usually united by a specified set of principles and conventions. Most
libraries are aimed at the use by several people and in different
environments. The areas of software library research include

     * Design and implementation of libraries
     * Program and system design based on libraries
     * Libraries supporting specific application domains, such as
       biology and banking
     * Evolution, refactoring, and maintenance of libraries
     * Empirical studies of library use
     * Performance of libraries, including benchmarking and
       library-based optimizations
     * Design of language facilities and tools in support of library
       definition and use
     * Validation, debugging, and testing of libraries
     * Extensibility, parameterization, and customization
     * Distribution of libraries
     * Specification of libraries and their semantics
     * Usability for library users and developers
     * Assessing quality of libraries
     * Documentation and teaching of libraries
     * Creating and supporting communities of library users
     * Using several libraries in combination

We invite the submission of extended abstracts on software library
research, including, but not limited to, the above list of topics.
The extended abstracts should address issues important to libraries as
a field, i.e., describe ideas or techniques that can be reused for
libraries across problem domains and/or languages; they should refrain
from merely describing a particular library, no matter how novel the
choice of domain. As an additional criterion, the extended abstracts
are reviewed against suitability for a journal publication of the
corresponding full paper.

For uniformity, authors should use the latest ACM SIGS conference
style file (option 1) at
http://www.acm.org/sigs/pubs/proceed/template.html. Submissions should
be limited to 10 pages in this style.

Accepted extended abstracts will be posted on the workshop's Web site
prior to the workshop, and collected in a proceedings published as a
Rensselaer Polytechnic Institute tech report. Authors of selected
papers will be invited to submit a full paper for a special issue of a
journal, to be announced later.

IMPORTANT DATES

Jul 31    Submission of extended abstracts
Sep  9    Notification of acceptance
Oct  4    Final version posted on workshop Web site
Oct 16    Workshop

SUBMISSION PROCEDURE

For details of the electronic submission procedure, see the workshop's
Web site, http://lcsd05.cs.tamu.edu.

ORGANIZERS

     *  David Musser, Rensselaer Polytechnic Institute
     *  Andrew Lumsdaine, Indiana University
     *  Jaakko Jarvi, Texas A&M University
     *  Sibylle Schupp, Chalmers University of Technology
     *  Todd Veldhuizen, Indiana University
     *  Jeremy Siek, Rice University

Primarily, the email address lcsd05@cs.tamu.edu should be used for
questions addressed to the organizers.

PROGRAM COMMITTEE

Not yet finalized, but the following are confirmed:

     *  Uwe Assmann, Technical University of Dresden
     *  Matt Austern, Google Inc.
     *  Herve Broennimann, Polytechnic University
     *  Antonio Cisternino, University of Pisa
     *  Jack Dongarra, University of Tennessee
     *  Ulrich Eisenecker, University of Leipzig
     *  Calvin Lin, University of Texas at Austin
     *  Alex Stepanov, Adobe Systems Inc.
     *  Bjarne Stroustrup, Texas A&M and AT&T Labs
     *  Frank Tip, IBM Research

In addition, the organizers will serve as program committee members.

WORKSHOP GOALS AND ACTIVITIES

The workshop establishes a scientific forum for presenting original
research in the design, implementation, and evaluation of software
libraries. Other major activities include the identification of open
questions specific to library research and the discussion of a
strategic plan for establishing library research as a field. The
outcome of the workshop is a combination of research contributions and
specific next steps for improving the infrastructure for library
research.

Participants are expected to read the accepted submissions beforehand.
The technical presentations, although based on the accepted papers,
should not provide mere summaries of the papers. Instead, authors are
encouraged to use their presentation slots (20 + 10 mins) to bring up
topics for discussion.

The technical presentations are mixed with scientific and
organizational discussions. The discussions aim at furthering the
topics of the presentations, thus their agenda will be publicly
discussed among the participants and then posted on the website of the
workshop. All participants are expected to come prepared with their
tentative answers or thoughts.

The full-day workshop starts with a keynote talk for the stimulation
of discussion and concludes with a plenary discussion that decides the
specific next steps for improving the infrastructure for library
research.

FOR MORE INFORMATION AND UPDATES please visit
the workshop's Web site, http://lcsd05.cs.tamu.edu.
_______________________________________________

------_=_NextPart_001_01C5765E.18DC3F96
Content-Type: text/html;
	charset="iso-8859-1"
Content-Transfer-Encoding: quoted-printable

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
<HTML>
<HEAD>
<META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; =
charset=3Diso-8859-1">
<META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version =
5.5.2658.24">
<TITLE>FW: [TYPES] CFP: Library-Centric Software Design - LCSD'05 =
(fwd)</TITLE>
</HEAD>
<BODY>

<P><FONT SIZE=3D2>Dear All,</FONT>
</P>

<P><FONT SIZE=3D2>though many of you might read the types forum, I =
forward this for the sake of who does not. We were talking about =
library issues and this is a relevant workshop. And, it would be nice =
to write up a summary of ideas what we have gathered already. Please =
let me know if you find this a viable thing, I'd happily work on =
this.</FONT></P>

<P><FONT SIZE=3D2>- Gergely</FONT>
</P>

<P><FONT SIZE=3D2>---------- Forwarded message ----------</FONT>
<BR><FONT SIZE=3D2>Date: Mon, 13 Jun 2005 15:30:13 -0500</FONT>
<BR><FONT SIZE=3D2>From: Jaakko J=E4rvi =
&lt;jajarvi@cs.indiana.edu&gt;</FONT>
<BR><FONT SIZE=3D2>To: types@cis.upenn.edu</FONT>
<BR><FONT SIZE=3D2>Subject: [TYPES] CFP: Library-Centric Software =
Design - LCSD'05</FONT>
</P>

<P><FONT SIZE=3D2>[The Types Forum, <A =
HREF=3D"http://lists.seas.upenn.edu/mailman/listinfo/types-list" =
TARGET=3D"_blank">http://lists.seas.upenn.edu/mailman/listinfo/types-lis=
t</A>]</FONT>
</P>

<P><FONT SIZE=3D2>Type systems are central part in many of the</FONT>
<BR><FONT SIZE=3D2>suggested topics of the workshop. For more =
information, see </FONT>
<BR><FONT SIZE=3D2><A HREF=3D"http://lcsd05.cs.tamu.edu" =
TARGET=3D"_blank">http://lcsd05.cs.tamu.edu</A></FONT>
</P>

<P><FONT =
SIZE=3D2>---------------------------------------------------------------=
--------</FONT>
</P>

<P><FONT =
SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp; LIBRARY-CENTRIC SOFTWARE DESIGN - LCSD'05</FONT>
</P>

<P><FONT =
SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nb=
sp;&nbsp;&nbsp; Workshop, on Sunday, October 16, 2005 at the</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp; Object-Oriented Programming, =
Systems, Languages and Applications</FONT>
<BR><FONT SIZE=3D2>&nbsp; (OOPSLA'05) conference in San Diego, =
California, October 16-20, 2005</FONT>
</P>

<P><FONT SIZE=3D2>CALL FOR PAPERS</FONT>
</P>

<P><FONT SIZE=3D2>Libraries are central to all major scientific, =
engineering, and</FONT>
<BR><FONT SIZE=3D2>business areas, yet the design, implementation, and =
use of libraries</FONT>
<BR><FONT SIZE=3D2>are underdeveloped arts. This workshop is one of the =
first steps in</FONT>
<BR><FONT SIZE=3D2>the process of placing all aspects of libraries on a =
sound technical</FONT>
<BR><FONT SIZE=3D2>and scientific basis through research into =
fundamental issues and</FONT>
<BR><FONT SIZE=3D2>documentation of best practices.</FONT>
</P>

<P><FONT SIZE=3D2>A software library is an organized collection of code =
with associated</FONT>
<BR><FONT SIZE=3D2>tools supporting programming in general or in =
specific domains,</FONT>
<BR><FONT SIZE=3D2>usually united by a specified set of principles and =
conventions. Most</FONT>
<BR><FONT SIZE=3D2>libraries are aimed at the use by several people and =
in different</FONT>
<BR><FONT SIZE=3D2>environments. The areas of software library research =
include</FONT>
</P>

<P><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Design and implementation =
of libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Program and system design =
based on libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Libraries supporting =
specific application domains, such as</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; biology and =
banking</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Evolution, refactoring, =
and maintenance of libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Empirical studies of =
library use</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Performance of libraries, =
including benchmarking and</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; library-based =
optimizations</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Design of language =
facilities and tools in support of library</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; definition and =
use</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Validation, debugging, =
and testing of libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Extensibility, =
parameterization, and customization</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Distribution of =
libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Specification of =
libraries and their semantics</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Usability for library =
users and developers</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Assessing quality of =
libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Documentation and =
teaching of libraries</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Creating and supporting =
communities of library users</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; * Using several libraries =
in combination</FONT>
</P>

<P><FONT SIZE=3D2>We invite the submission of extended abstracts on =
software library</FONT>
<BR><FONT SIZE=3D2>research, including, but not limited to, the above =
list of topics.</FONT>
<BR><FONT SIZE=3D2>The extended abstracts should address issues =
important to libraries as</FONT>
<BR><FONT SIZE=3D2>a field, i.e., describe ideas or techniques that can =
be reused for</FONT>
<BR><FONT SIZE=3D2>libraries across problem domains and/or languages; =
they should refrain</FONT>
<BR><FONT SIZE=3D2>from merely describing a particular library, no =
matter how novel the</FONT>
<BR><FONT SIZE=3D2>choice of domain. As an additional criterion, the =
extended abstracts</FONT>
<BR><FONT SIZE=3D2>are reviewed against suitability for a journal =
publication of the</FONT>
<BR><FONT SIZE=3D2>corresponding full paper.</FONT>
</P>

<P><FONT SIZE=3D2>For uniformity, authors should use the latest ACM =
SIGS conference</FONT>
<BR><FONT SIZE=3D2>style file (option 1) at</FONT>
<BR><FONT SIZE=3D2><A =
HREF=3D"http://www.acm.org/sigs/pubs/proceed/template.html" =
TARGET=3D"_blank">http://www.acm.org/sigs/pubs/proceed/template.html</A>=
. Submissions should</FONT>
<BR><FONT SIZE=3D2>be limited to 10 pages in this style.</FONT>
</P>

<P><FONT SIZE=3D2>Accepted extended abstracts will be posted on the =
workshop's Web site</FONT>
<BR><FONT SIZE=3D2>prior to the workshop, and collected in a =
proceedings published as a</FONT>
<BR><FONT SIZE=3D2>Rensselaer Polytechnic Institute tech report. =
Authors of selected</FONT>
<BR><FONT SIZE=3D2>papers will be invited to submit a full paper for a =
special issue of a</FONT>
<BR><FONT SIZE=3D2>journal, to be announced later.</FONT>
</P>

<P><FONT SIZE=3D2>IMPORTANT DATES</FONT>
</P>

<P><FONT SIZE=3D2>Jul 31&nbsp;&nbsp;&nbsp; Submission of extended =
abstracts</FONT>
<BR><FONT SIZE=3D2>Sep&nbsp; 9&nbsp;&nbsp;&nbsp; Notification of =
acceptance</FONT>
<BR><FONT SIZE=3D2>Oct&nbsp; 4&nbsp;&nbsp;&nbsp; Final version posted =
on workshop Web site</FONT>
<BR><FONT SIZE=3D2>Oct 16&nbsp;&nbsp;&nbsp; Workshop</FONT>
</P>

<P><FONT SIZE=3D2>SUBMISSION PROCEDURE</FONT>
</P>

<P><FONT SIZE=3D2>For details of the electronic submission procedure, =
see the workshop's</FONT>
<BR><FONT SIZE=3D2>Web site, <A HREF=3D"http://lcsd05.cs.tamu.edu" =
TARGET=3D"_blank">http://lcsd05.cs.tamu.edu</A>.</FONT>
</P>

<P><FONT SIZE=3D2>ORGANIZERS</FONT>
</P>

<P><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; David Musser, =
Rensselaer Polytechnic Institute</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Andrew Lumsdaine, =
Indiana University</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Jaakko Jarvi, Texas =
A&amp;M University</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Sibylle Schupp, =
Chalmers University of Technology</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Todd Veldhuizen, =
Indiana University</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Jeremy Siek, Rice =
University</FONT>
</P>

<P><FONT SIZE=3D2>Primarily, the email address lcsd05@cs.tamu.edu =
should be used for</FONT>
<BR><FONT SIZE=3D2>questions addressed to the organizers.</FONT>
</P>

<P><FONT SIZE=3D2>PROGRAM COMMITTEE</FONT>
</P>

<P><FONT SIZE=3D2>Not yet finalized, but the following are =
confirmed:</FONT>
</P>

<P><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Uwe Assmann, =
Technical University of Dresden</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Matt Austern, =
Google Inc.</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Herve Broennimann, =
Polytechnic University</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Antonio Cisternino, =
University of Pisa</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Jack Dongarra, =
University of Tennessee</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Ulrich Eisenecker, =
University of Leipzig</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Calvin Lin, =
University of Texas at Austin</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Alex Stepanov, =
Adobe Systems Inc.</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Bjarne Stroustrup, =
Texas A&amp;M and AT&amp;T Labs</FONT>
<BR><FONT SIZE=3D2>&nbsp;&nbsp;&nbsp;&nbsp; *&nbsp; Frank Tip, IBM =
Research</FONT>
</P>

<P><FONT SIZE=3D2>In addition, the organizers will serve as program =
committee members.</FONT>
</P>

<P><FONT SIZE=3D2>WORKSHOP GOALS AND ACTIVITIES</FONT>
</P>

<P><FONT SIZE=3D2>The workshop establishes a scientific forum for =
presenting original</FONT>
<BR><FONT SIZE=3D2>research in the design, implementation, and =
evaluation of software</FONT>
<BR><FONT SIZE=3D2>libraries. Other major activities include the =
identification of open</FONT>
<BR><FONT SIZE=3D2>questions specific to library research and the =
discussion of a</FONT>
<BR><FONT SIZE=3D2>strategic plan for establishing library research as =
a field. The</FONT>
<BR><FONT SIZE=3D2>outcome of the workshop is a combination of research =
contributions and</FONT>
<BR><FONT SIZE=3D2>specific next steps for improving the infrastructure =
for library</FONT>
<BR><FONT SIZE=3D2>research.</FONT>
</P>

<P><FONT SIZE=3D2>Participants are expected to read the accepted =
submissions beforehand.</FONT>
<BR><FONT SIZE=3D2>The technical presentations, although based on the =
accepted papers,</FONT>
<BR><FONT SIZE=3D2>should not provide mere summaries of the papers. =
Instead, authors are</FONT>
<BR><FONT SIZE=3D2>encouraged to use their presentation slots (20 + 10 =
mins) to bring up</FONT>
<BR><FONT SIZE=3D2>topics for discussion.</FONT>
</P>

<P><FONT SIZE=3D2>The technical presentations are mixed with scientific =
and</FONT>
<BR><FONT SIZE=3D2>organizational discussions. The discussions aim at =
furthering the</FONT>
<BR><FONT SIZE=3D2>topics of the presentations, thus their agenda will =
be publicly</FONT>
<BR><FONT SIZE=3D2>discussed among the participants and then posted on =
the website of the</FONT>
<BR><FONT SIZE=3D2>workshop. All participants are expected to come =
prepared with their</FONT>
<BR><FONT SIZE=3D2>tentative answers or thoughts.</FONT>
</P>

<P><FONT SIZE=3D2>The full-day workshop starts with a keynote talk for =
the stimulation</FONT>
<BR><FONT SIZE=3D2>of discussion and concludes with a plenary =
discussion that decides the</FONT>
<BR><FONT SIZE=3D2>specific next steps for improving the infrastructure =
for library</FONT>
<BR><FONT SIZE=3D2>research.</FONT>
</P>

<P><FONT SIZE=3D2>FOR MORE INFORMATION AND UPDATES please visit</FONT>
<BR><FONT SIZE=3D2>the workshop's Web site, <A =
HREF=3D"http://lcsd05.cs.tamu.edu" =
TARGET=3D"_blank">http://lcsd05.cs.tamu.edu</A>.</FONT>
<BR><FONT =
SIZE=3D2>_______________________________________________</FONT>
</P>

</BODY>
</HTML>
------_=_NextPart_001_01C5765E.18DC3F96--