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
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
