Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science) by Yukiyoshi Kameyama, Peter J. Stuckey

Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science) download
Book Title:
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings (Lecture Notes in Computer Science)
Book Author:
Yukiyoshi Kameyama, Peter J. Stuckey
ISBN10:
354021402X
ISBN13:
978-3540214021
Format:
pdf / fb2 / epub / Djvu
Category:
Computers & Technology
Language:
English
ePub vers. size:
1331 kb
PDF vers. size:
1477 kb
This volume contains the proceedings of the 7th International Symposium on Functional and Logic Programming (FLOPS 2004), held in Nara, Japan, April 7-9, 2004 at the New Public Hall, Nara. FLOPS is a forum for research on all issues concerning functional progr- mingandlogicprogramming. Inparticularitaimstostimulatethecross-fertili- tion as well as the integration of the two paradigms. The previous FLOPS me- ings took place in Fuji-Susono (1995), Shonan (1996), Kyoto (1998), Tsukuba (1999),Tokyo(2001)and Aizu (2002). The proceedingsofFLOPS 1999,FLOPS 2001 and FLOPS 2002 were published by Springer-Verlag in the Lecture Notes in Computer Science series, as volumes 1722, 2024 and 2441, respectively. In response to the call for papers, 55 papers were submitted by authors from 1 Australia (1), Austria (1), Canada (1), China (4), Denmark (2), Estonia ( ), 2 1 1 France (3 ), Germany (4 ), Italy (1), Japan (15), the Netherlands (1), Oman 2 4 1 1 (1), Portugal ( ), Singapore (2), Spain (8), UK (3), and USA (6 ). Each paper 2 4 was reviewed by at least three program committee members with the help of expert external reviewers. The program committee meeting was conducted el- tronically for a period of 2 weeks in December 2003. After careful and thorough discussion, the program committee selected 18 papers (33%) for presentation at theconference. Inadditiontothe18contributedpapers,thesymposiumincluded talks by three invited speakers: Masami Hagiya (University of Tokyo), Carsten Schur ¨ mann (Yale University), and Peter Selinger (University of Ottawa).

Related electronic Books: