[Template-haskell] CfC: GPCE'05 - Generative Programming and Component Engineering

Eelco Visser visser at cs.uu.nl
Thu Jan 6 08:28:56 EST 2005


                      FIRST CALL FOR CONTRIBUTIONS
----------------------------------------------------------------------

                    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

AVAILABLE: Calls for WORKSHOP and TUTORIAL PROPOSALS
FORTHCOMING: Calls for papers and demonstrations (by mid January)

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

IMPORTANT DATES

    * Feb 25, 2005: Submission of workshop and tutorial proposals
    * Mar 18, 2005: Notification for workshop and tutorial proposals

    * 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 

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

Contributions to GPCE should belong to the following categories:

WORKSHOPS providing intensive collaborative environments, where
generative and component technologists meet to discuss (and solve)
challenging problems facing the field.

TUTORIALS giving a deeper or broader insight than conventional
lectures (they are expected to extend over a half or a full day).
Tutorials can be on any theme from or related to the topics above:
surveys, experience reports or specialized research topics.  However,
a tutorial is expected to attract a reasonable number of participants
(at least 10).

PAPERS reporting research results and/or experience related to the
topics above (PC co-chairs can advise on appropriateness).  We
especially encouraged 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.

DEMOS covering novel tools, techniques or ideas; work in progress; or
proven techniques used in real world scenarios.  Demos will be
selected based on technical content, practical or academic relevance,
and their feasibility w.r.t. the infrastructure locally available.
Presentations must focus on the technical content (product marketing
would be inappropriate).

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

ORGANIZATION

    General Chair
    * Eugenio Moggi (Genova University, Italy)

    Program Committee Chairs
    * Robert Glueck (University of Copenhagen, Denmark)
    * Michael Lowry (NASA, USA)

    Publicity Chair
    * Eelco Visser (Utrecht University, The Netherlands)

    Workshops and Tutorials Chairs
    * Jeff Gray (University of Alabama at Birmingham, USA)
    * Andrew Malton (Waterloo University, Canada)

    Local Arrangements Chair
    * Tarmo Uustalu (Institute of Cybernetics, Tallinn)

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



More information about the template-haskell mailing list