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