WFLP'03 - Second Call for Papers

German Vidal gvidal@dsic.upv.es
Mon, 24 Feb 2003 17:18:52 +0100 (CET)


[ Apologies if you receive this message more than once ]

======================================================================
SECOND CALL FOR PAPERS                                      WFLP 2003

 12th Int'l Workshop on Functional and (Constraint) Logic Programming

 June 12-13, 2003, Valencia (Spain)

 http://www.dsic.upv.es/~rdp03/wflp/

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

WFLP is the International  Workshop  on  Functional  and  (Constraint) 
Logic Programming. WFLP'03, the twelfth in the series, will be held in 
Valencia, Spain, June 12-13, 2003, at the 
  
 Federated Conference on Rewriting, Deduction and Programming (RDP'03)
 http://www.dsic.upv.es/~rdp03/

The WFLP workshops aim at bringing  together researchers interested in 
functional programming,  (constraint)  logic programming,  as  well as 
their integration. It promotes the cross-fertilizing exchange of ideas 
and  experiences among  researches and  students  from  the  different
communities interested in the foundations,  applications, and combina-
tions of  high-level,  declarative programming  languages and  related 
areas.The technical program of the workshop will include invited talks,
presentations of refereed papers and demo presentations.

Previous editions of the workshop  have been  held  in  Grado  (Italy), 
Kiel (Germany),  Benicassim  (Spain),  Grenoble  (France),  Bad Honnef 
(Germany),  Schwarzenberg  (Germany),  Marburg  (Germany),  Rattenberg 
(Germany), and Karlsruhe (Germany). 
                           
----------------------------------------------------------------------
TOPICS OF INTEREST

WFLP'03  solicits  papers in all areas of  functional and (constraint) 
logic programming, including (but not limited to): 

* Language Design: modules and type systems,  multi-paradigm languages, 
  concurrency and distribution, objects
  
* Foundations: formal semantics, rewriting and narrowing, nonmonotonic 
  reasoning, dynamics, type theory

* Implementation:  abstract  machines,  parallelism,  compile-time and 
  run-time optimizations, interfacing with external languages

* Transformation and Analysis: abstract interpretation, specialization,
  partial evaluation, program transformation, meta-programming

* Software Engineering:  design patterns,  specification, verification 
  and validation, debugging, test generation
   
* Applications:  declarative  programming  in  education  and industry, 
  domain-specific languages, visual/graphical user interfaces,embedded 
  systems,  WWW  applications,  knowledge  representation  and machine 
  learning, deductive databases, advanced programming environments and 
  tools

The main focus is on new and original research results but submissions  
describing  innovative  products,   prototypes  under  development  or 
interesting experiments (e.g., benchmarks) are also encouraged.

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

  Submission of papers:        Sunday, March 23, 2003
  Notification of acceptance:  Friday, April 25, 2003
  Camera-ready papers:         Sunday, May 11, 2003

  Workshop:                    June 12 - 13, 2003

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

Authors are invited to submit an extended abstract  (no longer than 12 
pages including figures  and  references) or a  system description (no 
longer than 4 pages) in Postscript or PDF format (Springer LNCS style) 
via email to 

  gvidal@dsic.upv.es 

before March 23, 2003.  Submissions should include the title, authors'
names, affiliations, addresses, and e-mail. 

----------------------------------------------------------------------
PUBLICATION

Accepted papers  will be included in the  preliminary proceedings that
will be available at the workshop. After the workshop, authors of  the 
best abstracts will be invited to submit full papers.These full papers 
will be reviewed and  accepted  papers will appear in  the  Electronic 
Notes in Theoretical Computer Science (Elsevier).

----------------------------------------------------------------------
BEST NEWCOMER AWARD
 
An award will be given to the best paper exclusively written by one or
several young researchers who have not yet obtained their PhD degrees.
Papers  written in this  category should  be  clearly marked  "Student
papers" in the submission.

----------------------------------------------------------------------
PROGRAM COMMITTEE

Maria Alpuente (Technical University of Valencia, Spain)
Sergio Antoy (Portland State University, USA)
Annalisa Bossi (Universita Ca' Foscari di Venezia, Italy)
Olaf Chitil (University of York, UK)
Rachid Echahed (Institut IMAG, France)
Sandro Etalle (University of Twente, The Netherlands)
Moreno Falaschi (Universita di Udine, Italy)
Michael Hanus (CAU Kiel, Germany)
Herbert Kuchen (University of Muenster, Germany)
Michael Leuschel (University of Southampton, UK)
Juan Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain)
Ernesto Pimentel (University of Malaga, Spain)
Mario Rodriguez-Artalejo (Universidad Complutense de Madrid, Spain)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
German Vidal (Technical University of Valencia, Spain)

----------------------------------------------------------------------
LOCAL ORGANIZING COMMITTEE

Elvira Albert     Santiago Escobar     Cesar Ferri
Jose Hernandez    Carlos Herrero       Pascual Julian
Marisa Llorens    Gines Moreno         Javier Oliver
German Vidal      Alicia Villanueva

----------------------------------------------------------------------
FURTHER INFORMATION

  WFLP 2003:         http://www.dsic.upv.es/~rdp03/wflp
  Workshop contact:  gvidal@dsic.upv.es
  RDP 2003:          http://www.dsic.upv.es/~rdp03