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
- Monday, December 21th, 2009
- Preliminary Proceedings
- Thursday, 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écnica 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
- LambdaStream 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.
Accepted Papers
- An Access Control Language based on Term Rewriting and Description Logic
- Michele Baggi, Demis Ballis and Moreno Falaschi
- Transforming Functional Logic Programs into Monadic Functional Programs
- Bernd Brassel, Sebastian Fischer, Michael Hanus and Fabian Reck
- A Denotational Semantics for Curry
- Jan Christiansen, Daniel Seidel and Janis Voigtlander
- Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL
- George Giorgidze and Henrik Nilsson
- Lazy and Faithful Assertions for Functional Logic Programs
- Michael Hanus
- Implementation and Evaluation of a Declarative Debugger for Java
- Herbert Kuchen and Christian Hermanns
- Large scale random testing with QuickCheck on MapReduce framework
- Shigeru Kusakabe and Yuuki Ikuta
- Automated verification of security protocols in tccp
- Alexei Lescaylle Daudinot and Alicia Villanueva García
- Bridging the gap between two Concurrent Constraint Languages
- Alexei Lescaylle Daudinot and Alicia Villanueva García
- Efficient and Compositional Higher-Order Streams
- Gergely Patai
- A Declarative Debugger of Missing Answers for Functional and Logic Programming
- Rafael del Vado Virseda and Fernando Pérez Morente
- Parameterized Models for On-line and Off-line Use
- Pieter Wuille and Tom Schrijvers
Program
Click the talk's title to watch or download its video
| Time | Title | Speaker |
|---|---|---|
| 08:30 - 09:00 | welcome and registration | |
| 09:00 - 10:00 | Invited talk: Sessions and Session Types | Mariangiola Dezani-Ciancaglini |
| 10:00 - 10:30 | coffee break | |
| Session 1 | Chair: Francisco Javier López Fraguas | |
| 10:30 - 11:00 | Transforming Functional Logic Programs into Monadic Functional Programs | Fabian Reck |
| 11:00 - 11:30 | Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL | George Giorgidze |
| 11:30 - 12:00 | coffee break | |
| Session 2 | Chair: Santiago Escobar | |
| 12:00 - 12:30 | An Access Control Language based on Term Rewriting and Description Logic | Demis Ballis |
| 12:30 - 13:00 | Lazy and Faithful Assertions for Functional Logic Programs | Michael Hanus |
| 13:00 - 13:30 | Parameterized Models for On-line and Off-line Use | Pieter Wuille |
| 13:30 - 15:00 | lunch | |
| Session 3 | Chair: Juan José Moreno Navarro | |
| 15:00 - 15:30 | A Denotational Semantics for Curry | Daniel Seidel |
| 15:30 - 16:00 | Efficient and Compositional Higher-Order Streams | Gergely Patai |
| 16:00 - 16:30 | Large scale random testing with QuickCheck on MapReduce framework | Shigeru Kusakabe |
| 16:30 - 17:00 | coffee break | |
| Session 4 | Chair: Michael Hanus | |
| 17:00 - 17:30 | Bridging the gap between two Concurrent Constraint Languages | Alicia Villanueva García |
| 17:30 - 18:00 | Automated verification of security protocols in tccp | Alexei Lescaylle Daudinot |
| Session 5 | Chair: Julio Mariño | |
| 18:00 - 18:30 | A Declarative Debugger of Missing Answers for Functional and Logic Programming | Fernando Pérez Morente |
| 18:30 - 19:00 | Implementation and Evaluation of a Declarative Debugger for Java | Christian Hermanns |
Provisional Proceedings
The provisional proceedings available at the workshop can be downloaded here.