PPDP 2005 Call for Participation

From: Amy Felty <afelty_at_site.uottawa.ca>
Date: Wed, 18 May 2005 00:02:23 -0400 (EDT)

                 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


_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mi Mai 18 2005 - 09:46:29 CEST

This archive was generated by hypermail 2.3.0 : Do Feb 01 2024 - 07:15:06 CET