Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Call for Papers PPDP'04 Sixth ACM-SIGPLAN Symposium on Principles and Practice of Declarative Programming http://www.sci.univr.it/~ppdp04 Verona, Italy, 24-26 August 2004 (co-located with LOPSTR'04, PEPM'04 and SAS'04) IMPORTANT DATES Intent to Submit 28 March 2004 Submission 4 April 2004 Notification 2 May 2004 Final Version 20 June 2004 SCOPE OF THE CONFERENCE: PPDP 2004 aims to provide a forum that brings together those in the declarative programming communities, including those working in the logic, constraint and functional programming paradigms. The goal is to stimulate research in the use of logical formalisms and methods for specifying, performing, and analyzing computations, and to stimulate cross-fertilization by including work from one community that could be of particular interest and relevance to the others. Topics of more specific interest are enhancements to such formalisms with mechanisms for mobility, modularity, concurrency, object-orientation, and static analysis, as well as the fuller exploitation of the programming-as-proof-search framework through new designs and improved implementation methods. At the level of methodology, the use of logic-based principles in the design of tools for program development, analysis, and verification relative to all declarative paradigms is of interest. Papers related to the use of declarative paradigms and tools in industry and education are especially solicited. This list is not exhaustive: submissions related to new and interesting ideas relating broadly to declarative programming are encouraged. Prospective authors are encouraged to communicate with the Program Chair about the suitability of a specific topic. TOPICS (Non-exhaustive): Logic, Constraint, and Functional Programming; Applications of Declarative Programming; Methodologies for Program Design and Development; Declarative aspects of Object-Oriented Programming; Concurrent Extensions to declarative languages; Declarative Mobile Computing; Integration of Paradigms; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; and Programming Environments. CONFERENCE VENUE AND RELATED EVENTS: PPDP'04 will take place in a centrally located facility provided by Univ.of Verona, and is scheduled in co-location with 3 other conferences. Tue 24 Wed 25 Thu 26 Fri 27 Sat 28 PPDP PPDP PPDP PEPM PEPM LOPSTR LOPSTR LOPSTR SAS SAS SAS Verona is among the most important historical and artistic town in Italy, with more than two thousand years of history. During the Roman Empire it was a political and commercial centre, whose magnificent traces can still be seen in the Arena and the Roman Theatre. The city has always been synonymous with culture, nowadays it attracts people from everywhere thanks to the Arena, the myth of Romeo and Juliet and its precious beauty. PPDP'04 has been scheduled at the end of August 2004, so that participants may also appreciate the cultural events in town, such as the opera at the Arena and other open air concerts and happenings. Verona has an international airport, and can be reached also from Venice and from Milan in less than 2 hours. SUBMISSION GUIDELINES: You are asked to indicate by 28 March 2004 an intention to submit, consisting of Title, Author(s). Papers should be submitted electronically by 4 April 2004 via the symposium's Web page. Acceptable formats are PostScript or PDF, viewable by gv. Submissions should not exceed 12 pages (including bibliography and appendices) in standard ACM conference format. They must be written in English, must have a cover page with an abstract of up to 200 words, keywords, postal and electronic mailing addresses, and phone and fax numbers of the corresponding author. EVALUATION OF SUBMISSIONS: Submitted papers will be judged on the basis of significance, relevance, correctness, originality, and clarity. They should include a clear identification of what has been accomplished and why it is significant. They must describe original, previously unpublished work that has not been simultaneously submitted for publication elsewhere. Authors who wish to provide additional material to the reviewers beyond the 12-page limit can do so in clearly marked appendices: reviewers are not required to read such appendices. Submissions that do not meet these guidelines may not be considered. PROCEEDINGS: Proceedings will be published by ACM Press. ACM formatting guidelines are available at http://www.acm.org/sigs/pubs/proceed/template.html, along with formatting templates or style files for LaTeX, Word Perfect, and Word. Authors of accepted papers will be required to sign the ACM copyright form. CONF. CHAIR: E.Moggi, Univ. of Genova. LOCAL CHAIRS: R.Giacobazzi and F.Spoto, Univ. of Verona. PC CHAIR: David S. Warren, Univ. of New York at Stony Brook & XSB Inc. email: warren@cs.sunysb.edu web: http://www.cs.sunysb.edu/~warren/ PC MEMBERS: Danny De Schreye (Katholieke Univ. Leuven, BE), Thom Fruehwirth (Ulm Univ., DE), Maurizio Gabbrielli (Bologna Univ., IT), Maria Garcia de la Banda (Monash Univ., AU), Barat Jayaraman (Buffalo Univ., US), Claude Kirchner (LORIA & INRIA, FR), Michael Leuschel (Southampton Univ., UK), Eugenio Moggi (Genova Univ., IT), Brigitte Pientka (McGill Univ., CA), Enrico Pontelli (New Mexico State Univ., US), Francesca Rossi (Padova Univ., IT), Konstantinos Sagonas (Uppsala Univ., SE), Vitor Santos Costa (Univ. Federal do Rio de Janeiro, BR), Taisuke Sato (Tokyo Inst. of Tech., JP), Terrance Swift (Stony Brook Univ. & XSB Inc., US), Philip Wadler (Edinburgh Univ., UK). PREVIOUS PPDP CONFERENCES: Paris (1999), Montreal (2000), Firenze (2001), Pittsburgh (2002), Uppsala (2003).