********************************************************************
Call For Participation
WFLP2010
19th International Workshop on Functional
and (Constraint) Logic Programming
Madrid, Spain, January 17, 2010
http://babel.ls.fi.upm.es/events/wflp2010/
*********
colocated with
Principles of Programming Languages
POPL 2010
http://www.cse.psu.edu/popl/10/
********************************************************************
IMPORTANT DATES
Hotel reservation deadline: December 28, 2009
VENUE
WFLP2010 and all POPL'10 affiliated events will take place at the
Melia Castilla Hotel, Madrid.
REGISTRATION
To register for WFLP2010, follow the link from the POPL 2010 page, at
http://www.cse.psu.edu/popl/10/
SCOPE
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.
INVITED SPEAKER
Mariangiola Dezani (University of Torino, Italy)
ACCEPTED PAPERS
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
PROGRAM CHAIR
Julio Marino (Universidad Politecnica de Madrid, Spain)
PROGRAM COMMITTEE
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)
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Dez 28 2009 - 16:37:21 CET