PLAN-X 2007

News:

January 24, 2007:
The PLAN-X 2007 proceedings are available for download. Thank you to all attendees and contributors — PLAN-X 2007 has been a successful and fun event!

December 14, 2006:
The detailed PLAN-X 2007 program is available. Christoph Koch (U Saarland, Germany) will give the keynote speech.

November 24, 2006:
The PLAN-X 2007 list of accepted papers and software demonstrations has been posted.

November 1, 2006:
Registration for PLAN-X 2007 is open. Please use the POPL 2007 online registration forms.

October 11, 2006:
Paper submission for PLAN-X 2007 has been closed. Thanks a lot for your submissions!

September 20, 2006:
The submission deadline for PLAN-X 2007 has been postponed by a few days. New submission deadline: Tuesday, October 10, 2006.

August 28, 2006:
Paper and demo proposal submission is open! (Register as New User to obtain a login and password for the submission site.)
Note: The submission deadline is October 10, 2006, 5:00 PM (PDT).

July 27, 2006:
A Russian translation of the PLAN-X 2007 Call for Papers is available (thanks to Oleg Parashchenko).

July 18, 2006:
The PLAN-X 2007 Call for Papers and Demos has been posted.

June 8, 2006:
PLAN-X 2007 web site online.

Important Dates:

Contact:

Please address any questions to the general chair, Torsten Grust, or program chair, Giorgio Ghelli.

Previous PLAN-X workshops:

The PLAN-X 2007 Proceedings

PDF The PLAN-X 2007 informal proceedings are available for download (PDF, 100 pages, 2.5MB). It contains all 12 workshop contributions (8 regular papers plus 4 software demonstration descriptions). The copyright © of all contributions remains with the authors.

The PLAN-X 2007 Program

The PLAN-X 2007 program featured a mixture of 8 talks and 4 software demonstration (plenary as well as interactive). An invited talk by Christoph Koch (U Saarland, Germany) opened the day. Program details are to be found below.

PLAN-X 2007 has been held all-day on Saturday, January 20, 2007. The workshop took place in the Plaza Hotel (Nice) i.e., the POPL 2007 conference hotel. The workshop room was Matisse 1 (reachable from the main hotel lobby via the stairway labelled Salon Matisse).

Timetable (Saturday, January 20, 2007)

09:00 – 10:00 Welcome
Invited Talk by Christoph Koch (U Saarland, Germany)
XPath Leashed
10:00 – 10:30 Coffee break
10:30 – 12:00 Session 1: Reseach 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)