COMPULOG Americas Logo Second International Workshop
Practical Aspects of Declarative Languages

Boston, Massachusetts
January 17-18, 2000
Fairmont Hotel

         (Co-located with POPL'00)

Program Committee


S. Debray USA
B. Demoen Belgium
I. Dutra Brasil
C. Elliott USA
M. Fahndrich USA
M. Felleisen USA
G. File Italy
G. Gupta USA
C. Hankin UK
D. Hislop USA
P. Hudak USA
R. Kieburtz USA
P. Lopez-Garcia Spain
L. Naish Australia
E. Pontelli USA (chair)
I.V. Ramakrishnan USA
V. Santos Costa Portugal (chair)
F. Silva Portugal
P. Van Roy Belgium
M. Wallace UK
M. Wand USA
N-F. Zhou Japan


Paper Submission August 20, 1999
Notification September 29, 1999
Camera-ready October 23, 1999
Workshop January 17/18, 2000

Second International Workshop on
Practical Aspects of Declarative Languages
Boston, Massachusetts,
January 17-18, 2000

Declarative languages build on sound theoretical basis to provide attractive frameworks for application development. Indeed, these languages have been successfully applied to vastly different real-world situations, ranging from data base management to active networks to software engineering to decision support systems, to  mention a few examples. 
The major strength of declarative languages lies in the way work on efficient implementation has allowed programmers to take advantage of their strong theorical foundations. In fact, new developments in theory and implementation often open up new application areas. On the other hand, as declarative languages are applied to novel problems, a number of interesting research issues arise. Well-known such questions include designing for scalability, language extensions for application deployment, and programming environments. Thus, applications are both a cause for and benefit from progress in the theory and implementation of declarative systems. 

The PADL'00 series of workshops aims at providing a forum where researchers, practitioners, and implementors of declarative languages may exchange ideas on current and novel application areas and on the requirements for effective deployment of declarative systems. Thus, we invite papers dealing with practical applications of newly discovered results and techniques in logic, constraint, and functional programming. Papers dealing with practical applications of theoretical results, new implementation techniques, or innovative applications are particularly welcome. Position papers as well as papers that present work-in-progress are also welcome. 
PADL'00 builds on the success of the First Workshop on Practical Aspects of Declarative Programming, held in San Antonio. 
Scope of PADL includes, but is not limited to: 

  • Innovative Applications
  • Practical Applications of Theoretical Results
  • Declarative Languages and the Internet
  • Declarative Languages and Software Engineering
  • Declarative Languages and Software Enabled Control
  • Deductive Database Systems
  • Declarative Languages for Specification and Verification
  • Practical Experiences
  • Innovative Implementation/Compilation Techniques
Authors may submit an electronic copy of the full paper, in English, to the email address below (preferred), or submit six copies of the paper to the postal address below. The paper should reach by August 20th, 1999. Papers must be no longer than 15 pages, written in 12 point font and with single spacing. Each copy of the submission must include on an extra sheet the paper title, authors and their affiliations, contact information, an abstract, and three to four keywords. Each paper will be reviewed. Authors will be notified by  September 29th, 1999. Camera ready copies will be due by October 23th, 1999.  The proceedings will be published as Lecture Notes in Computer Science by Springer Verlag. The proceedings will appear as Volume 1753 of the Lecture Notes in Computer Science series.

Contact Address

      Enrico Pontelli
      Department of Computer Science
      Science Hall, Stewart Street
      New Mexico State University
      Las Cruces, NM 88003-0001
      Ph: +1 (505) 646 6239
      Fax: +1 (505) 646-1002 

Sponsored by COMPULOG AMERICAS and the Association for Logic Programming
In Cooperation with ACM SIGPLAN