PADL'03: Second Call for Participation o PADL Registration Deadline is fast approaching (Dec 20th). Please register electronically asap. o Please also note that the special conference rate for the hotel is available only until Dec. 23rd. o Highlights of the conference: 25 contributed papers and invited talks by Gerard Huet, David Page, and Shriram Krishnamurthi o Special rates for ACM and ALP members. -------------------------------------------------------------------------------------------- PADL 2003 Program. Monday 13 January 2003 9.00-10.00 (I) invited talk David Page, The Role of Declarative Languages in Mining Biological Databases. 10.00-10.30 break 10.30-12.00 (II) session (3 papers) Data mining the yeast genome in a lazy functional language, Amanda Clare and Ross D. King Non-monotonic Reasoning on Beowulf Platforms, E. Pontelli, M. Balduccini, F. Bermudez Datalog with Constraints: A Foundation for Trust Management Languages, Ninghui Li, John C. Mitchell 12.00-1.30 lunch 1.30-2.30 (III) invited talk Shriram Krishnamurthi, The Continue Server (or, How I Administered PADL 2002 and 2003) 2.30-3.00 break 3.00-4.00 (IV) session (2 papers) Web Programming with SMLserver, Martin Elsman and Niels Hallenberg An Integrated Information System powered by Prolog, Antonio Porto 4.00-4.30 break 4.30-6.00 (V) session (3 papers) JMatch: Iterable Abstract Pattern Matching for Java, Jed Liu, Andrew C. Myers Sequence Quantification, Peter Schachte Roll: A language for specifying die-rolls, Torben Mogensen Tuesday 14 January 2003 9.00-10.00 (VI) invited talk Gerard Huet, Zen and the Art of Symbolic Computing: Light and Fast Applicative Algorithms for Computational Linguistics. 10.00-10.30 break 10.30-12.00 (VII) parallel session (3 papers and 3 papers) Parallel session (a) Reconstructing the Evolutionary History of Indo-European Languages using Answer Set Programming., Esra Erdem, Vladimir Lifschitz, Luay Nakhleh, and Donald Ringe Multi-Agent Reactive Systems, Prahladavaradan Sampath ACTILOG: An Agent Activation Language, Jacinto A. Davila Parallel session (b) Logic Programs for Querying Inconsistent Databases, Pablo Barcelo and Leopoldo Bertossi A CLP-Based Tool for Computer Aided Generation and Solving of Maths Exercises, Ana Paula Tomas, Jose Paulo Leal A Logical Framework for Modelling eMAS, Pierangelo Dell'Acqua and Luis Moniz Pereira 12.00-1.30 lunch 1.30-2.30 (VIII) session (2 papers) SXSLT: Manipulation Language for XML, Oleg Kiselyov, Shriram Krishnamurthi Type-based XML Processing in Logic Programming, Jorge Coelho and Mario Florido 2.30-3.00 break 3.00-4.00 (IX) parallel session (2 papers and 2 papers) Parallel session (a) WAM Local Analysis, Michel Ferreira, Luis Damas Garbage Collection Algorithms for Java--Based Prolog Engines, Qinan Zhou, Paul Tarau Parallel session (b) Solving Combinatorial Problems with a Constraint Functional Logic Language, Antonio J. Fernandez, Teresa Hortala-Gonzalez and Fernando Saenz-Perez Logic Programs as Compact Denotations, Patricia M. Hill and Fausto Spoto 4.00-4.30 break 4.30-6.00 (X) session (3 papers) A Strafunski Application Letter, Ralf Laemmel and Joost Visser Functional Hybrid Modelling, Henrik Nilsson, John Peterson, Paul Hudak Lambda Goes to Hollywood, Victor M. Gulias, Juan J. Sanchez, Carlos Abalde