Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Workshop: Constraint Logic Prog. and S/W Engg
(Constraint) Logic Programming and Software Engineering
LPSE'2000
London, UK, July 25, 2000
Workshop Program
(CLICK HERE TO SEE THE ABSTRACTS OF ALL PAPERS) .
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: