The Coq mailing list

[demis AT dimi.uniud.it]

               WFLP 2008 - CALL FOR PARTICIPATION

      !!!  Early registration deadline:  JUNE 25, 2008 !!!             

===================================================================
                           WFLP 2008 
                          
            17th International Workshop on Functional
                and (Constraint) Logic Programming
                   Siena, Italy, July 3-4, 2008
                   http://wflp08.dimi.uniud.it/
                   
                      co-located with WWV'08
                    http://wwv08.dimi.uniud.it/
                    
===================================================================

WFLP'08 will be held in the  convention centre of the University of 
Siena, Italy: http://www.unisi.it/santachiara/ ;

SCOPE

The Workshop on Functional and  (Constraint) Logic Programming aims
at  bringing  together    researchers  interested   in   functional
programming,  (constraint) logic programming,     as well  as   the
integration of the two paradigms. It promotes the cross-fertilizing
exchange of  ideas  and experiences among  researchers and students
from the   different  communities interested   in the  foundations,
applications,     and   combinations   of high-level,   declarative
programming languages and related areas.

The WFLP'08 program includes 14 regular papers and an  invited talk 
by Dale Miller (Ecole Polytechnique Paris, France).