[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