[Template-haskell] Call for Papers: Generative Programming and Component Engineering (GPCE'07)

[Emir Pasalic]

- Apologies for multiple posts -

                   Call for Papers

	     Sixth International Conference on
     Generative Programming and Component Engineering (GPCE'07)

                  October 1-3, 2007
                  Salzburg, Austria
             (co-located with ESWEEK'07)

               http://www.gpce.org/07


Important Dates:

     * Submission of abstracts:            April 17, 2007
     * Submission:                         April 20, 2007
     * Notification:                       June 10, 2007

     * Tutorial and workshop proposals:    March 16, 2007
     * Tutorial and workshop notification: April 9, 2007

Scope

Generative and component approaches are revolutionizing software
development similar to how automation and components revolutionized
manufacturing. Generative Programming (developing programs that
synthesize other programs), Component Engineering (raising the level
of modularization and analysis in application design), and
Domain-Specific Languages (elevating program specifications to compact
domain-specific notations that are easier to write, maintain, and
analyze) are key technologies for automating program development.

GPCE provides a venue for researchers and practitioners interested in
foundational techniques for enhancing the productivity, quality, and
time-to-market in software development that stems from deploying
standard componentry and automating program generation. In addition to
exploring cutting-edge techniques for developing generative and
component-based software, our goal is to foster further
cross-fertilization between the software engineering research
community and the programming languages community. As GPCE is
co-located with ESWEEK this year, we also especially encourage papers
from the embedded systems community.

Submissions

10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting
research results and/or experience related to the topics above (PC
chair can advise on appropriateness). We particularly encourage
original high-quality reports on applying GPCE technologies to
real-world problems, relating ideas and concepts from several topics,
or bridging the gap between theory and practice.

Please note that in contrast to last year, GPCE 2007 is not using a
double-blind reviewing process.


Topics

GPCE seeks contributions in software engineering and in programming
languages related (but not limited) to:

     * Generative programming
           o Reuse, meta-programming, partial evaluation, multi-stage  
and
           multi-level languages, and step-wise refinement
           o Semantics, type systems, symbolic computation, linking and
           explicit substitution, in-lining and macros, templates, and
           program transformation
           o Runtime code generation, compilation, active libraries,
           synthesis from specifications, development methods,  
generation of
           non-code artifacts, formal methods, and reflection
     * Generative techniques for
           o Product-line architectures
           o Distributed, real-time and embedded systems
           o Model-driven development and architecture
           o Resource bounded/safety critical systems.
     * Component-based software engineering
           o Reuse, distributed platforms and middleware, distributed
              systems, evolution, patterns, development methods,  
deployment
              and configuration techniques, and formal methods
     * Integration of generative and component-based approaches
     * Domain engineering and domain analysis
           o Domain-specific languages (DSLs) including visual and  
UML-based
              DSLs
     * Separation of concerns
           o Aspect-oriented and feature-oriented programming,
           o Intentional programming and multi-dimensional separation
              of concerns
     * Industrial applications
     * Applications in embedded systems

Reports on applications of these techniques to real-world problems are
especially encouraged, as are submissions that relate ideas and concepts
from several of these topics, or bridge the gap between theory and
practice. The program chair is happy to advise on the appropriateness  
of a
particular subject.

Submissions must adhere to SIGPLAN's republication policy. Please  
contact
the program chair if you have any questions about how this policy  
applies
to your paper (gpce07 at diku.dk).


General Chair

     * Charles Consel (LABRI/INRIA, Bordeaux)


Program Committee

Program Chair:

     * Julia Lawall (DIKU, University of Copenhagen)

Program Committee Members:

     * Edwin Brady (University of St Andrews, UK)
     * Johan Brichau (UniversitÈ Catholique de Louvain, Belgium)
     * Rastislav Bodik (UC Berkeley, USA)
     * Jacques Carette (McMaster University, Canada)
     * Albert Cheng (University of Houston, USA)
     * Remi Douence (Ecole des Mines de Nantes-Inria, Lina, France)
     * Lidia Fuentes (University of M·laga, Spain)
     * Ian Gorton (Pacific Northwest National Lab)
     * Jean-Marc Jezequel (IRISA (INRIA & Univ. Rennes 1), France)
     * Kyo Kang (Pohang University of Science and Technology, Korea)
     * Siau Cheng Khoo (National University of Singapore, Singapore)
     * Paul Kelly (Imperial College London, UK)
     * Anne-Francoise Le Meur (University of Lille 1, France)
     * Christian Lengauer (University of Passau, Germany)
     * Sandeep Neema (Vanderbilt University, USA)
     * Scott Owens (University of Cambridge, UK)
     * Jens Palsberg (UCLA, USA)
     * Renaud Pawlak (Rensselaer Polytechnic Institute, USA)
     * Zoltan Porkolab (Eotvos Lorand University, Hungary)
     * Robby (Kansas State University, USA)
     * Peter Sestoft (IT University of Copenhagen, Denmark)
     * Jeremy Siek (University of Colorado at Boulder, USA)
     * Tony Sloane (Macquarie University, Australia)
     * Kevin J. Sullivan (University of Virginia, USA)
     * Peri Tarr (IBM Thomas J. Watson Research Center, USA)