From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id AAA15515; Thu, 13 Nov 2003 00:03:11 +0100 (MET) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id AAA15757 for ; Thu, 13 Nov 2003 00:03:07 +0100 (MET) Received: from smtpzilla1.xs4all.nl (smtpzilla1.xs4all.nl [194.109.127.137]) by concorde.inria.fr (8.11.1/8.11.1) with ESMTP id hACN37105533 for ; Thu, 13 Nov 2003 00:03:07 +0100 (MET) Received: from localhost.localdomain (stratego.xs4all.nl [213.84.8.131]) by smtpzilla1.xs4all.nl (8.12.9/8.12.9) with ESMTP id hACN2MLN089178; Thu, 13 Nov 2003 00:02:23 +0100 (CET) Subject: [Caml-list] Preliminary CFP: GPCE'04 -- Generative Programming and Component Engineering From: Eelco Visser Reply-To: Eelco Visser 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" Content-Type: text/plain; charset=UTF-7 Message-Id: <1068678141.2697.273.camel@localhost.localdomain> Mime-Version: 1.0 X-Mailer: Ximian Evolution 1.4.5 Date: Thu, 13 Nov 2003 00:02:22 +0100 Content-Transfer-Encoding: 7bit X-Loop: caml-list@inria.fr X-Spam: no; 0.00; generative:01 generative:01 vancouver:99 2004:99 oopsla:01 2004:99 synthesize:01 notations:01 reuse:01 multi-stage:01 runtime:01 reflection:01 reuse:01 intentional:01 real-world:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk 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: +ACo 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 +ACo Generative techniques for o Product lines and architectures o Embedded systems o Model-driven architecture +ACo Component-based software engineering o Reuse, distributed platforms, distributed systems, evolution, analysis and design patterns, development methods, formal methods +ACo Integration of generative and component-based approaches +ACo Domain engineering and domain analysis o Domain-specific languages (DSLs) including visual and UML-based DSLs +ACo Separation of concerns o Aspect-oriented programming, feature-oriented programming, o Intentional programming, and multi-dimensional separation of concerns +ACo 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 ------------------------------------ +ACo Pre-submission: March 12, 2004 (title +- abstract) +ACo Submission: March 19, 2004 +ACo Conference: 24-28 October 2004 ------------------------------------ Organization ------------------------------------ General chair +ACo Tim Sheard (OGI School of Science +ACY Engineering at OHSU) Program committee chairs +ACo Gabor Karsai (Vanderbilt University) +ACo Eelco Visser (Utrecht University) Program committee +ACo Uwe Assmann (Linkopings Universitet) +ACo Don Batory (University of Texas) +ACo Jan Bosch (Universiteit Groningen) +ACo Jean Bezivin (Universit+AOk de Nantes) +ACo Jim Cordy (Queen's University) +ACo Krzysztof Czarnecki (University of Waterloo) +ACo Mathew Flatt (University of Utah) +ACo Robert Glueck (University of Copenhagen) +ACo George Heineman (Worcester Polytechnic Institute) +ACo Michael Leuschel (University of Southampton) +ACo Karl Lieberherr (Northeastern University) +ACo Simon Peyton Jones (Microsoft Research) +ACo Douglas R. Smith (Kestrel Institute) +ACo Gabriele Taentzer (Technical University of Berlin) +ACo Todd Veldhuizen (Indiana University) +ACo Kris de Volder (University of Britisch Columbia) +ACo Dave Wile (Teknowledge Corp.) +ACo Alexander Wolf (University of Colorado at Boulder) Contact +ACo gpce-chairs+AEA-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