COMPULOG Americas Logo First International Workshop 
on 
Practical Aspects of Declarative Languages 
(PADL'99) 

Menger Hotel 
San Antonio, Texas 
January 18-19, 1999

         (Co-located with POPL'99)
   
Workshop Programme  

Registration Information


Message Board


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