Workshop Programme

08:00 - 08:30

Registration

08:30 - 08:35

Welcome and Opening Remarks

08:35 - 10:15

Software Engineering

• Automated Benchmarking of Functional Data Structures

          G. Moss and C. Runciman
             (University of York, UK)
• NP-SPEC: an Executable Specification Language for Solving all Problems in NP

          M. Cadoli, L. Palopoli, A. Schaerf, D. Vasile
              (Universita di Roma & Universita della Calabria, Italy)
• Prototyping a requirements specification through an automatically generated concurrent logic program

          P. Letelier, P. Sanchez, I. Ramos
              (Valencia University of Technology, Spain)
• Multi-agent Systems Development as a Software Engineering Enterprise

          M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, F. Zini
                           (Universita di Genoa, Italy, and MPI Saarbrücken)
 

10:15 - 10:45

Coffee Break

10:45 - 12:00

Innovative Applications I

• From Functional Animation to Sprite-based Display

          C. Elliott
              (Microsoft Research, USA)
• Beyond Pretty-Printing: Galley Concepts in Document Formatting Combinators

          W. Kahl
               (Universität der Bundeswehr München, Germany)
• Lambda in Motion: Controlling Robots with Haskell

          J. Peterson, P. Hudak and C. Elliott
                            (Yale University, USA)

12:00 - 01:30

Lunch (on your own)

01:30 - 02:30

Invited Talk

      Experiences Building Distributed Systems in ML

                                 Mark Hayden,
                                       Digital/Compaq Systems Research Center
 

02:30 - 03:00

Coffee Break

03:00 - 04:15

Implementation

• CHAT: The Copy-Hybrid Approach to Tabling

          B. Demoen and K. Sagonas
                 (Katholieke Universiteit Leuven, Belgium)
• The Influence of Parallel Computer Architectural Parameters on Parallel Logic Programming Systems

          M.G. Silva, I. Dutra, R. Bianchini, V.Santos Costa
                (Federal University of Rio de Janeiro, Brazil)
• Or Parallelism within Tabling

          R. Rocha, F. Silva, V. Santos Costa
                             (University of Porto, Portugal)
 

04:15 - 04:30

Coffee Break

04:30 - 05:45

Declarative Query Processing

• Mnesia: A Distributed Robust DBMS for Telecommunications Applications

          H. Mattsson, H. Nilsson, C. Wikstrom
                  (Ericsson Telecom AB, Sweden)
• An AQUA-based Intermediate Language for Evaluating an Active Deductive O-O Language

          B. Siddabathuni, S.W. Dietrich, S.D. Urban
                  (Arizona State University, USA)
• Implementing a Declarative String Query Language with String Restructuring

          R. Hakli, M. Nykanen, H. Tamm, E. Ukkonen
                               (University of Helsinki, Finland)
 

08:30 - 09:20

Systems Applications

• Client-side Web Scripting with HaskellScript

          E. Meijer, D. Leijen, J. Hook
              (University of Utrecht, Holland, and OGI, USA)
• MCORBA: A CORBA Binding for Mercury

          D. Jeffery, T. Dowd, Z. Somogyi
                           (Univ. of Melbourne, Australia)
 

09:20 - 10:20

Invited Talk

     ECLiPSe: Declarative Specification and Scaleable Implementation

                           Mark Wallace
                                   Imperial College Centre for Planning And Resource Control (IC-PARC), UK
 

10:20 - 10:45

Coffee Break

10:45 - 12:00

Analysis

• Dead Code Elimination through Dependent Types

          H. Xi
                  (OGI, USA)
• Multiple Specialization of WAM Code

          M. Ferriera and L. Damas
                  (University of Porto, Portugal)
• A Flexible Framework for Dynamic and Static Slicing of Logic Programs

          W.W. Vasconcelos
                              (State University of Cesara, Brazil)
 

12:00 - 01:30

Lunch (on your own)

01:30 - 02:45

Innovative Applications II

• Applying Logic Programming to Derive Novel Functional Information of Genomes

          A.K. Bansal and P. Bork
                  (Kent State University, USA)
• A Practical Application of Action Theory to the Space Shuttle

          R. Watson
                  (University of Texas at El Paso, USA)
• Developing a Declarative Rule Language for Product Configuration

          T. Soininen and I. Niemela
                              (Helsinki Univ. of Tech., Finland)
 

02:45 - 03:05

Coffee Break

03:05 - 04:20

Constraint Programming

• University Timetabling Using Constraint Logic Programming

          H-J. Goltz and D. Matzke
                   (GMD-FIRST, Germany)
• Constraint-based Resource Allocation and Scheduling in Steel Manufacturing

          M. Carlsson, P. Kreuger, E. Astrom
                   (SICS, Sweden)
• Using Constraints in Local Proofs for CLP Debugging

          C. Lai
                                (PrologIA, France)
 

04:20 - 04:40

Coffee Break

04:40 - 06:00

Panel Discussion

What can declarative paradigms contribute to meet the challenges of software engineering?
          Panelists:
                F. Anger, NSF
                D. Schmidt, Kansas State
                D. S. Warren, SUNY Stonybrook
                P. Wadler, Lucent
                Others TBD
          Moderator:
                G. Gupta

Wed Nov 11 17:52:04 MST 1998