[mercury-users] WFLP'2000

[Salvador Lucas Alba]

[We apologize for multiple copies of this message]

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

                           CALL FOR PAPERS
                             
    9th International Workshop on Functional and Logic Programming
                              WFLP'2000

                          Benicassim, Spain
                        September 28-30, 2000
                        
======================================================================

PRESENTATION

WFLP'2000  is  the  9th of a series of international meetings aimed at 
bringing researchers  and students together to communicate and discuss 
recent  developments,  work  in progress, preliminary results, and new 
research  directions  in functional programming, logic programming, as 
well as their integration.

The WWW page of the workshop is:

              http://www.dsic.upv.es/users/elp/WFLP2000


----------------------------------------------------------------------
TOPICS

The topics of interest include (but are not limited to):

*  Functional programming
*  Logic programming, constraints
*  Extensions of declarative languages
*  Multiparadigm declarative programming
*  Foundations: lambda calculus, rewriting, narrowing, semantics
*  Concurrency
*  Language concepts
*  Program analysis and abstract interpretation
*  Program transformation and partial evaluation
*  Specification, verification, model checking, declarative debugging
*  Inductive declarative programming and machine learning
*  Implementation of declarative languages
*  Advanced programming environments and tools
*  Applications


----------------------------------------------------------------------
SUBMISSION

Authors  are  invited  to  submit  a 3-page position paper or abstract 
in postscript format (11pt) via email to

                         wflp2000 at dsic.upv.es

before  April 28, 2000. Submissions should include the title, authors'
names,  affiliations, addresses, and e-mail. Full versions of accepted 
contributions  (not to exceed 15  pages) will be required  by June 30, 
2000.  Proceedings  will  be  published  as  a Technical Report of the 
Departamento  de  Sistemas Informaticos y Computacion of the Technical 
University of Valencia.


----------------------------------------------------------------------
PROGRAMME

The  workshop  will  be  a  3-day  event  that  provides  a  forum for
individual   presentations  of   the  accepted  contributions  as well
as group discussions. The technical program will include presentations
of the accepted papers as well as guest speakers (to be announced).


----------------------------------------------------------------------
LOCATION

WFLP'2000  is  hosted  by  the Departamento de Sistemas Informaticos y
Computacion of the Technical  University of Valencia, Spain. WFLP'2000
will  take  place  on  September  28-30,  2000  in Villa Elisa, a nice 
seaside  villa  located in Benicassim, Castellon, on the eastern coast 
of  Spain. More details about the accomodation, traveling information, 
etc., will be available at the WFLP'2000 WWW page. 


----------------------------------------------------------------------
IMPORTANT DATES

Deadline for submissions  : April 28, 2000
Final version due         : June 30, 2000
Workshop dates            : September 28-30, 2000


----------------------------------------------------------------------
CONTACT

   WFLP'2000
   Maria Alpuente
   Departamento de Sistemas Informaticos y Computacion
   Universidad Politecnica de Valencia
   Camino de Vera, s/n
   46022 Valencia, Spain
   Phone: +34 96 3 87 93 54 
   Fax  : +34 96 3 87 73 59 
   Email: wflp2000 at dsic.upv.es


----------------------------------------------------------------------
ORGANIZING COMMITTEE

Elvira Albert           Jose Hernandez         Francisco Javier Oliver
Maria Alpuente          Carlos Herrero         Maria Jose
Ramirez              
Santiago Escobar        Marisa Llorens         German Vidal
Cesar Ferri             Salvador Lucas         Alicia Villanueva
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------