[E-CFP] WFLP2002 - Preliminary Call for Papers
Marco Comini
comini@dimi.uniud.it
Wed, 16 Jan 2002 19:40:41 +0100
--============_-1200916052==_ma============
Content-Type: text/plain; charset="iso-8859-1" ; format="flowed"
Content-Transfer-Encoding: 8bit
===============================================================================
CALL FOR PAPERS
11th International Workshop on Functional and (Constraint) Logic Programming
Grado, Italy
June 20 - 22, 2002
===============================================================================
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/
-------------------------------------------------------------------------------
TOPICS
The topics of interest include (but are not limited to):
* Functional programming
* Logic programming
* Constraint programming
* Deductive databases
* Extensions of declarative languages
* Multi-paradigm declarative programming
* Foundations, semantics, non-monotonic reasoning, dynamics
* Parallelism, concurrency and narrowing
* Program analysis, abstract interpretation
* Program transformation, partial evaluation, meta-programming
* Specification, verification, declarative debugging
* Knowledge representation, machine learning
* Declarative programming and software engineering
* Implementation of declarative languages
* Advanced programming environments and tools
* Applications
The primary 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: March 20, 2002
Notification of acceptance: April 28, 2002
Camera-ready papers: May 15, 2002
Workshop: June 20 - 22 , 2002
-------------------------------------------------------------------------------
SUBMISSION
Authors are invited to submit an extended abstract (no longer than 10
pages including figures and references) or a system description (no
longer than 3 pages) in postscript format (11pt) via email to
wflp2002@dimi.uniud.it
before March 20, 2002. Submissions should include the title,
authors' names, affiliations, addresses, and e-mail. The proceedings
with the full versions of all accepted contributions (no longer than
15 pages for regular contributions and 3 pages for system
descriptions) will be published as a Technical Report of the
University of Udine. A selection of the accepted papers will be
considered for publication in the Electronic Proceedings of
Theoretical Computer Science (Elsevier) after the workshop.
-------------------------------------------------------------------------------
BEST NEWCOMER AWARD
0An 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
The workshop will be a 3-day event including presentations of the
accepted papers, system demos, and
2 INVITED TALKS (to be announced)
-------------------------------------------------------------------------------
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.
More details about the accommodation, traveling information, etc.,
will be available at the WFLP 2002 WWW page at
http://www.dimi.uniud.it/~wflp2002/
-------------------------------------------------------------------------------
CONTACT
WFLP 2002
Moreno Falaschi
Dipartimento di Matematica e Informatica
Università degli Studi di Udine
Via delle Scienze, 206
33100 UDINE, Italy
Phone: +39-0432-55-8472 or -8400 (Secr.)
Fax: +39-0432-55-8499
Email: wflp2002@dimi.uniud.it
WWW: http://www.dimi.uniud.it/~wflp2002/
-------------------------------------------------------------------------------
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
-------------------------------------------------------------------------------
--============_-1200916052==_ma============
Content-Type: text/html; charset="iso-8859-1"
Content-Transfer-Encoding: 8bit
<!doctype html public "-//W3C//DTD W3 HTML//EN">
<html><head><style type="text/css"><!--
blockquote, dl, ul, ol, li { padding-top: 0 ; padding-bottom: 0 }
--></style><title>[E-CFP] WFLP2002 - Preliminary Call for
Papers</title></head><body>
<div
>====================================================================<span
></span>===========<br>
<br>
<span
></span
> <span
></span> CALL FOR PAPERS<br>
</div>
<div><b>11th International Workshop on Functional and (Constraint)
Logic Programming</b><br>
</div>
<div
> <span
></span
> <span
></span> <font color="#FF0000"><b> Grado,
Italy</b></font></div>
<div><font
color="#FF0000"><b
> <span
></span> June 20
- 22, 2002</b></font></div>
<div><br>
=====================================================================<span
></span>==========<br>
<br>
GENERAL<br>
</div>
<div>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).<br>
</div>
<div>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.<br>
<br>
The WWW page of the workshop is:<br>
<br>
http://www.dimi.uniud.it/~wflp2002/<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
TOPICS<br>
<br>
The topics of interest include (but are not limited to):<br>
<br>
* Functional programming<br>
* Logic programming<br>
* Constraint programming<br>
* Deductive databases<br>
* Extensions of declarative languages<br>
* Multi-paradigm declarative programming</div>
<div>* Foundations, semantics, non-monotonic reasoning,
dynamics</div>
<div>* Parallelism, concurrency and narrowing<br>
* Program analysis, abstract interpretation<br>
* Program transformation, partial evaluation,
meta-programming<br>
* Specification, verification, declarative debugging<br>
* Knowledge representation, machine learning<br>
* Declarative programming and software engineering<br>
* Implementation of declarative languages<br>
* Advanced programming environments and tools<br>
* Applications<br>
</div>
<div>The primary 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.<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
IMPORTANT DATES<br>
<br>
Submission of papers: March 20,
2002<br>
Notification of acceptance: April 28, 2002<br>
Camera-ready papers: May 15,
2002<br>
Workshop: <span
></span> June 20 - 22
, 2002<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
SUBMISSION<br>
</div>
<div>Authors are invited to submit an extended abstract (no longer
than 10 pages including figures and references) or a system
description (no longer than 3 pages) in postscript format (11pt) via
email to</div>
<div><br>
<span
></span>
wflp2002@dimi.uniud.it<br>
<span
></span> </div>
<div>before March 20, 2002. Submissions should include the
title, authors' names, affiliations, addresses, and e-mail. The
proceedings with the full versions of all accepted contributions (no
longer than 15 pages for regular contributions and 3 pages for system
descriptions) will be published as a Technical Report of the
University of Udine. A selection of the accepted papers will be
considered for publication in the Electronic Proceedings of
Theoretical Computer Science (Elsevier) after the workshop.<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
BEST NEWCOMER AWARD<br>
</div>
<div>0An 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.</div>
<div><br>
---------------------------------------------------------------------<span
></span>----------<br>
PROGRAM<br>
</div>
<div>The workshop will be a 3-day event including presentations of the
accepted papers, system demos, and<br>
<br>
2 INVITED TALKS (to be announced)</div>
<div><br>
---------------------------------------------------------------------<span
></span>----------</div>
<div>LOCATION<br>
<br>
WFLP 2002 will take place in Grado, Italy.</div>
<div>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.<br>
</div>
<div>More details about the accommodation, traveling information,
etc., will be available at the WFLP 2002 WWW page at
http://www.dimi.uniud.it/~wflp2002/<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
CONTACT<br>
<br>
WFLP 2002<br>
Moreno Falaschi<br>
Dipartimento di Matematica e Informatica</div>
<div> Università degli Studi di Udine</div>
<div> Via delle Scienze, 206<br>
33100 UDINE, Italy<br>
Phone: +39-0432-55-8472 or -8400 (Secr.)<br>
Fax: +39-0432-55-8499<br>
Email: wflp2002@dimi.uniud.it<br>
WWW: http://www.dimi.uniud.it/~wflp2002/<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
PROGRAM COMMITTEE<br>
<br>
Maria Alpuente (Technical University of Valencia)<br>
Sergio Antoy (Portland State University)<br>
Manuel Chakravarty (University of New South Wales, Sidney)<br>
Rachid Echahed (IMAG, Grenoble) <br>
Francois Fages (INRIA Rocquencourt)<br>
Moreno Falaschi (Univ. Udine, chair) <br>
Thom Fruewirth (LMU Munich)</div>
<div>Robert Glück (Waseda Univ., Japan and DIKU, Denmark)</div>
<div>Michael Hanus (CAU Kiel)<br>
Tetsuo Ida (University of Tsukuba)<br>
Helene Kirchner (Univ. Nancy)<br>
Herbert Kuchen (Univ. Muenster) <br>
Michael Maher (Loyola University Chicago)<br>
Juan Jose Moreno Navarro (UP Madrid) <br>
Ernesto Pimentel (Univ. Malaga)<br>
Mario Rodriguez-Artalejo (UC Madrid) <br>
<br>
<br>
---------------------------------------------------------------------<span
></span>----------<br>
LOCAL ORGANIZING COMMITTEE<br>
<br>
Gianluca Amato<br>
Demis Ballis<br>
Marco Comini<br>
Luca Di Gaspero<br>
Agostino Dovier<br>
Moreno Falaschi<br>
Alicia Villanueva<br>
</div>
<div
>--------------------------------------------------------------------<span
></span>-----------</div>
</body>
</html>
--============_-1200916052==_ma============--