The Coq mailing list

[Emir Pasalic <pasalic AT cs.rice.edu>]

               CALL FOR PARTICIPATON
----------------------------------------------------------------------

                   Sixth International Conference on
     Generative Programming and Component Engineering (GPCE'07)
                      October 1-3, Salzburg, Austria
                        http://www.gpce.org/07

     Sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT
                         co-located with ESWEEK'07
----------------------------------------------------------------------

Consult http://www.gpce.org/07 for UP-TO-DATE and DETAILED information
especially the calls for workshop contributions

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

IMPORTANT DATES

   *  Online registration now open at http://www.regonline.com/GPCE

   * Sep 6, 2007: Early hotel reservation deadline
   * Sep 30, 2007: Tutorials
   * Oct 1-3, 2007: Technical papers
   * Oct 4: GPCE'07 Workshops

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

SCOPE.  Generative and component approaches are revolutionizing
software development similar to how 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, maintain, and analyze) are key technologies for automating
program development.

GPCE provides a venue for researchers and practitioners interested in
foundational techniques for enhancing the productivity, quality, and
time-to-market in software development that stems from deploying
standard componentry and automating program generation. In addition to
exploring cutting-edge techniques for developing generative and
component-based software, our goal is to foster further
cross-fertilization between the software engineering research
community and the programming languages community. As GPCE is
co-located with ESWEEK this year, we also especially encourage papers
from the embedded systems community. ESWEEK participants are welcome to
attend GPCE'07 technical presentation without additional charge.

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

2 INVITED SPEAKERS:
 * Markus Pueschel: TBA
 * Bran Selic: TBA

20 TECHNICAL PAPERS
  (see http://www.gpce.org/07/ConferenceProgram)

4 TUTORIALS

T1: Model Driven Development and Generative Techniques for Embedded Systems
   (Bruce Trask and Angel Roman)


T2: Building Composable, Domain-specific and General Purpose Extensions 
to Java
   (Eric Van Wyk)

T3: Using Feature Models for Product Derivation
    (Danilo Beuche and Olaf Spinczyk)

T4: Product Line Implementation using Models and Aspects
    (Markus Voelter, Christa Schwanninger and  Iris Groher)


2 WORKSHOPS

W1: APGES 2007 - Workshop on Automatic Program Generation for Embedded 
Systems
    http://www-fp.dcs.st-and.ac.uk/APGES/

W2: AOPLE'07 - Second Workshop on Aspect-Oriented Product Line Engineering
    http://www.softeng.ox.ac.uk/aople/

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

* General Chair
   Charles Consel (LABRI/INRIA, Bordeaux)

* Program Committee

 Program Chair:
       Julia Lawall (DIKU, University of Copenhagen)
 Program Committee Members:
       Edwin Brady (University of St Andrews, UK)
     Johan Brichau (Université Catholique de Louvain, Belgium)
     Rastislav Bodik (UC Berkeley, USA)
     Jacques Carette (McMaster University, Canada)
     Albert Cheng (University of Houston, USA)
     Remi Douence (Ecole des Mines de Nantes-Inria, Lina, France)
     Lidia Fuentes (University of Málaga, Spain)
     Ian Gorton (Pacific Northwest National Lab)
     Jean-Marc Jezequel (IRISA (INRIA & Univ. Rennes 1), France)
     Kyo Kang (Pohang University of Science and Technology, Korea)
     Siau Cheng Khoo (National University of Singapore, Singapore)
     Paul Kelly (Imperial College London, UK)
     Anne-Francoise Le Meur (University of Lille 1, France)
     Christian Lengauer (University of Passau, Germany)
     Sandeep Neema (Vanderbilt University, USA)
     Scott Owens (University of Cambridge, UK)
     Jens Palsberg (UCLA, USA)
     Renaud Pawlak (Rensselaer Polytechnic Institute, USA)
     Zoltan Porkolab (Eotvos Lorand University, Hungary)
     Robby (Kansas State University, USA)
     Peter Sestoft (IT University of Copenhagen, Denmark)
     Jeremy Siek (University of Colorado at Boulder, USA)
     Tony Sloane (Macquarie University, Australia)
     Kevin J. Sullivan (University of Virginia, USA)
     Peri Tarr (IBM Thomas J. Watson Research Center, USA)
Workshops/Tutorials chair:
         Ulrik P. Schultz (University of Southern Denmark, Denmark)
Publicity chair:
     Emir Pasalic (Rice University, USA)

*  Steering Committee:
    Don Batory (University of Texas at Austin, USA)
    Krzysztof Czarnecki (University of Waterloo, Canada)
    Ulrich Eisenecker (University of Leipzig, Germany)
    Stanislaw Jarzabek (National University of Singapore, Singapore)
    Eugenio Moggi (University of Genoa, Italy)
    Greg Morrisett (Harvard University, USA)
    Frank Pfenning (Carnegie Mellon University, USA)
    Tim Sheard (Portland State University, USA)
    Yannis Smaragdakis (University of Oregon, USA)
    Walid Taha (Rice University, USA)


For More Information

   For additional information, clarification, or questions please
   feel free to contact the Program Chair (gpce07 at diku.dk).

Check for latest news at http://gpce07.gpce.org.