This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools.
--1686784523-1593107903-1206952564=:4950 Content-Type: TEXT/PLAIN; CHARSET=ISO-8859-1 Content-Transfer-Encoding: QUOTED-PRINTABLE Content-ID: <Pine.LNX.4.64.0803311036121.4950(a)clip.dia.fi.upm.es>
=2E............................................................... ACM PPDP 2008 - Last Call For Papers
10th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
Valencia, Spain, July 15-17, 2008
http://www.clip.dia.fi.upm.es/Conferences/PPDP08
=2E...............................................................
IMPORTANT DATES Submission: April 10, 2008 Notification: May 15, 2008 Conference: July 15-17, 2008
SCOPE: PPDP 2008 is a forum for researchers and practitioners in the declarative programming communities. It solicits papers 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".
MAIN TOPICS: Logic, Constraint, and Functional Programming; Database, AI and Knowledge Representation Languages; Visual Programming; Executable Specification for Languages; Applications of Declarative Programming; Methodologies for Program Design and Development; Declarative Aspects of Object-Oriented Programming; Concurrent Extensions to Declarative Languages; Declarative Mobile Computing; Paradigm Integration; Proof Theoretic and Semantic Foundations; Type and Module Systems; Program Analysis and Verification; Program Transformation; Abstract Machines and Compilation; Programming Environments.
PROCEEDINGS: The proceedings will be published by ACM Press
RELATED EVENTS: PPDP 2008 will be co-located with the 15th International Static Analysis Symposium (SAS 2008) and the 18th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2008).
SYMPOSIUM CHAIR: Elvira Albert, Complutense University of Madrid PROGRAM CHAIR: Sergio Antoy, Portland State University INVITED SPEAKER: Michael Leuschel, University of D=C3=BCsseldorf, Germany
PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College London, UK Maurizio Gabbrielli University of Bologna, Italy Neil Ghani University of Nottingham, UK Masami Hagiya University of Tokyo, Japan Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Michael Maher NICTA and University of New South Wales, Australia Dale Miller INRIA Saclay, France Eugenio Moggi University of Genova, Italy Kostis Sagonas Uppsala University, Sweden Carsten Schurmann, IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark
LOCAL CHAIR: Christophe Joubert
SYMPOSIUM VENUE: The conference will be held at the Technical University of Valencia, Spain.
--1686784523-1593107903-1206952564=:4950--
============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------