[TYPES] PLAN-X 2006: Call for Participation

Anders Møller amoeller at brics.dk
Wed Dec 14 16:18:43 EST 2005

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


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

   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

   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.

     9:00-10:00 Invited Talk
       John Evdemon (Microsoft). To be announced.

    10:00-10:30 Demo session 1
       XPath acceleration, DB Optimizers, Xcerpt,  XJ, XLinq

    10:30-11:00 BREAK (with demos)

    11:00-12:30 Languages
       - Vladimir Gapeyev, Francois Garillot and Benjamin Pierce.
         Statically Typed Document Transformation:  An Xtatic
       - Christian Kirkegaard and Anders Moeller. Type Checking
         with XML Schema in Xact.
       - Mary Fernandez, Kathleen Fisher, Robert Gruber and Yitzhak
         Mandelbaum. PADX : Querying Large-scale Ad Hoc Data with

    12:30-14:00 LUNCH

    14:00-15:00 XML and Polymorphism
       - Alain Frisch. OCaml + XDuce
       - Jerome Vouillon. Polymorphism and XDuce-style patterns

    15:00-15:30 Demo session 2
       Xact, Xtatic, OcamlDuce, LaunchPADs, XHaskell

    15:30-16:00 BREAK (with demos)

    16:00-17:00 Trees and Transducers for XML
       - Emmanuel Filiot, Joachim Niehren, Jean-Marc Talbot and Sophie
         Tison. Composing Monadic Queries in Trees
       - Akihiko Tozawa. Type Checking for Functional XML Programming
         without Type Annotation

   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

   Anders Moeller (conference chair)   BRICS, University of Aarhus

More information about the Types-list mailing list