[TYPES] CFP: PLAN-X 2006

[Anders Møller]

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

                http://planx2006.ens.fr/

     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, University of Aarhus


SCOPE:
  Programming language research has already had considerable impact
  in the world of XML and will play 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, document processing, etc. -- can gather and exchange
  ideas.

  The scope of the workshop includes both theoretical and practical
  research. We seek both mature work that addresses significant
  challenges posed by issues specific to XML and work still in
  early stages that raises novel challenges. Example topics include
  -- but are not limited to -- the following:

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


DEMOS:
  This year the program committee invites proposals for a demonstrations
  program. This program offers a showcase for first-hand experience with
  research systems and prototypes for programming with XML. The 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.  Commercial sales and marketing activities are not appropriate
  for the demonstrations program. Submission of a demonstration proposal
  on a particular topic does not preclude or require a separate
  submission of a paper on that topic.


PROCEEDINGS:
  There will be no formal proceedings, thus, accepted material may
  be published elsewhere at a later date. The aim is that besides
  providing a forum for presenting new ideas, the workshop
  constitutes a focused testbed for mature work before it being
  submitted to major conferences.


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.
      Paper submission site: http://planx06.brics.dk/PLAN-X-06/submit/

   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.
      Submission e-mail: planx-demo at watson.ibm.com

  Submitted documents should be in screen-readable PDF (preferred)
  or PS format.