CALL FOR PARTICIPATION - PPDP 2005 Seventh ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming Lisboa, Portugal, 11-13 July 2005 http://centria.di.fct.unl.pt/conferences/ppdp05/ *** EARLY REGISTRATION DEADLINE 31 May 2005 APPROACHING *** REGISTRATION AND ACCOMMODATION: Registration and accommodation information can be found at the conference website. CO-LOCATED CONFERENCE: PPDP 2005 will be co-located with the 32nd International Colloquium on Automata, Languages and Programming (ICALP 2005), which will take place 11-15 July 2005. See http://icalp05.di.fct.unl.pt for more information. PPDP 2005 PROGRAM: MONDAY, July 11 --------------- INVITED LECTURE (10:30 - 11:30) Manuel Hermenegildo (Technical Univ. Madrid and Univ. New Mexico) ABSTRACTION CARRYING CODE AND RESOURCE-AWARENESS SESSION 1 (11:30 - 12:30) 11:30 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 LUNCH (12:30 - 14:00) SESSION 2 (14:00 - 15:30) 14:00 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 BREAK (15:30 - 16:00) SESSION 3 (16:00 - 17:30) 16:00 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 JOINT ICALP/PPDP RECEPTION, Lisbon Oceanarium TUESDAY, July 12 ---------------- SESSION 4 (10:30 - 12:30) 10:30 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 LUNCH (12:30 - 14:00) INVITED LECTURE (joint with ICALP) (14:00 - 15:00) John Mitchell (Stanford Univ.) SECURITY ANALYSIS OF NETWORK PROTOCOLS: LOGICAL AND COMPUTATIONAL METHODS SESSION 5 (15:00 - 16:00) 15:00 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 BREAK (16:00 - 16:30) SESSION 6 (16:30 - 17:30) 16:30 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-Etienne Moreau, Antoine Reilles CONFERENCE DINNER WEDNESDAY, July 13 ------------------ INVITED LECTURE (joint with ICALP) (9:00 - 10:00) Giuseppe Castagna (ENS Paris) A GENTLE INTRODUCTION TO SEMANTIC SUBTYPING BREAK (10:00 - 10:30) SESSION 7 (10:30 - 12:30) 10:30 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 Palu', Agostino Dovier, Enrico Pontelli 12:00 OPTIMIZATION WITH MODE-DIRECTED PREFERENCES Hai-Feng Guo, Bharat Jayaraman, Gopal Gupta, Miao Liu LUNCH (12:30 - 14:00) END OF CONFERENCE