=============================================================================== CALL FOR PARTICIPATION 11th International Workshop on Functional and (Constraint) Logic Programming Grado, Italy June 20 - 22, 2002 =============================================================================== Please find attached (in PDF format) the fully detailed CALL FOR PARTICIPATION. Here is a text-only summary. ------------------------------------------------------------------------------- GENERAL The international workshop on functional and (constraint) logic programming WFLP 2002 aims to bring together researchers interested in functional programming, (constraint) logic programming, as well as their integration. Recent edition of the workshop have been held in Kiel (Germany), Benicassim (Spain), Grenoble (France), Bad Honnef (Germany). This workshop aims to promote the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, software engineering techniques and combinations of high-level, declarative (constraint) programming languages and related areas. The technical program of the workshop will include invited talks, presentations of refereed papers and demo presentations. The WWW page of the workshop is http://www.dimi.uniud.it/~wflp2002/ ------------------------------------------------------------------------------- LOCATION WFLP 2002 will take place in Grado, Italy. Grado is an island located on the Adriatic coast in a beautiful lagoon. It is famous for its attractive beaches, for its Roman history, and for the pleasant middleuropean atmosphere. Venezia is 100 km away and Trieste is 60 km away. The Conference Site is: Hotel Diana Via G. Verdi, 3 I-34073, Grado (Gorizia), Italy Tel. +39 043 182 247 / +39 043 180 026 Fax. +39 043 183 330 http://www.hoteldiana.it/ ------------------------------------------------------------------------------- PROGRAM The workshop will be a 3-day event including presentations of the accepted papers, system demos, and 3 INVITED TALKS: Yike Guo: "Declarative Programming in the Post-Internet Era" Peter Thiemann: "Programmable Type Systems for Domain SpecificLanguages" Giorgio Delzanno: "Verification of logic programs based on constraints" ------------------------------------------------------------------------------- PROGRAM COMMITTEE Maria Alpuente (Technical University of Valencia) Sergio Antoy (Portland State University) Manuel Chakravarty (University of New South Wales, Sidney) Rachid Echahed (IMAG, Grenoble) Francois Fages (INRIA Rocquencourt) Moreno Falaschi (Univ. Udine, chair) Thom Fruewirth (LMU Munich) Robert Glück (Waseda Univ., Japan and DIKU, Denmark) Michael Hanus (CAU Kiel) Tetsuo Ida (University of Tsukuba) Helene Kirchner (Univ. Nancy) Herbert Kuchen (Univ. Muenster) Michael Maher (Loyola University Chicago) Juan Jose Moreno Navarro (UP Madrid) Ernesto Pimentel (Univ. Malaga) Mario Rodriguez-Artalejo (UC Madrid) ------------------------------------------------------------------------------- LOCAL ORGANIZING COMMITTEE Gianluca Amato Demis Ballis Marco Comini Luca Di Gaspero Agostino Dovier Moreno Falaschi Alicia Villanueva ------------------------------------------------------------------------------- Please find attached (in PDF format) the fully detailed CALL FOR PARTICIPATION. This was a text-only summary. We hope to see you in Grado, Best Regards, -- WFLP 2002 Organizing Committee http://www.dimi.uniud.ut/~wflp2002/