[mercury-users] CL2000 workshp on Logic Prog. and Software Engg.

[Gopal Gupta]

		             CL'2000 Workshop on
                (Constraint) Logic Programming and Software Engineering
                                  LPSE'2000

                           London, UK, July 25, 2000
                    http://www.cs.nmsu.edu/~gupta/lpse2000

                               WORKSHOP PROGRAM 

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

14:35 - 15:25:  Invited Talk 1 
         "Practical" Formal Methods: An Oxymoron? 
                 Constance Heitmeyer (Naval Research Lab, USA)

15:25 - 15:30: Break 

15:30 - 17:10: Innovative Applications 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 2 
         
       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 I 

       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 
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------