[TYPES] CFP: PLAN-X 2005

Haruo HOSOYA hahosoya at is.s.u-tokyo.ac.jp
Tue Sep 21 16:34:48 EDT 2004


			   CALL FOR PAPERS

			     PLAN-X 2005

	      Programming Language Technologies for XML
		 A workshop colocated with POPL 2005

	     http://www.research.att.com/conf/planx2005/

Aims and Scope
==============

Programming language research has already had considerable impact in
the world of XML and will play an increasingly important role in the
design and implementation of future XML processing systems.  The
PLAN-X workshop provides a forum where like-minded researchers from a
range of communities -- programming languages, databases, document
processing, etc. -- can gather and exchange ideas.

The scope of the workshop includes both theoretical and practical
research.  We seek both mature work that addresses significant
challenges posed by issues specific to XML and work still in early
stages that raises novel challenges.  Example topics include -- but
are not limited to -- the following:

   * language designs for more flexible XML manipulation (pattern
     matching, path expressions, etc.);
   * verification techniques for XML data and processing programs
     (type systems, flow analysis, integrity constraints, etc.);
   * formal models for XML processing based on logic, automata,
     lambda calculus, etc.;
   * compilation and optimization techniques for XML languages;
   * linguistic ideas for processing large-scale XML data (external
     storage, streaming, etc.);
   * integration of XML languages and non-XML languages; and
   * real-life applications and experiments with applying language
     technologies to XML-intensive problems.

Proceedings
===========

There will be no formal proceedings. Informal proceedings will be
distributed at the workshop. Thus, accepted material may be published
elsewhere at a later date.

Important Dates
===============

   Paper submission deadline: 4 October 2004
   Notification of acceptance: 19 November 2004
   Final papers due: 13 December 2004
   Workshop: 11 January 2005

Submission
==========

We solicit submissions on original research not previously published
or currently submitted for publication elsewhere. We request extended
abstracts not exceeding 5000 words (approximately 10 pages), but
shorter extended abstracts (e.g. 2000 words) are often
sufficient. Submitted documents should be in screen-readable PDF
format.

General Chair
   Mary Fernandez, AT&T Labs

Program Co-chairs
   Haruo Hosoya (The University of Tokyo)
   Jerome Simeon (IBM)

Program Committee
   Veronique Benzaken (Universite de Paris 11)
   Luca Cardelli (Microsoft Research)
   Wenfei Fan (Lucent Technologies -- Bell Labs.)
   Giorgio Ghelli (Universita di Pisa)
   Anders Moeller (University of Aarhus)
   Susumu Nishimura (Kyoto University)
   Val Tannen (University of Pennsylvania)
   Norm Walsh (Sun Microsystems)




More information about the Types-list mailing list