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
|| UPDATE: - Christoph Koch (U Saarland, Germany) will give the ||
|| PLAN-X 2007 keynote speech. ||
|| - The detailed program is available (included below). ||
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).
-- PROGRAM (Saturday, January 20, 2007)
09:00--10:00 Welcome
Invited Talk by Christoph Koch (U Saarland,
Germany)
(title to be announced)
10:00--10:30 Coffee break
10:30--12:00 Session 1: Research Papers
Streaming XML Transformations Using Term Rewriting
(Alain Frisch, Keisuke Nakano)
How to Recognise Different Kinds of Tree
Patterns From
Quite a Long Way Away
(Jan Hidders, Philippe Michiels, Jerome Simeon,
Roel Vercammen)
Lux: A Lightweight, Statically Typed XML Update
Language
(James Cheney)
12:00--01:30 Workshop lunch (provided)
01:30--03:10 Session 2: Research Papers and Demo Presentations
A Theory of Contracts for Web Services
(Giuseppe Castagna, Nils Gesbert, Luca Padovani)
XML Transformation Language Based on Monadic
Second Order Logic
(Kazuhiro Inaba, Haruo Hosoya)
Demo: MTran: An XML Transformation Language
Bases on
Monadic Second Order Logic
(Kazuhiro Inaba, Haruo Hosoya)
Demo: XCentric: A Logic-Programming Language for
XML Processing
(Jorge Coelho, Mário Florido)
Demo: LINQ to XSD
(Ralf Lämmel)
Demo: GeLaBa: A Framework to Define Classes of
XML Documents and to Automatically Derive
Specialized Infrastructures
(Benoit Pin, Georges André Silber)
03:10--04:00 Interactive Demos and Coffee break
04:00--05:30 Session 3: Research Papers
XPath Typing Using a Modal Logic with Converse for
Finite Trees
(Pierre Geneves, Nabil Layaida, Alan Schmitt)
Deciding Equivalence of Top-Down XML
Transformations
in Polynomial Time
(Sebastian Maneth, Helmut Seidl)
A Logic Your Typechecker Can Count On:
Unordered Tree Types in Practice
(Nate Foster, Benjamin C. Pierce, Alan Schmitt)
-- 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ünchenU Pisa
Munich, Germany Pisa, Italy
[EMAIL PROTECTED] [EMAIL PROTECTED]
-- PLAN-X 2007 Program Committee
- Michael Benedikt (Lucent, US
