[TYPES/announce] PLAN-X 2007: Call for Participation

[Torsten Grust]

                          Call for Participation

                          P L A N - X   2 0 0 7
                Programming Language Technologies for XML

            An ACM SIGPLAN Workshop collocated with POPL 2007

                     Nice, France -- January 20, 2007

                           www.plan-x-2007.org


Please join us for PLAN-X 2007, the fifth workshop in the PLAN-X series,
dedicated to the interaction and integration of programming language
technology and the world of XML.

The XML data model and its associated languages add interesting twists
to programming language practice as well as theory. Just like its four
predecessors, the PLAN-X 2007 workshop turns the spotlight on how
programming language technology can embrace and explain streaming XML
transformations, types for XPath and XML updates, web service contracts,
tree patterns in XQuery, LINQ and XML Schema, and more. PLAN-X 2007 will
feature eight talks, three system demonstrations, extensive opportunity
for discussion, and a keynote address (speaker to be announced).

PLAN-X 2007 will be held in the Plaza Hotel (Nice, France) all-day on
Saturday, January 20, 2007, just after and collocated with POPL 2007,
the ACM SIGPLAN - SIGACT Symposium on Principles of Programming
Languages (January 17-19, 2007).


-- ACCEPTED PAPERS

    Kazuhiro Inaba, Haruo Hosoya  	
    XML Transformation Language Based on Monadic Second Order Logic

    Nate Foster, Benjamin C. Pierce, Alan Schmitt 	
    A Logic Your Typechecker Can Count On: Unordered Tree Types
    in Practice

    Alain Frisch, Keisuke Nakano 	
    Streaming XML Transformations Using Term Rewriting

    Giuseppe Castagna, Nils Gesbert, Luca Padovani 	
    A Theory of Contracts for Web Services

    Sebastian Maneth, Helmut Seidl 	
    Deciding Equivalences of Top-Down XML Transformations
    in Polynomial Time

    Jan Hidders, Philippe Michiels, Jerome Simeon, Roel Vercammen 	
    How to Recognise Different Kinds of Tree Patterns From Quite a
    Long Way Away

    Pierre Geneves, Nabil Layaida, Alan Schmitt 	
    XPath Typing Using a Modal Logic with Converse for Finite Trees

    James Cheney 	
    Lux: A Lightweight, Statically Typed XML Update Language

-- ACCEPTED SYSTEM DEMONSTRATIONS

    Jorge Coelho, Mario Florido
    XCentric: A Logic-Programming Language for XML Processing

    Kazuhiro Inaba, Haruo Hosoya
    MTran:  An XML Transformation Language Based on
    Monadic Second Order Logic

    Ralf Lämmel
    LINQ to XSD


-- REGISTRATION

PLAN-X 2007 is held in cooperation with POPL 2007. You can register for
the workshop via the POPL 2007 registration process (online or offline).
Please visit

               http://www.regmaster.com/conf/popl2007.html

Registration rates are shown below. The rates are unaffected by the POPL
2007 early bird registration deadline. Note that you can upgrade an
existing POPL 2007 registration to include PLAN-X 2007. Workshop-only
registration is possible as well.

         ACM or SIGPLAN Member       $89
         Non-Member                  $99
         Student                     $89

Your registration includes a copy of the PLAN-X 2007 informal
proceedings, coffee breaks, and lunch.


-- PLAN-X 2007 Workshop Chairs

   - General Chair               - Program Chair

     Torsten Grust                 Giorgio Ghelli
     TU München                    U Pisa
     Munich, Germany               Pisa, Italy
     grust at in.tum.de               ghelli at di.unipi.it

-- PLAN-X 2007 Program Committee

   - Michael Benedikt             (Lucent, USA)
   - Daniela Florescu             (Oracle, USA)
   - Alain Frisch                 (INRIA Roquencourt, France)
   - Giorgio Ghelli, Chair        (U Pisa, Italy)
   - Haruo Hosoya                 (U Tokyo, Japan)
   - Anders Møller                (U Aarhus, Denmark)
   - Mukund Raghavachari          (IBM T.J. Watson Research Center, USA)
   - Alan Schmitt                 (INRIA Rhône-Alpes, France)
   - Sophie Tison                 (U Lille, France)
   - Philip Wadler                (U Edinburgh, UK)