PADL'01 Final Call for Papers

[Gopal Gupta]

[- Apologies for multiple messages;
 - Paper submission deadline is August 10th.
 - PADL'02 proceedings will be published as Springer Verlag LNCS,
         past proceedings can be found in LNCS 1551, 1753 and 1990.
]


         FINAL CALL FOR PAPERS!!!      FINAL CALL FOR PAPERS!!!       

                    Fourth International Symposium on 
               Practical Aspects of Declarative Languages

	           http://www.cs.sunysb.edu/~padl2002
		            (PADL '02) 

		        Portland, Oregon, USA 
		          Jan 19-20, 2002
                      Co-located with POPL 2002 

Declarative languages  build on sound theoretical bases to provide   
attractive frameworks for application development. 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.  

New developments  in theory  and implementation have opened up new 
application areas.  At the same time,  applications of declarative 
languages to  novel problems raises  numerous interesting research 
issues.  Well-known questions  include designing  for scalability, 
language  extensions for application  deployment,  and programming 
environments.  Thus, applications drive the progress in the theory 
and  implementation  of declarative systems, and benefit from this 
progress as well.  

PADL  provides   a  forum  for  researchers,   practitioners,  and 
implementors of declarative languages to exchange ideas on current 
and novel application areas and on the requirements for  effective 
deployment of declarative systems.  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 techniques 
of  implementation  with considerable impact on an application, or 
innovative applications are particularly welcome.  Position papers 
as well as papers that present works in progress are also welcome. 
The scope of PADL includes, but is not limited to: 

        o Innovative applications of declarative languages 
        o Declarative domain-specific languages and applications 
        o New developments in declarative languages 
		 and their impact on applications 
        o Practical experiences 
        o Evaluation of implementation techniques 
	         on practical applications 
        o Novel uses of declarative languages in the classroom 
				  
The papers should highlight the practical contribution of the work 
and  the relevance of  declarative languages  to achieve that end. 
PADL 2002 will co-locate with ACM POPL 2002,  in Portland, Oregon. 
Previous PADLs were held in San Antonio (1999), Boston (2000), and
Las Vegas (2001).

Important Dates: 

	o Paper Submission: Aug. 10, 2001
	o Notification: Oct. 8, 2001 
	o Camera Ready: Nov. 5, 2001 
	o Symposium: Jan. 19-20, 2002

Paper Submission: Authors should submit an electronic copy of the 
full  paper (written in English)  in Postscript (Level 2) or PDF. 
Papers must be no longer than 15 pages,  written in 11-point font 
and  with single spacing.  Since  the final  proceedings  will be 
published as Lecture Notes in Computer Science by Springer Verlag, 
authors are  strongly encouraged to use the LNCS paper formatting 
guidelines for their submission.  Each  submission  must include, 
on its 1st page, the paper title; authors and their affiliations; 
contact  author's  email and  postal addresses, telephone and fax 
numbers, abstract, and  three to four keywords. The keywords will 
be  used to assist us in selecting appropriate  reviewers for the 
paper. If electronic submission is impossible, please contact the 
program co-chairs  for information on  how to submit hard copies.  

Program Committee:

        o Sergio Antoy, Portland State University, USA 
        o Gopal Gupta, UT Dallas (Organizer) 
        o Joxan Jaffar, National University of Singapore 
        o Fergus Henderson, University of Melbourne, Australia 
        o Shriram Krishnamurthi, Brown University, USA (Program Co-chair) 
        o Andrew Kennedy, Microsoft Research, UK 
        o Michael Leuschel, University of Southampton, UK 
        o Kim Marriott, Monash University, Australia 
        o John Peterson, Yale University, USA 
        o Andreas Podelski, MPI, Germany 
        o Enrico Pontelli, New Mexico State University, USA 
        o C.R. Ramakrishnan, SUNY, Stony Brook, USA (Program Co-chair) 
	o John Reppy, Bell Labs Lucent Technologies
        o Manuel Serrano, Universit'e de Nice, France 
	o Olin Shivers, Georgia Tech, USA
        o Paul Tarau, University of North Texas, USA 

For more Information, please contact 

    C.R. Ramakrishnan
    Computer Science Department
    SUNY at Stony Brook
    Stony Brook, NY 11794-4400
    USA
    email: cram@REDACTED