[Haskell] GPCE'10 First Call for Papers

[Bruno Oliveira]

Hi all,

Haskell is a great language for developing generative programming tools
and developing highly expressible and reusable components (think of all
the cool uses of type classes, type families or GADTs). The GPCE
conference is interested to hear about  cutting-edge techniques of  
generative
and component-based software. You can show what Haskell can do in this
area by submitting a research paper or a tool demonstration to GPCE!

------------------------------------------------------------------------
                         CALL FOR PAPERS

                 Ninth International Conference on
          Generative Programming and Component Engineering
                        (GPCE 2010)

                     October 10-13, 2010
                   Eindhoven, The Netherlands
                   (co-located with SLE 2010)

                      http://www.gpce.org
------------------------------------------------------------------------

IMPORTANT DATES

* Submission of abstracts: May 17, 2010
* Submission of papers: May 24, 2010
* Author notification: Jul 5, 2010

SCOPE

Generative and component approaches are revolutionizing software
development similar to how automation and components revolutionized
manufacturing. Generative Programming (concerning programs that
synthesize other programs), Component Engineering (concerning
modularity in application design), and Domain-Specific Languages
(DSLs) (concerning compact domain-specific notations for expressing
programs) are key technologies for automating program development.

The International Conference on Generative Programming and Component
Engineering is a venue for researchers and practitioners interested in
techniques that, through deploying components and program generation,
increase programmer productivity, improve software quality, and
shorten the time-to-market of software products.  In addition to
exploring cutting-edge techniques of generative and component-based
software, our goal is to foster further cross-fertilization between
the software engineering and the programming languages research
communities.

SUBMISSIONS

Research papers:

10 pages in SIGPLAN proceedings style (sigplanconf.cls) reporting
original research results that contribute to scientific knowledge in
the areas listed below (the PC chair can advise on appropriateness).

Tool demonstrations:

Tool demonstrations should present tools that implement novel
generative and component-based software engineering techniques, and
are available for use. Any of the GPCE'10 topics of interest are
appropriate areas for research demonstrations.  Purely commercial tool
demonstrations will not be accepted. Submissions should contain a tool
description of 4 pages in SIGPLAN proceedings style (sigplanconf.cls)
and a demonstration outline of up to 2 pages text plus 2 pages screen
shots. The four page description will, if the demonstration is accepted,
be published in the proceedings. The 2+2 page demonstration outline
will only be used by the PC for evaluating the submission.

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, step-wise refinement, generic programming
     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-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, formal methods
* Integration of generative and component-based approaches
* Domain engineering and domain analysis
     o Domain-specific languages 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 of the above

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 (chairs at gpce.org).

ORGANIZATION

General Chair:    Eelco Visser (Delft University of Technology, The  
Netherlands)
Program Chair:    Jaakko J‰rvi (Texas A&M University, USA)
Publicity Chair:  Giorgios Economopoulos (University of Southampton, UK)

Program Committee

* Sven Apel (University of Passau, Germany)
* Don Batory (University of Texas, USA)
* Martin Bravenboer (LogicBlox, USA)
* Krzysztof Czarnecki (University of Waterloo, Canada)
* Charles Consel (INRIA / LaBRI, France)
* Gabriel Dos Reis (Texas A&M University, USA)
* Ewen Denney (RIACS/NASA Ames, USA)
* Ronald Garcia (Carnegie Mellon University, USA)
* Magne Haveraaen (University of Bergen, Norway)
* Johan Lilius (≈bo Akademi University, Finland)
* Andres Lˆh (Utrecht University, The Netherlands)
* Mat Marcus (Canyonlands Software Design, USA)
* Marjan Mernik (University of Maribor, Slovenia)
* Klaus Ostermann (University of Marburg, Germany)
* Bruno C. d. S. Oliveira (Seoul National University, Korea)
* Hridesh Rajan (Iowa State University, USA)
* Sukyoung Ryu (Korea Advanced Institute of Science and Technology)
* Jo„o Saraiva (Minho University, Portugal)
* Sibylle Schupp (Hamburg University of Technology, Germany)
* Kwang Yi (Seoul National University, Korea)
* Mirko Viroli (University of Bologna, Italy)
* Alessandro Warth (Viewpoints Research Institute, USA)
* Edwin Westbrook (Rice University, USA)
* Jeremiah Willcock (Indiana University, USA)