This document is also available as
Michael I. Schwartzbach, editor.
PLAN-X 2004 Informal Proceedings, (Venice, Italy, 13
January, 2004), December 2003.
Abstract: The workshop aims at providing a meeting ground for
researchers from the XML, programming language, and database communities. XML
is already a de-facto industry standard for data exchange, it has from an
early stage been embraced by database researchers, and it is gaining
increasing interest from programming language researchers.
workshop we hope to present recent results, identify new challenges, and
inspire the programming language community to focus on XML.
of the workshop is on methods, tools, and theories for processing XML.
Example topics include (but are not limited to) XML parsing, XML type system
and schemas, analysis and implementation of technologies such as XPath, XSLT,
and XQuery, and integration of XML in both general-purpose and
domain-specific programming languages.
Luca Aceto, Zoltán Ésik,
Willem Jan Fokkink, and Anna Ingólfsdóttir, editors.
Slide Reprints from the Workshop on Process Algebra: Open
Problems and Future Directions, PA '03, (Bologna, Italy, 21-25 July,
2003), November 2003.
Abstract: This volume contains reprints of the slides of most
of the talks that were delivered during the workshop on
``Process Algebra: Open Problems and Future
that was held in
the period 21-25 July, 2003, at the University
Residential Centre of
Some of My Favourite Results in Classic Process Algebra.
21 pp. To appear in the Bulletin of the EATCS, volume 81,
Abstract: This note collects some of the author's favourite
results in classic process algebra, broadly construed, and points to some
open problems in the field. It is hoped that this piece will offer a modest
contribution to the healthy development of this area of research.
Patrick Cousot, Lisbeth Fajstrup, Eric
Goubault, Maurice Herlihy, Kurtz Alexander, Martin Raußen, and Vladimiro
Preliminary Proceedings of the Workshop on Geometry and Topology
in Concurrency Theory, GETCO '03, (Marseille, France, September 6,
2003), August 2003.
Abstract: This volume contains the preliminary
proceedings of GETCO '03 held jointly with CMCIM 2003 in Marseille, France,
on September 6, 2003, as a satellite workshop of CONCUR 2003.