[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
_______________________________________________
Haskell mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell
