| Jens Bendisposto 2007-02-01, 8:05 am |
| [Apologies if you receive multiple copies of this announcement]
................................................................
ACM PPDP 2007 - Call For Papers
9th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
Wroclaw, Poland, July 14-16, 2007
http://ppdp07.ii.uni.wroc.pl
.................................................................
IMPORTANT DATES
Submission: March 27, 2007, 21:00 CET
Notification: April 22, 2007
Conference: July 14--16, 2007
SCOPE: PPDP 2007 is a forum for the declarative programming
communities, gathering researchers working on logic, constraint and
functional programming, but also on other programming language
paradigms like 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 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: Proceedings will be published by ACM Press.
RELATED EVENTS: PPDP 2007 will be co-located with the 34th International
Colloquium on Automata, Languages and Programming (ICALP 2007), which will
take place on July 9-13, 2007 (http://icalp07.ii.uni.wroc.pl/)
SYMPOSIUM CHAIR: Michael Leuschel, University of Düsseldorf
PROGRAM CHAIR: Andreas Podelski, Technical University of Munich
PROGRAM COMMITTEE:
Maria Alpuente (U. Politécnica de Valencia, Spain)
Josh Berdine (Microsoft Research Cambrige, UK)
Witold Charatonik (University of Wrozlav, Poland)
Giorgio Delzanno (University of Genua, Italy)
Patricia Johann (Rutgers University, USA)
Shriram Krishnamurthi (Brown University, USA)
Michael Leuschel (University of Düsseldorf, Germany)
Atsushi Ohori (Tohoku University, Sendai, Japan)
Andreas Podelski (Technical University of Munich, Germany)
German Puebla (Technical University of Madrid, Spain)
Michel Rueher (University of Nice, France)
Andrey Rybalchenko (EPFL Lausanne, Switzerland)
Kostis Sagonas (National Technical University of Athens, Greece)
Christian Schulte (Royal Institute of Technology, Sweden)
Jakob Grue Simonsen (University of Copenhagen, Denmark)
Peter Stuckey (University of Melbourne, Australia)
Peter van Roy (University of Louvain, Belgium)
Tarmo Uustalu (Institute of Cybernetics, Tallinn, Estonia)
|