[TYPES] CFP: PLAN-X 2006

[Giuseppe Castagna]

==================================================================

    PRELIMINARY CALL FOR PAPERS AND DEMONSTRATIONS

          PLAN-X 2006: ACM SIGPLAN Workshop on
      Programming Language Technologies for XML

    Charleston, South Carolina, January 14th, 2006
             Associated with POPL 2006

DATES:
 Paper Submission: ..........October, the 3rd
 Demo Submission: ...........October, the 31st
 Notification: ..............November, the 24th
 Final version due: .........December, the 18th


PROGRAM COMMITTEE:
 Gavin Bierman                       Microsoft Research
 Giuseppe Castagna (chair)           Ecole Normale Superieure
 Alain Frisch                        INRIA Rocquencourt
 Tova Milo                           Tel Aviv University
 Giorgio Ghelli                      University of Pisa
 Makoto Murata                       IBM Japan
 Dan Olteanu                         Saarland University
 Benjamin Pierce                     University of Pennsylvania
 Mukund Raghavachari (demo chair)    IBM T.J.Watson
 Helmut Seidl                        TU Munchen

ORGANIZATION
 Anders Moeller (conference chair)   BRICS    

WEB
 http://planx2006.ens.fr


SCOPE:
 Programming language plays an increasingly important role in the
 design and implementation of future XML processing systems. The
 PLAN-X workshop provides a forum where like-minded researchers
 from a range of communities --- programming languages,
 databases, and document processing, etc. --- can gather and
 exchange ideas.

 The scope of the workshop includes both theoretical and
 practical research. We seek both mature work and preliminary
 descriptions of exciting work in progress. Example topics
 include -- but are not limited to -- the following:

    o language designs for flexible XML manipulation (pattern
      matching, path expressions, query languages, etc.);
    o verification techniques for XML and XML processing programs
      (type systems, flow analysis, integrity constraints, etc.);
    o formal models for XML processing based on logic, automata,
      lambda calculus, etc.;
    o compilation and optimization techniques for XML languages;
    o linguistic approaches to large-scale XML data (external
      storage, streaming, etc.);
    o integration of XML languages and non-XML languages; and
    o real-life applications and experiments applying language
      technologies to XML-intensive problems.


DEMOS:
 This year the program committee invites proposals for a
 demonstration session. This session offers a showcase for
 first-hand experience with research systems and prototypes for
 programming with XML. Authors of selected proposals will be
 given the opportunity to present a brief overview of their
 system at the meeting and demonstrate their system in a separate
 room. Submission of a demonstration proposal on a particular
 topic does not preclude or require a separate submission of a
 paper on that topic. Commercial sales and marketing activities
 are not appropriate for the demonstration session.


PROCEEDINGS:
 There will be no formal proceedings. The aim is that, besides
 providing a forum for presenting new ideas, the workshop can be
 a focused testbed for mature work before it is submitted to a
 major conference.


SUBMISSION GUIDELINES
  Research papers: We solicit submissions on original research
     not previously published or currently submitted for
     publication elsewhere. We request extended abstracts not
     exceeding 5000 words (approximately 10 pages), but shorter
     extended abstracts (e.g. 2000 words) are often sufficient.
  Demos: An extended abstract of up to two pages, including
     the title, authors, full contact information, and technical
     content to be demonstrated must be provided. Please indicate
     if the demo requires network access.
  Submitted documents should be in screen-readable PDF (preferred)
  or PS format and arrive before midnight of GMT-8 of the
  deadline day (e.g., for papers, 23:00 of Oct the 3rd in San
  Francisco).
  See http://planx2006.ens.fr for submission details.