[Om-announce] [Ppdp09] PPDP'09 - Call for Participation

[António Porto]

==================================================

                          CALL FOR PARTICIPATION

                                PPDP 2009

               11th ACM-SIGPLAN International Symposium on
            Principles and Practice of Declarative Programming

                  Coimbra, Portugal, September 7-9, 2009

                      http://www.dcc.fc.up.pt/ppdp09

==================================================

ONLINE REGISTRATION IS NOW OPEN
Early Registration Deadline: July 31, 2009
Please visit PPDP website for details.

PPDP is a forum for researchers and practitioners in the declarative
programming communities, working on all aspects of logic, constraint
and functional programming, as well as on related paradigms such as
visual programming, executable specification languages, database
languages, AI and knowledge representation languages for the semantic
web.

PPDP'09 will be co-located with the 18th EACSL Annual Conference on
Computer Science Logic (CSL 09) and the 19th International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 09).

PROGRAMME:
In addition to 26 contributed papers, the scientific program will
contain one talk by Vasco T. Vasconcelos and two joint PPDP-LOPSTR
talks by Ralf Lämmel and Germán Vidal.

      *  Ralf Lämmel, University of Koblenz-Landau, Germany
         Scrap your boilerplate -- prologically!
      *  Vasco Thudichum Vasconcelos, University of Lisbon, Portugal
         Session types for linear multithreaded functional programming
      *  Germán Vidal, Technical University of Valencia, Spain
         Towards scalable partial evaluation of declarative programs

VENUE:
PPDP'09 will be hosted by University of Coimbra, one of the oldest
European Universities. Built on the banks of the Mondego river, the
irreverent Coimbra of "fado" and students is an ancient city, full of
history and tradition.
http://www.visitportugal.com/

SPONSORS:
  * ACM SIGPLAN - Special Interest Group on Programming Languages.
  * FCT - Fundação para a Ciência e Tecnologia
  * University of Coimbra
  * LIACC, CMUC, CISUC, DCC/FCUP


ORGANIZATION:
PROGRAM CHAIR:
  Francisco J. Lopez-Fraguas  (Complutense Univ. Madrid, Spain)
SYMPOSIUM CHAIR:
  António Porto  (Univ. Porto, Portugal)
LOCAL ORGANIZATION:
  Ana Paula Tomás (Univ. Porto, Portugal)
  Pedro Quaresma (Univ. Coimbra, Portugal)
  Ana Almeida (Univ. Coimbra, Portugal)
  António Porto (Univ. Porto, Portugal)

We look forward to seeing you in Coimbra!


_______________________________________________
Ppdp09 mailing list
Ppdp09 at ncc.up.pt
http://lists.ncc.up.pt/cgi-bin/mailman/listinfo/ppdp09