PLI 2002 early registration deadline approaching

2002-09-03 Thread Shriram Krishnamurthi

[This is the last announcement we will send about PLI 2002.  Please
 note that the early registration deadline is just over a week away.
 We look forward to your participation in the events!]

   PLI 2002
  Principles, Logics, and Implementations of
   High-Level Programming Languages

 Early Registration Deadline:
  SEPTEMBER 12, 2002

 Pittsburgh, PA, USA
  October 3-8, 2002
 http://pli2002.cs.brown.edu/

PLI is a confederation of conferences and workshops aimed at the
advancement of high-level programming languages.  This year, PLI
consists of three conferences:

  ICFP (International Conference on Functional Programming)
  PPDP (International Conference on Principles and Practice of
Declarative Programming)
  GPCE (Generative Programming and Component Engineering)

and seven workshops:

  Haskell
  PLAN-X (Programming Languages for XML)
  Scheme
  Rule (Rule-Based Programming)
  VCL (Verification and Computational Logic)
  Erlang
  FDPE (Functional and Declarative Programming in Education)

The hotel's cut-off date for guaranteed reservations at the group rate
is also September 12, 2002, so do register and reserve soon.

We look forward to seeing you in Pittsburgh!

Shriram Krishnamurthi
Publicity Chair
PLI 2002
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell



PLAN-X: new deadline (May 31)

2002-05-01 Thread Shriram Krishnamurthi

  Note that both submission and notification dates have changed from
  earlier announcements.  The original submission date was awkwardly
  placed with respect to several other conference and workshop deadlines.

 ---

PLAN-X: PROGRAMMING LANGUAGE TECHNOLOGIES FOR XML

 Oct 3, 2002   Pittsburgh, PA
(Co-located with PLI)

CALL FOR PAPERS
Submission deadline: May 31, 2002
  [not May 1, as previously announced]

XML has emerged as the de facto standard for data interchange on the web.
The use of XML as a common format for representation, interchange, and
transformation of data poses new challenges to programming languages,
applications, and database systems.  During the last few years, the
database research community has devoted a lot of attention to XML's data
representation challenges, as evidenced by the number of XML-related
publications in premier database conferences and journals.

In contrast, the attention devoted to XML by the programming language
research community has been minimal.  This is unfortunate, since the
robustness of current and future programming standards and tools for XML
will depend on the strength of their foundations in core programming
technologies e.g., XML parsing (parsing theory and incremental parsing),
XML schemas (type systems), XPATH expressions and XSLT programs
(pattern-matching languages and their optimization), XSLT debuggers
(dynamic program analysis and slicing).  Since XML is a new domain, core
programming technologies developed in past research cannot be used
unchanged; instead, novel research is required to address the unique
challenges posed by XML and its use in web applications and standalone
applications.

This workshop aims to bring together researchers from the programming
languages and XML communities,

  a) to foster novel research to address unique challenges being posed by
 XML on current and future programming technologies;

  b) to exchange information on early research experiences with XML-related
 programming systems, tools, and languages; 

and

  c) to expose the PLI community to XML technologies and the potential
 impact of these technologies on future software.

SUBMISSION PROCEDURE

We solicit submissions on original research not previously published or
currently submitted for publication elsewhere, in the form of extended
abstracts. These extended abstracts should not exceed 5000 words
(approximately 10 pages). Detailed submission instructions will be posted
soon at http://www.research.avayalabs.com/user/wadler/planx.

PROCEEDINGS

There will be no formal proceedings.  An informal proceedings will be
distributed at the workshop.  [The intention is that papers presented at
PLAN-X should not be blocked from later submission to an 'archival'
conference.]

IMPORTANT DATES
  Submission deadline 31 May 2002
  Notification of acceptance or rejection 31 July 2002
  Final papers due for informal proceedings   4 Sep 2002

WEB PAGE:
http://www.research.avayalabs.com/user/wadler/planx/

GENERAL CHAIR: 
Vivek Sarkar, IBM

PROGRAM CO-CHAIRS:
Benjamin Pierce (University of Pennsylvania)
Philip Wadler (Avaya Labs)

PROGRAM COMMITTEE:  
Allen Brown (Microsoft) 
Peter Buneman (Edinburgh)
Sophie Cluet (Xyleme / INRIA)
Mary Fernandez (ATT Labs)
Shriram Krishnamurthi (Brown)
Makoto Murata (IBM Japan)
Benjamin Pierce (University of Pennsylvania)
Michael Schwartzbach (Aarhus)
Dan Suciu (University of Washington)
Philip Wadler (Avaya Labs)

INVITED SPEAKER:
James Clark
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell



PLAN-X: Programming Language Technologies for XML

2002-04-02 Thread Shriram Krishnamurthi

PLAN-X: PROGRAMMING LANGUAGE TECHNOLOGIES FOR XML

 Oct 3, 2002   Pittsburgh, PA
(Co-located with PLI)

CALL FOR PAPERS
Submission deadline: May 1, 2002

XML has emerged as the de facto standard for data interchange on the web.
The use of XML as a common format for representation, interchange, and
transformation of data poses new challenges to programming languages,
applications, and database systems.  During the last few years, the
database research community has devoted a lot of attention to XML's data
representation challenges, as evidenced by the number of XML-related
publications in premier database conferences and journals.

In contrast, the attention devoted to XML by the programming language
research community has been minimal.  This is unfortunate, since the
robustness of current and future programming standards and tools for XML
will depend on the strength of their foundations in core programming
technologies e.g., XML parsing (parsing theory and incremental parsing),
XML schemas (type systems), XPATH expressions and XSLT programs
(pattern-matching languages and their optimization), XSLT debuggers
(dynamic program analysis and slicing).  Since XML is a new domain, core
programming technologies developed in past research cannot be used
unchanged; instead, novel research is required to address the unique
challenges posed by XML and its use in web applications and standalone
applications.

This workshop aims to bring together researchers from the programming
languages and XML communities,

  a) to foster novel research to address unique challenges being posed by
 XML on current and future programming technologies;

  b) to exchange information on early research experiences with XML-related
 programming systems, tools, and languages; 

and

  c) to expose the PLI community to XML technologies and the potential
 impact of these technologies on future software.

SUBMISSION PROCEDURE

We solicit submissions on original research not previously published or
currently submitted for publication elsewhere, in the form of extended
abstracts. These extended abstracts should not exceed 5000 words
(approximately 10 pages). Detailed submission instructions will be posted
at http://www.research.avayalabs.com/user/wadler/planx by early April.

PROCEEDINGS

There will be no formal proceedings.  An informal proceedings will be
distributed at the workshop.

IMPORTANT DATES
  Paper submission deadline May 1
  Notification of acceptanceJune 21
  Final papers due for informal proceedings Sep 4

WEB PAGE:
http://www.research.avayalabs.com/user/wadler/planx/

GENERAL CHAIR: 
Vivek Sarkar, IBM

PROGRAM COMMITTEE:  
Allen Brown (Microsoft) 
Peter Buneman (Edinburgh)
Sophie Cluet (Xyleme / INRIA)
Mary Fernandez (ATT Labs)
Shriram Krishnamurthi (Brown)
Makoto Murata (IBM Japan)
Benjamin Pierce (University of Pennsylvania), co-chair
Michael Schwartzbach (Aarhus)
Dan Suciu (University of Washington)
Philip Wadler (Avaya Labs), co-chair

INVITED SPEAKER:
James Clark
___
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell