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

                        Call For Participation


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

                   Madrid, Spain, January 17, 2010

                            colocated with
                 Principles of Programming Languages
                              POPL 2010



Hotel reservation deadline: December 28, 2009


WFLP2010 and all POPL'10 affiliated events will take place at the
Melia Castilla Hotel, Madrid.


To register for WFLP2010, follow the link from the POPL 2010 page, at



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.


Mariangiola Dezani (University of Torino, Italy)


Transforming Functional Logic Programs into Monadic Functional Programs
  Bernd Brassel, Sebastian Fischer, Michael Hanus and Fabian Reck
Mixed-level Embedding and JIT Compilation for an Iteratively Staged DSL
  George Giorgidze and Henrik Nilsson
An Access Control Language based on Term Rewriting and Description Logic
  Michele Baggi, Demis Ballis and Moreno Falaschi
Lazy and Faithful Assertions for Functional Logic Programs
  Michael Hanus
Parameterized Models for On-line and Off-line Use
  Pieter Wuille and Tom Schrijvers
A Denotational Semantics for Curry
  Jan Christiansen, Daniel Seidel and Janis Voigtlander
A Declarative Debugger of Missing Answers for Functional and Logic Programming
  Rafael del Vado Virseda and Fernando Perez Morente
Efficient and Compositional Higher-Order Streams
  Gergely Patai
Bridging the gap between two Concurrent Constraint Languages
  Alexei Lescaylle Daudinot and Alicia Villanueva Garcia
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 Garcia
Implementation and Evaluation of a Declarative Debugger for Java
  Herbert Kuchen and Christian Hermanns


Julio Marino (Universidad Politecnica de Madrid, Spain)


Maria Alpuente (Universidad Politecnica de Valencia, Spain)
Sergio Antoy (Portland State University, USA)
Bernd Brassel (CAU Kiel, Germany)
Olaf Chitil (Univ. of Kent, UK)
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 (Univ. of Tsukuba, Japan)
Juan Jose Moreno-Navarro (Ministry of Science & Innovation, Spain)
Brigitte Pientka (McGill University, Canada)

Reply via email to