CL'2000 Workshop on

(Constraint) Logic Programming and Software Engineering

LPSE'2000

London, UK, July 25, 2000

14:30 - 14:35: Welcome and Opening Remarks

14:35 - 15:25:  Invited Talk I

•   "Practical" Formal Methods: An Oxymoron?

          Constance Heitmeyer (Naval Research Lab, USA)

15:25 - 15:30: Break

15:30 - 17:10: Contributed Papers I

• Logical Refinement of Imperative Programs: generating code from verified conditions

          Andrew M. Gravell
                 (University of Southampton, UK)
• AutoFocus on Constraint Logic Programming

          Heiko Loetzbeyer, Alexander Pretschner
                  (Technische Universität München, Germany)
• (Constraint) Logic Programming Framework for Software Engineering

          Gopal Gupta
                 (New Mexico State University, USA)
• The Role of LP in Next-generation Component-Based Software Development

          Kung-Kiu Lau
                 (University of Manchester, UK)

17:10 - 17:15: Break

17:15- 18:05: Invited Talk II

 

• An Optimal Control System for Automated Synthesis of Software Systems Using Commodity Objects

           Sam M. Daniel

                            (Motorola, USA)

18:05 - 18:10: Break

18:10 - 19:50: Contributed Papers II

• Constraint Logic Programming with Sets for animation of B Formal Specifications

          Fabrice Bouquet, Bruno Legeard, Fabien Peureux
       (Universite de Franche-Comte, France)
• Server Side Web Scripting in Curry

          Michael Hanus
                   (Christian-Albrechts-Universitat Kiel, Germany)
• Optimisation Problems in Logic Programming: An Algebraic Approach

          Silvija Seres and Shin-Cheng Mu
                   (Oxford University, UK)

• From Prolog to LOOP

          Alin-Dumitru Suciu, Tudor Muresan
                  (Technical University of Cluj-Napoca, Romania)
 

20:00- ??:??: ALP General Body Meeting

Workshop Organizers:

• Gopal Gupta, New Mexico State University, USA
• I.V. Ramakrishnan, SUNY Stony Brook, USA