[TYPES] PPDP 2005 Call for Participation

[Amy Felty]

                 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