[pept:96] WFLP2002: Call for PARTICIPATION

[Marco Comini <comini@xxxxxxxxxxxxx> (by way of Robert Glueck)]

===============================================================================

                            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/