Program Committee
M. Carlsson |
Sweden |
T. Chikayama |
Japan |
B. Demoen |
Belgium |
H. Gill |
USA |
G. Gupta (Chair) |
USA |
M. Hermenegildo |
Spain |
B. Jayaraman |
USA |
N. Jones |
Denmark |
R. Kieburtz |
USA |
M. Martelli |
Italy |
S. Peyton Jones |
UK |
E. Pontelli |
USA |
I.V. Ramakrishnan |
USA |
D. Schmidt |
USA |
V. Santos Costa |
Portugal |
P. van Hentenryck |
USA |
D.S. Warren |
USA |
P. Wadler |
USA |
Deadlines
Paper Submission |
August 30, 1998 |
Notification |
October 10, 1998 |
Camera-ready |
November 10, 1998 |
|
First International Workshop
on
Practical Aspects of Declarative
Languages
(PADL'99)
Menger Hotel,
San Antonio, Texas,
January 18-19, 1999
http://www.cs.nmsu.edu/~complog
Declarative languages have traditionally been regarded by the mainstream
computing community as too impractical to be put to practical use. At the
same time, traditional conferences devoted to declarative languages do
not have issues related to practice as their central focus. Thus, there
are few forums devoted to discussion of practical aspects and implications
of newly discovered results and techniques related to declarative languages.
The goal of PADL'99 is to bring together researchers,
practitioners and implementors of declarative languages to discuss practical
issues and implications of their research results.
Thus, papers dealing with practical applications of newly discovered
results and techniques in logic, functional, and constraint programming
are invited.
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.
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
30th, 1998. 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 October
20th, 1998. Camera ready copies will be due by November
10th, 1998. The proceedings will be published as Lecture
Notes in Computer Science by Springer Verlag.
Contact Address
Gopal Gupta
Department of Computer Science
Science Hall, Stewart Street
New Mexico State University
Las Cruces, NM 88003-0001
Ph: +1 (505) 646 6236
email: complog@cs.nmsu.edu
Sponsored by COMPULOG
AMERICAS and the Association
for Logic Programming
In Cooperation with ACM SIGPLAN
|