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 |
Deadlines
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
(PADL'00)
Boston, Massachusetts,
January 17-18, 2000
http://www.cs.nmsu.edu/~complog
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
email: complog@cs.nmsu.edu
Sponsored by COMPULOG
AMERICAS and the Association
for Logic Programming
In Cooperation with ACM SIGPLAN
|