[ecoop-info] PPDP 2007 - Deadline Extension - ACM-SIGPLAN Symposium
Michael Leuschel
leuschel at cs.uni-duesseldorf.de
Wed Mar 28 11:50:52 CEST 2007
Due to multiple requests the deadline for PPDP 2007 has been extended:
.............................................................
ACM PPDP 2007 - Call For Papers
9th ACM-SIGPLAN International Symposium on
Principles and Practice of Declarative Programming
Wroclaw, Poland, July 14-16, 2007
***** DEADLINE EXTENSION: April 3 2007 *****
http://ppdp07.ii.uni.wroc.pl
................................................................
IMPORTANT DATES
Submission: April 3, 2007, 21:00 CET (GMT+1) EXTENDED
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, University of Freiburg
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 (University of Freiburg, 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 Thiemann (University of Freiburg, Germany)
Pascal Van Hentenryck (Brown University, USA)
Peter van Roy (University of Louvain-La-Neuve, Belgium)
Tarmo Uustalu (Institute of Cybernetics, Tallinn, Estonia)
More information about the ecoop-info
mailing list