[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

[Apologies for multiple receptions of this message]

                     Preliminary Call For Papers

              19th International Workshop on Functional
                  and (Constraint) Logic Programming

                   Madrid, Spain, January 17, 2010

                            colocated with
                 Principles of Programming Languages
                              POPL 2010



Abstract Submission: November 9, 2009
Full Paper Submission: November 15, 2009
Acceptance Notification: December 15, 2009
Preliminary Proceedings: January 5, 2010
Workshop: January 17, 2010


The aim of the Workshop on Functional and (Constraint) Logic
Programming is to bring together researchers interested in functional
programming and (constraint) logic programming with special emphasis
on the integration of both paradigms and of other declarative
programming extensions. 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 previous WFLP editions are: WFLP 2009 (Brasilia, Brazil), WFLP
2008 (Siena, Italy), WFLP 2007 (Paris, France), WFLP 2006 (Madrid,
Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany),
WFLP 2003 (Valencia, Spain), WFLP 2002 (Grado, Italy), WFLP 2001
(Kiel, Germany), WFLP 2000 (Benicassim, Spain), WFLP'99 (Grenoble,
France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg,
Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg,
Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg,
Germany), and WFLP'92 (Karlsruhe, Germany).


WFLP 2010 will be held on January 17, 2010 in Madrid, Spain, colocated
with the 37th ACM SIGACT-SIGPLAN Symposium on Principles of
Programming Languages (POPL 2010).

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

 * Foundations: formal semantics, logic variables, binding and
   abstract syntax, rewriting and narrowing, unification, constraint
   solving, dynamics, type theory, meta-theory, effects, etc.

 * Language Design: security, services, modules, type systems,
   multi-paradigm languages, concurrency and distribution, objects,
   libraries, generic programming, interoperability, etc.

 * Implementation: abstract machines, parallelism, compile-time and
   run-time optimizations, foreign-language interfaces, memory
   management, multi-threading, exploiting parallel hardware, etc.

 * Transformation and Analysis: abstract interpretation,
   specialization, partial evaluation, program transformation, program
   calculation, program proof, meta-programming, generative
   programming, etc.

 * Software Development: algorithms, data structures, design patterns,
   components and composition, specification, proof assistants,
   verification and validation, model checking, debugging, testing,
   profiling, tracing, etc.

 * Paradigm Integration: integration of declarative programming with
   other paradigms or features such as imperative, object-oriented,
   aspect-oriented, concurrent, real-time programming, event-driven
   architectures, etc.

 * Applications: education, industry, commercial uses, domain-specific
   languages, visual/graphical user interfaces, embedded systems, WWW
   applications, XML processing, artificial intelligence, knowledge
   representation and machine learning, deductive databases, advanced
   programming environments and tools, etc.


Authors are invited to submit papers presenting original unpublished
work. Papers must be at most 15 pages long. Exceptionally, authors may
surpass the page limit by providing well-marked appendices intended as
reviewing aids. Appendices will not appear in the final publication.

Submission categories include regular research papers, system
descriptions, and short papers describing on-going work (at most 8

Submissions must be formatted in Lecture Notes in Computer Science
(LNCS) style. This requirement needs not apply to appendices.

Papers should be submitted in pdf or postscript format electronically
via the web-based submission site

Preliminary proceedings will be available at the workshop. Selected
authors will be invited to submit  a  full version of their papers
after the workshop. Contributions accepted for the post-workshop
proceedings have usually appeared in journals -- those of the 2009
edition have been published in LNCS, previous editions in ENTCS, etc.


Julio Marino (Universidad Politecnica de Madrid, Spain)


Maria Alpuente (Universidad Politecnica de Valencia, Spain)
Sergio Antoy (Portland State University, USA)
Rachid Echahed (CNRS-IMAG, France)
Santiago Escobar (Universidad Politecnica de Valencia, Spain)
Moreno Falaschi (Universita di Siena, Italy)
Murdoch Gabbay (Heriot-Watt University, UK)
Maria Garcia de la Banda (Monash University, Australia)
Victor Gulias (Lambdastream SL, Spain)
Michael Hanus (CAU Kiel, Germany)
Herbert Kuchen (Univ. of Muenster, Germany)
Francisco Lopez-Fraguas (Universidad Complutense de Madrid, Spain)
James Lipton (Wesleyan University, USA)
Mircea Marin (University of Tsukuba, Japan)
Juan Jose Moreno-Navarro (Ministry of Science & Innovation, Spain)
Brigitte Pientka (McGill University, Canada)

Reply via email to