19th Workshop on Functional and (Constraint) Logic
Programming
January 17th, 2010, Madrid, Spain
Co-located with POPL 2010
Scope
The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the integration of the two paradigms. 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 were: 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).
Topics
WFLP 2010 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to:
- Foundations: formal semantics, rewriting and narrowing, non-monotonic reasoning, dynamics, type theory
- Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects
- 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
- Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming
- 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
Important Dates
- Abstract Submission
Nov 9th, 2009Wednesday, November 18th, 2009- Full Paper Submission
Nov 15th, 2009Wednesday, November 25th, 2009- Acceptance Notification
- Tuesday, December 20th, 2009
- Preliminary Proceedings
- Tuesday, January 7th, 2010
- Workshop
- Sunday, January 17th, 2010
Invited Speakers
Organization
Program Chair
- Julio Mariño y Carballo
- Universidad Politécnica de Madrid, Spain
Program Committee
- María Alpuente
- Universidad Politénica de Valencia, Spain
- Sergio Antoy
- Portland State University, USA
- Bernd Brassel
- Christian-Albrechts-Universität zu Kiel, Germany
- Olaf Chitil
- University of Kent, UK
- Rachid Echahed
- Institut IMAG - Laboratoire Leibniz, France
- Santiago Escobar
- Universidad Politécnica de Valencia, Spain
- Moreno Falaschi
- University of Siena, Italy
- Murdoch James Gabbay
- Heriot-Watt University, UK
- María García de la Banda
- Monash University, Australia
- Víctor Gulias
- Lambda Stream S.L., Spain
- Michael Hanus
- Christian-Albrechts-Universität zu Kiel, Germany
- Herbert Kuchen
- Westfälische Wilhelms-Univ. Münster, Germany
- Francisco José López Fraguas
- Universidad Complutense de Madrid, Spain
- James B. Lipton
- Wesleyan University, USA
- Juan José Moreno Navarro
- Ministry of Science & Innovation, Spain
- Mircea Marin
- University of Tsukuba, Japan
- Brigitte Pientka
- McGill University, Canada
Organization
- Julio Mariño y Carballo
- Emilio Jesús Gallego Arias
- Ana María Fernández Soriano
Submision and Proceedings
Formatting and length
Authors are invited to submit papers of at most 15 pages (pdf or postscript formats) presenting original, not previously published works. Submission categories include regular research papers, short papers (not more than 8 pages) describing on-going work, and system descriptions.
Authors using Latex to prepare their submissions should use the LNCS style available here.
Electronic submission
Papers should be submitted electronically via the web-based submission site here.
Proceedings
Preliminary proceedings will be available at the workshop. Selected authors will be invited to submit another version of their papers after the workshop. Contributions accepted for the post-workshop proceedings will be published in Lecture Notes in Computer Science.
Registration and Accomodation
WFLP 2010 is co-located with POPL 2010 . See POPL 2010 website for more information.
Program
To be announced