WFLP 2001 - Call for Papers 
Author Message
 WFLP 2001 - Call for Papers

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

                           CALL FOR PAPERS

                              WFLP 2001
International Workshop on Functional and (Constraint) Logic Programming

                          comprising the

    10th International Workshop on Functional and Logic Programming
                               and
             16th Workshop on Logic Programming

                          Kiel, Germany
                      September 13-15, 2001

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

GENERAL

WFLP 2001 is the combination of two workshops of a successful series
of annual workshops on declarative programming. The international
workshops on functional and logic programming aimed at bringing
together researchers interested in functional programming, logic
programming, as well as their integration. Previous workshops
have been held in Benicassim (Spain), Grenoble (France), Bad Honnef
(Germany). The workshops on (constraint) logic programming are the
annual meeting of the Society of Logic Programming (GLP e.V.) and
bring together researchers interested in logic programming,
constraint programming, and related areas like databases and artificial
intelligence. Previous workshops have been held in Germany, Austria
and Switzerland.

In this year both workshops will be jointly organized in order to
promote the cross-fertilizing exchange of ideas and experiences
among researches and students from the different communities
interested in the foundations, applications, and combinations
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.

The WWW page of the workshop is:

            http://www.*-*-*.com/ ~wflp2001

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

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

*  Functional programming
*  Logic programming
*  Constraint programming
*  Deductive databases
*  Extensions of declarative languages, objects
*  Multi-paradigm declarative programming
*  Foundations, semantics, nonmonotonic reasoning, dynamics
*  Parallelism, concurrency
*  Program analysis, abstract interpretation
*  Program transformation, partial evaluation, meta-programming
*  Specification, verification, declarative debugging
*  Knowledge representation, machine learning
*  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:       May 15, 2001
Notification of acceptance: June 20, 2001
Camera-ready papers:        July 20, 2001
Workshop:                   September 13 - 15, 2001

----------------------------------------------------------------------
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


before May 15, 2001. 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 Kiel.

----------------------------------------------------------------------
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

The workshop will be a 3-day event including presentations of
the accepted papers, system demos, and

INVITED TALKS by

Peter Van Roy (Catholic University of Louvain)
Thomas Arts (Ericsson)

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

WFLP 2001 will take place at the Christian-Albrechts-University of Kiel.
More details about the accomodation, traveling information, etc.,
will be available at the WFLP 2001 WWW page at
http://www.*-*-*.com/ ~wflp2001/

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

   WFLP 2001
   Prof. Michael Hanus
   Institut fuer Informatik und Praktische Mathematik
   Christian-Albrechts-Universitaet Kiel
   Olshausenstr. 40
   D-24098 Kiel, Germany
   Phone: ++49-(0)431-880-7271 or -7270 (Secr.)
   Fax  : ++49-(0)431-880-7613

   WWW: http://www.*-*-*.com/ ~wflp2001/

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

Slim Abdennadher (LMU Muenchen)
Maria Alpuente (UP Valencia)
Sergio Antoy (Portland State University)
Christoph Beierle (FernUniv. Hagen)
Alexander Bockmayr (Univ. Henri Poincare, Nancy)
Harold Boley (DFKI Kaiserslautern)
Fran?ois Bry (LMU Muenchen)
Juergen Dix (Univ. Koblenz)
Rachid Echahed (IMAG, Grenoble)
Uwe Egly (TU Wien)
Moreno Falaschi (Univ. Udine)
Burkhard Freitag (Univ. Passau)
Thom Fruehwirth (LMU Muenchen)
Norbert E. Fuchs (Univ. Zuerich)
Ulrich Geske (GMD-FIRST Berlin)
Michael Hanus (CAU Kiel)
Herbert Kuchen (Univ. Muenster)
Juan Jose Moreno Navarro (UP Madrid)
Mario Rodriguez-Artalejo (UC Madrid)
Dietmar Seipel (Univ. Wuerzburg)

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

Wolfgang Goerigk
Michael Hanus
Klaus Hoeppner
Ulrike Pollakowski-Geuther
Friedemann Simon
Frank Steiner

----------------------------------------------------------------------

--


CAU Kiel, Olshausenstra?e 40       Phone: +49 431 880-7265, Fax: -7613
D-24098 Kiel, Germany               http://www.*-*-*.com/ ~fst/



Sun, 03 Aug 2003 08:16:19 GMT  
 
 [ 1 post ] 

 Relevant Pages 

1. WFLP 2001 - Call for Papers

2. WFLP 2001 - Call for Papers

3. WFLP 2001 - Call for Papers

4. CFP: WFLP 2001 - Final Call for Papers

5. CFP: WFLP 2001 - Final Call for Papers

6. WFLP 2001 - Call for Participation

7. WFLP 2001 deadline extension to May 22, 2001

8. WFLP 2001 - Call for Participation

9. WFLP 2001 deadline extension to May 22, 2001

10. APChDL-2001/SLDL-2001 call for papers

11. APChDL-2001/SLDL-2001 call for papers

12. ISSAC-2001: CALL FOR PAPERS for IAMC'01 / Reminder Call for posters

 

 
Powered by phpBB® Forum Software