PADL 2003: call for participation

[Enrico Special Account]

                  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