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
[EMAIL PROTECTED] [EMAIL PROTECTED]
-- 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)
_______________________________________________
Haskell mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell
