CALL FOR PARTICIPATION WCFLP 2005 International Workshop on Curry and Functional Logic Programming An ACM SIGPLAN sponsored workshop at ICFP 2005 Tallinn, Estonia September 29, 2005 WWW: http://www.informatik.uni-kiel.de/~mh/wcflp2005 The aim of this workshop is to bring together researchers interested in Curry, related functional logic languages, and general aspects of integrating declarative programming paradigms. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. REGISTRATION Registration for the workshop is through the TFP/ICFP/GPCE site: http://www.cs.ioc.ee/tfp-icfp-gpce05/ PROGRAMME 9.15: Opening 9.30: Claudio Ochoa, Josep Silva and German Vidal: Lightweight Program Specialization via Dynamic Slicing 10.00: Rafael Caballero: A Declarative Debugger of Incorrect Answers for Constraint Functional-Logic Programs 11.00: Julio Marino and Jose Maria Rey: Adding Constraints to Curry via Flat Guards 11.30: Sonia Estevez Martin and Rafael del Vado Virseda: Designing an Efficient Computation Strategy in CFLP(FD) Using Definitional Trees 12.00: Jesus M. Almendros-Jimenez: Constraint Logic Programming over Sets of Spatial Objects 14.30: Michael Hanus: A Generic Analysis Environment for Declarative Programs 15.00: J. Guadalupe Ramos, Josep Silva and German Vidal: An Offline Partial Evaluator for Curry Programs 15.30: Sebastian Fischer: A Functional Logic Database Library 16.30: Bernd Braßel and Frank Huch: Translating Curry To Haskell 17.00: Emilio Gallego and Julio Marino: An Overview of the Sloth2005 Curry System 17:30: Individual system demonstrations, closing ----------------------------------------------------------------------