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@in.tum.de ghelli@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)