Principles and Practice of Declarative Programming (PPDP'2005)

Call for Papers

 

Submission Guidelines

Papers should be submitted electronically by 22 February 2005 via the symposium's submission 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. Information on SIGPLAN's Republication Policy is available on the web.

Important Dates

Submission: 22 February 2005
Notification: 1 April 2005
Final Version: 1 May 2005
Conference: 11-13 July 2005

 

This call is available in postscript and PDF formats.

 

Programme

Invited Lecture Chair: Amy Felty

10:30 Invited Lecture

Manuel Hermenegildo (Technical Univ. Madrid and Univ. New Mexico)
Abstraction Carrying Code and Resource-Awareness
11:30 Session 1

Chair:
Amy Felty		 A Resolution Strategy for Verifying Cryptographic Protocols with CBC Encryption and Blind Signatures

Veronique Cortier,
Michael Rusinowitch,
Eugen Zalinescu
12:00 Self-Tuning Resource Aware Specialisation for Prolog Stephen-John Craig,
Michael Leuschel
12:30 Lunch
14:00 Session 2

Chair:
Claude Kirchner		 Monadic Concurrent Linear Logic Programming Pablo Lopez, Frank Pfenning,
Jeff Polakow, Kevin Watkins
14:30 Nominal Rewriting with Name Generation: Abstraction vs. Locality Maribel Fernandez,
Murdoch Gabbay
15:00 Program Transformation by Templates Based on Term Rewriting Yuki Chiba, Takahito Aoto,
Yoshihito Toyama
15:30 Break
16:00 Session 3

Chair:
Joe Wells		 Isolation-Only Transactions by Typing and Versioning Pawel T. Wojciechowski
16:30 ReactiveML, a Reactive Extension to ML Louis Mandel,
Marc Pouzet
17:00 A New Calculus of Contexts Murdoch Gabbay
17:30  
  Joint ICALP/PPDP Reception, Lisbon Oceanarium

 

Invited Lecture Chair: Moti Yung

10:30 Session 4

Chair:
Catuscia Palamidessi		 Automatic Type Inference via Partial Evaluation Aaron Tomb, Cormac Flanagan
11:00 Incremental and Demand-Driven Points-To Analysis Using Logic Programming Diptikalyan Saha,
C. R. Ramakrishnan
11:30 Inverting Abstract Unification for Set Sharing Xuan Li, Lunjin Lu
12:00 Trace Effects and Object Orientation Christian Skalka
12:30 Lunch
14:00 Invited Lecture (joint with ICALP)

John Mitchell (Stanford Univ.)
Security Analysis of Network Protocols: Logical and Computational Methods
15:00 Session 5

Chair:
Amy Felty		 Security Policy in a Declarative Style Rachid Echahed,
Frederic Prost
15:30 Timed Constraint Programming: A Declarative Approach to Usage Control Radha Jagadeesan,
Will Marrero, Corin Pitcher, Vijay Saraswat
16:00 Break
16:30 Session 6

Chair:
Manuel Hermenegildo		 Efficiently Compiling a Functional Language on AMD64: The Hipe Experience Daniel Luna, Mikael Pettersson, Konstantinos Sagonas
17:00 Formal Validation of Pattern Matching Code Claude Kirchner, Pierre-Étienne Moreau, Antoine Reilles
17:30  
19:00 Buses departure from hotels and Gulbenkian Foundation
20:00 Conference Dinner

 

Invited Lecture Chair: Mariangela Dezani-Ciancaglini

9:00 Invited Lecture (joint with ICALP) Giuseppe Castagna (Ens Paris)
A Gentle Introduction to Semantic Subtyping
10:00 Break
10:30 Session 7

Chair:
Pedro Barahona		 A Compositional Semantics for CHR Giorgio Delzanno,
Maurizio Gabbrielli,
Maria Chiara Meo
11:00 Abstract Interpretation for Constraint Handling Rules Tom Schrijvers,
Peter J. Stuckey,
Gregory J. Duck
11:30 Heuristics, Optimizations, and Parallelism for Protein Structure Prediction in CLP(FD) Alessandro Dal Palů,
Agostino Dovier,
Enrico Pontelli
12:00 Optimization with Mode-Directed Preferences Hai-Feng Guo,
Bharat Jayaraman,
Gopal Gupta, Miao Liu
12:30 Lunch