[TYPES] CFP - PADL'2005 - Submission deadline *extended*, Sept. 17

Manuel Hermenegildo herme at unm.edu
Thu Sep 9 03:04:42 EDT 2004



     *** PAPER SUBMISSION DEADLINE EXTENDED: September 17th! ***

				   
			FINAL CALL FOR PAPERS

		  Seventh International Symposium on
	   Practical Aspects of Declarative Languages 2005
			      (PADL 05)

		  http://www.unm.edu/~herme/padl05/

		     Long Beach, California, USA
			 January 10-11, 2005

	    Co-located with ACM POPL, January 12-14, 2005

	      Paper submission deadline: September 10th


Declarative  languages  build  on  sound  theoretical  foundations  to
provide  attractive  frameworks  for application  development.   These
languages have been successfully applied  to a wide array of different
real-world situations, including database management, active networks,
software engineering, decision support systems, or music composition.

New  developments in  theory  and implementation  have  opened up  new
application areas.   At the same time, the  application 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  often  drive the  progress in  the
theory  and implementation  of declarative  systems, and  benefit from
this progress as well.

PADL is a forum for researchers and practioners to present original
work emphasizing novel applications and implementation techniques for
all forms of declarative concepts, including, functional, logic,
constraints, etc.  Topics of interest include:

 * Innovative applications of declarative languages.
 * Declarative domain-specific languages and applications.
 * Practical applications of theoretical results.
 * New language developments and their impact on applications.
 * Evaluation of implementation techniques on practical applications.
 * Novel implementation techniques relevant to applications. 
 * Novel uses of declarative languages in the classroom. 
 * Practical experiences.

PADL 05  welcomes new ideas and approaches  pertaining to applications
and implementation of declarative languages, and is not limited to the
scope of the first six PADL symposia (past proceedings can be found in
Springer Verlag LNCS, numbers 1551, 1753, 1990, 2257, 2562, and 3057).

In this occasion PADL is  co-located, as traditionally, with ACM POPL,
which will be held immediately following PADL, January 12-14.


IMPORTANT DATES

      Paper Submission:      September  10, 2004
      Notification:          October    10, 2004
      Camera-ready:          November   10, 2004
      Symposium:             January 10-11, 2005


SUBMISSION GUIDELINES

Authors should submit an electronic copy of the full paper (written in
English)  in  Postscript  (Level  2)  or  PDF.  Submission  should  be
completed using  the electronic procedure available  at the conference
website. 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 first  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 chairs for  information on how
to submit hard copies.


PROGRAM COMMITTEE

Kenichi Asai, Ochanomizu University, Japan
Manuel Carro, T.U. Madrid, Spain
Bart Demoen, K.U. Leuven, Belgium
John Gallagher, Roskilde University, Denmark
Hai-Feng Guo, University of Nebraska at Omaha, US
Joxan  Jaffar, National U. of Singapore, Singapore
Alan Mycroft, Cambridge University, UK
Gopalan Nadathur, U. of Minnesota, US
Lee Naish, U. of Melbourne, Australia
Simon Peyton-Jones, Microsoft Research, US
John Reppy, University of Chicago, US
Morten Rhiger, Roskilde University, Denmark
Francesca Rossi, University of Padova, Italy
Vitor Santos-Costa, U, Federal do Rio de Janeiro, Brazil
Terrance Swift, S.U. of New York at Stony Brook, US
David S. Warren, S.U. of New York at Stony Brook, US


MOST PRACTICAL PAPER AWARD

A  cash prize  of US$500  will be  awarded to  the submission  that is
judged  by  the  program  committee   to  be  the  best  in  terms  of
practicality, originality,  and clarity of  presentation.  The program
committee  may choose  not  to make  an  award; or  may make  multiple
awards, in which case the award money will be evenly divided.


CONTACTS

Please visit the conference web site:

http://www.unm.edu/~herme/padl05/

for further information. 

For additional information about papers and submissions, please
contact the Program Chairs:

    Manuel Hermenegildo (1,2)  herme at unm.edu,     or
    Daniel Cabeza (2)          dcabeza at fi.upm.es

    1 Departments of Computer Science and Electrical and Computer Engineering
      The University of New Mexico, Albuquerque, NM 87131, U.S.A.

    2 Facultad de Informatica, Universidad Politecnica de Madrid
      28660-Boadilla del Monte, Madrid, Spain

For additional information about the conference please contact the
General Chair:

    Gopal Gupta
    Department of Computer Science
    University at Texas at Dallas, Dallas, TX, U.S.A.
    gupta at utdallas.edu


SPONSORED BY: ACM SIGPLAN (applied for), 
	      COMPULOG Americas (http://www.cs.nmsu.edu/~complog), 
	      The Association for Logic Programming 
              (http://www.cs.kuleuven.ac.be/~dtai/projects/ALP/)

-- 
-----------------------------------------------------------------------------
 Manuel Hermenegildo                   |  University of New Mexico, NM, USA
 Professor, P. of Asturias Chair       |  Office: ECE 219A  
 Depts. of Computer Science and        |  Tel: +1 (505) 277 -9328/-3112 
 Electrical and Computer Engineering   |  http://www.unm.edu/~herme  
-----------------------------------------------------------------------------


More information about the Types-list mailing list