................................................................ ACM PPDP 2008 - 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
................................................................
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
PROGRAM COMMITTEE: Elvira Albert Complutense University of Madrid, Spain Sergio Antoy Portland State University, USA Maribel Fernandez King's College, UK Maurizio Gabbrielli University of Bologna, Italy Joxan Jaffar National University, Singapore Claude Kirchner INRIA Bordeaux, France Herbert Kuchen University of Muenster, Germany Kostis Sagonas Uppsala University, Sweden Carsten Schurmann IT University of Copenhagen, Denmark Peter Sestoft IT University of Copenhagen, Denmark
*ACM-SIGPLAN approval is pending
============================================================================== 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/ -----------------------------------------------------------------------------