Call for Participation: PADL 2003

[Logic Programming Rsrch Association]

[Apologies for multiple messages.]

                       CALL FOR PARTICIPATION

                    Fifth International Symposium on 
               Practical Aspects of Declarative Languages

	 http://www.research.avayalabs.com/user/wadler/padl03/
		            (PADL '03) 
		      New Orleans, LA, USA 
		          Jan 13-14, 2003

You are cordially invited to the Fifth International Symposium on
Practical Aspects of Declarative Languages that will be held on Jan 13-14,
2003 right before ACM POPL. PADL received a record number of submissions (57)
this year, out of which 23 papers were selected for presentation at the
conference. Accepted papers also include "declarative pearls" and "Application
Letters." The program includes invited talks by three
distinguished speakers: Gerard Huet (INRIA, France), Shriram Krishnamurthi 
(Brown University) and David Page (U. of Wisconsin, USA). 
Registration rates ($175 regular and $125 student) have been kept very
low to make the event affordable.  If you are attending ACM POPL, we encourage
you to stay for a whole week in New Orleans and attend PADL as well.

More details can be found at: 
	http://www.research.avayalabs.com/user/wadler/padl03/

--------------------------------------------------------------------

Invited Talks:

    o Gerard Huet, Zen and the Art of Symbolic Computing: 
          Light and Fast Applicative Algorithms for Computational Linguistics.
    o David Page: 
          The Role of Declarative Languages in Mining Biological Databases.
    o Shriram Krishnamurthi: 
          The Continue Server (or, How I Administered PADL 2002 and 2003)

List of Accepted Papers:

    o Non-monotonic Reasoning on Beowulf Platforms. 
              E. Pontelli, M. Balduccini, F. Bermudez
    o Multi-Agent Reactive Systems. 
              Prahladavaradan Sampath
    o Web Programming with SMLserver
              Martin Elsman and Niels Hallenberg
    o Reconstructing the Evolutionary History of Indo-European 
      Languages using Answer Set Programming., 
	      Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, and Donald Ringe
    o Logic Programs for Querying Inconsistent Databases
              Pablo Barcelo and Leopoldo Bertossi
    o Data mining the yeast genome in a lazy functional language
              Amanda Clare and Ross D. King
    o WAM Local Analysis
              Michel Ferreira, Luis Damas
    o Logic Programs as Compact Denotations
              Patricia M. Hill and Fausto Spoto
    o Sequence Quantification
              Peter Schachte
    o Garbage Collection Algorithms for Java--Based Prolog Engines
              Qinan Zhou, Paul Tarau
    o An Integrated Information System powered by Prolog
              Antonio Porto
    o Functional Hybrid Modelling
              Henrik Nilsson, John Peterson, Paul Hudak
    o A Logical Framework for Modelling eMAS
              Pierangelo Dell'Acqua and Luis Moniz Pereira
    o A Strafunski Application Letter
              Ralf Laemmel and Joost Visser
    o Roll: A language for specifying die-rolls
              Torben Mogensen
    o Solving Combinatorial Problems with a Constraint Functional Logic Language, 
                  Antonio J. Fernandez, Teresa Hortala-Gonzalez
		            and Fernando Saenz-Perez
    o ACTILOG: An Agent Activation Language
              Jacinto A. Davila
    o Type-based XML Processing in Logic Programming
              Jorge Coelho and Mario Florido
    o Datalog with Constraints: A Foundation for Trust Management Languages
              Ninghui Li, John C. Mitchell
    o SXSLT: Manipulation Language for XML
              Oleg Kiselyov, Shriram Krishnamurthi
    o JMatch: Iterable Abstract Pattern Matching for Java
              Jed Liu, Andrew C. Myers
    o Lambda Goes to Hollywood
              Victor M. Gulias, Juan J. Sanchez, Carlos Abalde
    o A CLP-Based Tool for Computer Aided Generation and 
        Solving of Maths Exercises, 
                      Ana Paula Tomas, Jose Paulo Leal