Call for Participation LOPSTR (International Symposium on Logic-based Program Synthesis and Transformation) August 25-27, in Uppsala, Sweden. Early registration deadline is July 30 More info (also the other events of PLI'03) at http://www.it.uu.se/pli03/index.shtml The program: Monday August 25 9h00-10h00 ICFP invited talk 10h30-12h30 Specification and Synthesis Predicate synthesis from inductive proof attempt of faulty conjectures. Moussa Demba, Khaled Bsa\"{\i}es and Francis Alexandre. Specification and Synthesis of Hybrid Automata for Physics-Based Animation. Thomas Ellman. Adding Concrete Syntax to a Prolog-Based Program Synthesis System. Bernd Fischer and Eelco Visser. Specifying Object-Oriented Systems in Computational Logic. Kung-Kiu Lau and Mario Ornaghi. 14h15-15h45 Verification Building Satisfiability Procedures for Verification: The Case Study of Sorting Algorithmsm. Abdessamad Imine and Silvio Ranise. Formal Development and Verification of Approximation Algorithms using Auxiliary Variables. Rudolf Berghammer and Markus M\"uller-Olm. Formal Reasoning About Efficient Data Structures: A Case Study in ACL2. José-Luis Ruiz-Reina, José-Antonio Alonso, María-José Hidalgo and Francisco-Jesús Martín Mateos. 16h15-17h45 Analysis A Program Transformation for Backwards Analysis of Logic Programs. John P. Gallagher. An Efficient Staging Algorithm for Binding-Time Analysis. Takuma Murakami, Zhenjiang Hu, Kazuhiko Kakehi and Masato Takeichi. Proving termination with adornments. Alexander Serebrenik and Danny De Schreye. Tuesday August 26 9h00-10h00 ICFP Invited Talk 10h30-12h30 Transformation Constructively Characterizing Fold and Unfold Tjark Weber and James Caldwell. Deterministic Second-order Patterns Tetsuo Yokoyama, Zhenjiang Hu, and Masato Takeichi. From Interpreter to Logic Engine: A Functional Derivation. Dariusz Biernacki and Olivier Danvy. Linearization by Program Transformation. Sandra Alves and Mário Florido. 14h15-15h15 Invited Talk Inductive Theorem Proving by Program Specialisation: Generating proofs for Isabelle using Ecce Michael Leuschel (work with Helko Lehmann) 15h15-15h45 Specialisation Provably Correct Code Generation for High Assurance Systems via Partial Evaluation: A Case Study. Qian Wang and Gopal Gupta. Wednesday August 27 9h00-10h30 Constraints Simplification of database integrity constraints revisited: A transformational approach. Henning Christiansen and Davide Martinenghi. Integration and Optimization of Rule-based Constraint Solvers. Slim Abdennadher and Thom Fr\"uhwirth. Introducing ESRA, a Relational Language for Modelling Combinatorial Problems. Pierre Flener, Justin Pearson, and Magnus {\AA}gren. 11h30-12h30 PLI Invited Talk Understanding aspects Mitchell Wand