[TYPES] Final CFP: GPCE'05 -- Generative Programming and Component Engineering

[Eelco Visser]

                    FINAL CALL for PAPERS and DEMOS 
         preliminary announcement of WORKSHOPS and TUTORIALS
----------------------------------------------------------------------

                    4th International Conference on
      Generative Programming and Component Engineering (GPCE'05)
                Sep 29 - Oct 1, 2005, Tallinn (Estonia)
                         http://www.gpce.org/05

      Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT
                  co-located with ICFP'05 and TFP'05 

----------------------------------------------------------------------

Consult http://www.gpce.org/05 for UP-TO-DATE and DETAILED information,
including the full text of the calls for PAPERS and DEMONSTRATIONS.

ELECTRONIC SUBMISSION PAGE is active.

FORTHCOMING: web pages for workshops and tutorials (mid April)
	     
----------------------------------------------------------------------

IMPORTANT DATES

    * Apr 10, 2005: Submission of abstracts (only for papers)
    * Apr 15, 2005: Submission of papers and demos
    * May 30, 2005: Notification for papers and demos

    * Sep 27-28, 2005: GPCE workshops and tutorials
    * Sep 29 - Oct 1, 2005: GPCE papers and demos

----------------------------------------------------------------------

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 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 and the programming languages
community, in addition to supporting the original research goals of
both the GCSE and the SAIG communities.

----------------------------------------------------------------------

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

* Generative programming
  - Reuse, meta-programming, partial evaluation, multi-stage and
    multi-level languages, step-wise refinement
  - Semantics, type systems, symbolic computation, linking and
    explicit substitution, in-lining and macros, templates, program
    transformation 
  - Runtime code generation, compilation, active libraries, synthesis
    from specifications, development methods, generation of non-code
    artifacts, formal methods, reflection 

* Generative techniques for 
  - Product lines and architectures
  - Embedded systems
  - Model-driven architecture

* Component-based software engineering
  - 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 
  - Domain-specific languages (DSLs) including visual and UML-based DSLs 
* Separation of concerns
  - Aspect-oriented and feature-oriented programming, 
  - Intentional programming and multi-dimensional separation of concerns 
* Industrial applications 

----------------------------------------------------------------------

CALL FOR PAPERS.  Authors are invited to submit a title and abstract
(by Apr 10) and a full paper (by Apr 15) reporting research results
and/or experience related to the topics above.  We especially
encourage original high-quality reports on applications to real-world
problems, relating ideas and concepts from several topics, or bridging
the gap between theory and practice.

Simultaneous submission to other venues and submission of previously
published material are not allowed.  Accepted papers will appear in
the conference proceedings, to be published in Springer's LNCS series.

SUBMISSION GUIDELINES.  Electronic submission will be required (except
by special arrangement with the PC chairs).  Submissions must be in
PDF, conform to the LNCS style, and be no longer than 15 PAGES.  For
formatting details see http://www.springer.de/comp/lncs/authors.html.

----------------------------------------------------------------------

TUTORIALS

T1: Challenges and Best Practices of Generative Software Engineering
    in the Context of Large Complex Business Applications
    (Presenter: M.M.Davydov)

T2: Implementing Domain-Specific Modelling Languages andGenerators
    (Presenters: R.Pohjonen and J-P.Tolvanen)

T3: Multi-stage Programming in MetaOCaml
    (Presenters: W.Taha, C.Calcagno)

WORKSHOPS

W1: Second MetaOCaml Workshop (Organizers: K.Swadi, W.Taha)

W2: Young Researchers Workshop (Organizers: D.R.Dechow, D.Foetsch,
    S.Kiebusch, S.Perugini, M.J.Rutherford, D.Shestakov)

----------------------------------------------------------------------

PROGRAM COMMITTEE

    Chairs:
    * Robert Glück (U. of Copenhagen)
    * Michael Lowry (NASA)
    Members:
    * Don Batory (U. of Texas, USA)
    * Ira Baxter (Semantic Designs)
    * Cristiano Calcagno (Imperial College)
    * Prem Devanbu (U. of California at Davis)
    * Ulrich Eisenecker (U. of Leipzig)
    * Tom Ellman (Vassar College)
    * Robert Filman (NASA)
    * Zhenjiang Hu (U. of Tokyo)
    * Patricia Johann (Rutgers U.)
    * John Launchbury (Galois)
    * Anne-Françoise Le Meur (U. of Sci. and Tech. Lille)
    * Hong Mei (Peking U.)
    * Nicolas Rouquette (NASA)
    * William Scherlis (CMU)
    * Yannis Smaragdakis (Georgia Inst. of Tech.)
    * Walid Taha (Rice U.)
    * Todd Veldhuizen (Chalmers U. of Tech.)

ORGANIZING COMMITTEE

    General Chair
    * Eugenio Moggi (Genova U.)
    Publicity Chair
    * Eelco Visser (Utrecht U.)
    Workshops and Tutorials Chairs
    * Jeff Gray (U. of Alabama at Birmingham)
    * Andrew Malton (Waterloo U.)
    Local Arrangements Chair
    * Tarmo Uustalu (Inst. of Cybernetics, Tallinn)

----------------------------------------------------------------------