[Caml-list] Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering

[Caml-list] Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering

[Eelco Visser]

                      PRELIMINARY CALL FOR PAPERS

----------------------------------------------------------------------
                   Third International Conference on
       Generative Programming and Component Engineering (GPCE'04)

                     Vancouver, October 24-28, 2004
                       co-located with OOPSLA 2004

                          http://gpce04.gpce.org
----------------------------------------------------------------------

------------------------------------
Scope
------------------------------------

Generative and component approaches have the potential to revolutionize 
software development in a similar way as 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 and maintain) are key
technologies for automating program development.

GPCE arose as a joint conference, merging the prior conference on 
Generative and Component-Based Software Engineering (GCSE) and the 
Workshop on Semantics, Applications, and Implementation of Program 
Generation (SAIG). The goal of GPCE is to provide a meeting place for 
researchers and practitioners interested in cutting edge approaches to 
software development. We aim to foster further cross-fertilization 
between the software engineering research community on the one hand, and
the programming languages community on the other, in addition to 
supporting the original research goals of both the GCSE and the SAIG 
communities. We seek papers both in software engineering and in
programming languages, and especially those that bridge the gap and are
accessible to both communities at the same time.

------------------------------------
Topics of Interest
------------------------------------

The conference solicits submissions related (but not limited) to:

   * Generative programming
      o Reuse, meta-programming, partial evaluation, multi-stage and 
        multi-level languages, step-wise refinement
      o Semantics, type systems, symbolic computation, linking and 
        explicit substitution, in-lining and macros, templates, 
        program transformation
      o Runtime code generation, compilation, active libraries, 
        synthesis from specifications, development methods, generation 
        of non-code artifacts, formal methods, reflection
   * Generative techniques for
      o Product lines and architectures
      o Embedded systems
      o Model-driven architecture
   * Component-based software engineering
      o Reuse, distributed platforms, distributed systems, evolution, 
        analysis and design patterns, development methods, 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 programming, feature-oriented programming,
      o Intentional programming, and multi-dimensional separation of
concerns
   * Industrial applications

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 committee is happy to advise on the appropriateness of a 
particular subject.

------------------------------------
Important Dates
------------------------------------

    * Pre-submission: March 12, 2004 (title + abstract)
    * Submission: March 19, 2004
    * Conference: 24-28 October 2004

------------------------------------
Organization
------------------------------------

General chair

    * Tim Sheard (OGI School of Science & Engineering at OHSU)

Program committee chairs

    * Gabor Karsai (Vanderbilt University)
    * Eelco Visser (Utrecht University)

Program committee

    * Uwe Assmann (Linkopings Universitet)
    * Don Batory (University of Texas)
    * Jan Bosch (Universiteit Groningen)
    * Jean Bezivin (Université de Nantes)
    * Jim Cordy (Queen's University)
    * Krzysztof Czarnecki (University of Waterloo)
    * Mathew Flatt (University of Utah)
    * Robert Glueck (University of Copenhagen)
    * George Heineman (Worcester Polytechnic Institute)
    * Michael Leuschel (University of Southampton)
    * Karl Lieberherr (Northeastern University)
    * Simon Peyton Jones (Microsoft Research)
    * Douglas R. Smith (Kestrel Institute)
    * Gabriele Taentzer (Technical University of Berlin)
    * Todd Veldhuizen (Indiana University)
    * Kris de Volder (University of Britisch Columbia)
    * Dave Wile (Teknowledge Corp.)
    * Alexander Wolf (University of Colorado at Boulder)

Contact

    * gpce-chairs@cs.uu.nl


-------------------
To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr
Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners