From: Eelco Visser <Eelco-Visser@xs4all.nl>
To: amast@cs.utwente.nl, church-announce@types.bu.edu,
fme@mailbase.ac.uk, mercury-ads@cs.mu.OZ.AU, lprolog@cs.umn.edu,
ecoop-info@ecoop.org, eatcs-it@cs.unibo.it,
PL-L-request@LISTS.UFL.EDU, clean-list@cs.kun.nl,
compulog@doc.imperial.ac.uk, compilers@iecc.com,
clp@comp.nus.edu.sg, appsem@tcs.informatik.uni-muenchen.de,
caml-list@pauillac.inria.fr, categories@mta.ca
Cc: "gpce-chairs@cs.uu.nl" <gpce-chairs@cs.uu.nl>
Subject: [Caml-list] Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering
Date: Thu, 13 Nov 2003 00:02:22 +0100 [thread overview]
Message-ID: <1068678141.2697.273.camel@localhost.localdomain> (raw)
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
reply other threads:[~2003-11-12 23:03 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=1068678141.2697.273.camel@localhost.localdomain \
--to=eelco-visser@xs4all.nl \
--cc=PL-L-request@LISTS.UFL.EDU \
--cc=amast@cs.utwente.nl \
--cc=appsem@tcs.informatik.uni-muenchen.de \
--cc=caml-list@pauillac.inria.fr \
--cc=categories@mta.ca \
--cc=church-announce@types.bu.edu \
--cc=clean-list@cs.kun.nl \
--cc=clp@comp.nus.edu.sg \
--cc=compilers@iecc.com \
--cc=compulog@doc.imperial.ac.uk \
--cc=eatcs-it@cs.unibo.it \
--cc=ecoop-info@ecoop.org \
--cc=fme@mailbase.ac.uk \
--cc=gpce-chairs@cs.uu.nl \
--cc=lprolog@cs.umn.edu \
--cc=mercury-ads@cs.mu.OZ.AU \
--cc=visser@cs.uu.nl \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).