WFLP'09: Call for participation

From: Santiago Escobar <sescobar_at_dsic.upv.es>
Date: Thu, 28 May 2009 12:17:03 -0500

*******************************************************************
             CALL FOR PARTICIPATION

                   WFLP 2009

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

         Brasilia, Brazil, June, 28, 2009
     http://www.dsic.upv.es/workshops/wflp09/

                   *********
       part of the Federated Conference on
      Rewriting, Deduction, and Programming
                    RDP'09
       http://rdp09.cic.unb.br/index.html

*******************************************************************

INVITED SPEAKERS

Claude Kirchner INRIA Bordeaux - Sud-Ouest, France
Roberto Ierusalimschy Departamento de Informatica, PUC-Rio, Brazil

ACCEPTED PAPERS

* Manuel Montenegro, Ricardo Peña and Clara Segura.
A Simple Region Inference Algorithm for a First-Order Functional
Language

* Yuki Kato and Koji Nakazawa.
Type Checking and Inference Are Equivalent in Lambda Calculi with
Existential Types

* Petra Hofstedt and Kazunori Ueda.
Realizing Multiparadigm Programming based on Hierarchical Graph
Rewriting

* Rafael del Vado Vírseda and Ignacio Castiñeiras Pérez.
A Theoretical Framework for the Declarative Debugging of Functional
Logic Programs with Lambda Abstractions

* Javier Álvez and Francisco Javier López-Fraguas.
A Complete Axiomatization of Strict Equality over Infinite Trees

* Francisco Javier Lopez-Fraguas, Enrique Martin-Martin and Juan
Rodriguez-Hortala.
Advances in type systems for Functional-Logic Programming

* Nacho Castiñeiras and Fernando Sáenz.
Integrating ILOG CP technology into TOY

* Michael Leuschel, Salvador Tamarit and German Vidal.
Fast and Accurate Strong Termination Analysis with an Application
to Partial Evaluation

* Manuel Hernandez.
A Taxonomy of Some Right-to-Left String-Matching Algorithms

* Makoto Hamana.
Semantic Labelling for Proving Termination of Combinatory Reduction
Systems

* Stephan Falke and Deepak Kapur.
Termination of Context-Sensitive Rewriting with Built-In Numbers
and Collection Data Structures

* Andre Rauber du Bois, Gerson Cavalheiro and Juliana vizzotto.
pFun: A semi-explicit parallel purely functional language


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Do Mai 28 2009 - 22:57:40 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:09 CET