Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed
From: Pasalic Emir <epasalic@gmail.com>
To: prog-lang@diku.dk, caml-list@yquem.inria.fr,
	boost@lists.boost.org, oon-list@oonumerics.org,
	planetmde@imag.fr, haskell-cafe@haskell.org,
	eCommerce List <eCommerce_List@noresponse.cl>,
	gpce-news@cs.rice.edu, aiia@di.unito.it, amast@cs.utwente.nl,
	announce@aosd.net, announcements@oopsla.acm.org,
	appiar@ncc.up.pt, cgn-talk@yahoogroups.com, clean-list@cs.kun.nl,
	clp@comp.nus.edu.sg, compulog@doc.imperial.ac.uk,
	compulognet-parimp@dia.fi.upm.es, compunode@compulog.org,
	compunode@dfki.de, concurrency@cwi.nl,
	coq-club@pauillac.inria.fr, cphc-conf@jiscmail.ac.uk,
	csl@dbai.tuwien.ac.at, cs-logic@cs.indiana.edu,
	curry@informatik.rwth-aachen.de, dbworld@cs.wisc.edu,
	eapls@jiscmail.ac.uk, ecoop-info@ecoop.org, forum@jsoftware.com,
	fsdm@cs.uq.oz.au, gnome-announce-list@gnome.org,
	gulp@di.unipi.it, haskell@haskell.org, lande@irisa.fr,
	lcs@cis.upenn.edu, lfcs-interest@dcs.ed.ac.uk,
	logic-list@cs.rice.edu, logic@theory.lcs.mit.edu,
	mercury-ads@cs.mu.oz.au, plt-scheme@fast.cs.utah.edu,
	pept@kb.ecei.tohoku.ac.jp, python-announce-list@python.org,
	seworld@cs.colorado.edu, stratego@cs.uu.nl,
	template-haskell@haskell.org, theory-logic@cs.cmu.edu,
	types-wg@durham.ac.uk, types@cis.upenn.edu,
	Boost-Interest@lists.boost.org,
	types-announce@lists.seas.upenn.edu
Subject: GPCE'08 Second Call for Participation -- NEWS --
Date: Wed, 10 Sep 2008 09:42:21 -0400	[thread overview]
Message-ID: <794AF652-AA5E-46FF-B1FC-4AFF0D82E334@gmail.com> (raw)

[-- Attachment #1: Type: text/plain, Size: 3917 bytes --]

* NEWS *
* Early registration for OOPSLA and GPCE'08 has been   *
*   extended until Septermber 15 *

< http://gpce08.gpce.org >
Seventh International Conference on
Generative Programming and Component Engineering (GPCE'08)
Nashville, Tennessee
(co-located with OOPSLA 2008)

*** CALL FOR PARTICIPATION ***

GPCE 2008 will be co-located with OOPSLA, in Nashville, Tennessee. The
GPCE technical program will take place on Oct. 19-20, before the OOPSLA
technical program begins. Other GPCE events (workshops and tutorials)
will run in parallel with OOPSLA events on Oct 21-23. GPCE'08 is
sponsored by ACM SIGPLAN, in cooperation with ACM SIGSOFT.  GPCE'08
proceedings published by ACM Press.

For full conference program and the latest news, check the GPCE'08 web  
site
(http://gpce08.gpce.org).

**** REGISTRATION

Registration for GPCE'08 is handled through the OOPSLA registration
page (http://www.regmaster.com/conf/oopsla2008.html). Early
registration deadline has been moved to  Septermber 15.  If  
registering for OOPSLA as well,
the GPCE surcharge is just $200! If registering for GPCE alone, the  
charge is $375
for ACM members.

*** TECHNICAL PROGRAM
Sunday, October 19

8:50-9:00 Welcome

9:00-10:00 Keynote
Session Chair: Julia Lawall

   * Emerging Challenges for Large Scale Systems Integration
     Dr. Andrew Fano (Accenture)

10:30-12:00 Technical papers 1
Session Chair: Julia Lawall


   * Code Generation to Support Static and Dynamic Composition of
     Software Product Lines
     Marko Rosenmueller, Norbert Siegmund, Sven Apel and Gunter Saake.
   * Efficient Compilation Techniques for Large Scale Feature Models
     Marcilio Mendonca, Andrzej Wasowski, Krzysztof Czarnecki and Don  
Cowan.
   * On the Modularity of Feature Interactions
     Chang Hwan Peter Kim, Christian Kaestner and Don Batory.

13:30-15:00 Technical papers 2
Session Chair: Jaakko Jarvi

   * Using Simple Mathematics as a Modeling Language
     Don Batory.
   * From Generic to Specific: Off-line Optimization for
     General Constraint Solver
     Ye Zhang, Torben Amtoft and Flemming Nielson.
   * Generating Incremental Implementations of Object-Set Queries
     Tom Rothamel and Yanhong A. Liu.

15:30-17:00 Technical papers 3
Session Chair: Aniruddha Gokhale

   * Integrating Semantics and Compilation
     Peter Gottschling and Andrew Lumsdaine.
   * Generating Customized Verifiers for Automatically Generated Code
     Ewen Denney and Bernd Fischer.
   * Property Models: From Incidental Algorithms to Reusable Components
     Jaakko Jarvi, Mat Marcus, Sean Parent, John Freeman and Jacob  
Smith.

17:00-17:30 PC chair's report

Monday, October 20

9:00-10:00 Keynote
Session Chair: William Cook

   * Fundamentalist Functional Programming
     Erik Meijer (Microsoft)

10:30-12:00 Technical papers 4
Session Chair: William Cook

   * Feature Featherweight Java: A Calculus for Feature-Oriented
     Programming and Stepwise Refinement
     Sven Apel, Christian Kastner and Christian Lengauer.
   * Lightweight Dependent Classes
     Tetsuo Kamina and Tetsuo Tamai.
   * Typing Communicating Component Assemblages
     Michael Lienhardt, Vivien Quema, Alan Schmitt and Jean-Bernard  
Stefani.

14:00-15:00 Technical papers 5
Session Chair: David Abrahams

   * Polymorphic Embedding of DSLs
     Christian Hofer, Klaus Ostermann, Tillmann Rendel and Adriaan  
Moors.
   * Pantaxou: a Domain-Specific Language for Developing
     Safe Coordination Services
     Julien Mercadal, Nicolas Palix, Charles Consel and Julia Lawall.

15:30-17:00 Technical papers 6
Session Chair: Mark Grechanik

   * Program Refactoring using Functional Aspects
     Sven Apel, Christian Kastner and Don Batory.
   * Rigorous and Practical Refactoring-Based Framework Upgrade
     Ilie Savga, Michael Rudolf, Sebastian Gotz and Uwe Assmann.
   * An abstraction for reusable MDD components
     Vinay Kulkarni and Sreedhar Reddy.

[-- Attachment #2: Type: text/html, Size: 5493 bytes --]

                 reply	other threads:[~2008-09-10 13:42 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=794AF652-AA5E-46FF-B1FC-4AFF0D82E334@gmail.com \
    --to=epasalic@gmail.com \
    --cc=Boost-Interest@lists.boost.org \
    --cc=aiia@di.unito.it \
    --cc=amast@cs.utwente.nl \
    --cc=announce@aosd.net \
    --cc=announcements@oopsla.acm.org \
    --cc=appiar@ncc.up.pt \
    --cc=boost@lists.boost.org \
    --cc=caml-list@yquem.inria.fr \
    --cc=cgn-talk@yahoogroups.com \
    --cc=clean-list@cs.kun.nl \
    --cc=clp@comp.nus.edu.sg \
    --cc=compulog@doc.imperial.ac.uk \
    --cc=compulognet-parimp@dia.fi.upm.es \
    --cc=compunode@compulog.org \
    --cc=compunode@dfki.de \
    --cc=concurrency@cwi.nl \
    --cc=coq-club@pauillac.inria.fr \
    --cc=cphc-conf@jiscmail.ac.uk \
    --cc=cs-logic@cs.indiana.edu \
    --cc=csl@dbai.tuwien.ac.at \
    --cc=curry@informatik.rwth-aachen.de \
    --cc=dbworld@cs.wisc.edu \
    --cc=eCommerce_List@noresponse.cl \
    --cc=eapls@jiscmail.ac.uk \
    --cc=ecoop-info@ecoop.org \
    --cc=forum@jsoftware.com \
    --cc=fsdm@cs.uq.oz.au \
    --cc=gnome-announce-list@gnome.org \
    --cc=gpce-news@cs.rice.edu \
    --cc=gulp@di.unipi.it \
    --cc=haskell-cafe@haskell.org \
    --cc=haskell@haskell.org \
    --cc=lande@irisa.fr \
    --cc=lcs@cis.upenn.edu \
    --cc=lfcs-interest@dcs.ed.ac.uk \
    --cc=logic-list@cs.rice.edu \
    --cc=logic@theory.lcs.mit.edu \
    --cc=mercury-ads@cs.mu.oz.au \
    --cc=oon-list@oonumerics.org \
    --cc=pept@kb.ecei.tohoku.ac.jp \
    --cc=planetmde@imag.fr \
    --cc=plt-scheme@fast.cs.utah.edu \
    --cc=prog-lang@diku.dk \
    --cc=python-announce-list@python.org \
    --cc=seworld@cs.colorado.edu \
    --cc=stratego@cs.uu.nl \
    --cc=template-haskell@haskell.org \
    --cc=theory-logic@cs.cmu.edu \
    --cc=types-announce@lists.seas.upenn.edu \
    --cc=types-wg@durham.ac.uk \
    --cc=types@cis.upenn.edu \
    /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