[TYPES/announce] 1st cfp: STS'06: Software Transformation Systems Workshop at GPCE06/OOPSLA06 (Portland, Oregon, October 2006)

[Software Transformation Systems Workshop 2006]

Typing of some software transformation systems seems to be a technically
very difficult problem. Participation from the types community may
therefore be mutually beneficial.
________________________________________________________________________
           STS'06:  Software Transformation Systems Workshop 
            http://www.program-transformation.org/Sts/STS06
                             part of the

                   Fifth international conference on 
       Generative Programming and Component Engineering (GPCE'06)
             http://www.program-transformation.org/GPCE06/

                 October 22-26, 2006, Portland, Oregon

                        colocated with OOPSLA'06

________________________________________________________________________

Workshop Organisers 
      * Magne Haveraaen, University of Bergen, Norway
        http://www.ii.uib.no/~magne/
      * Jim Cordy, Queen's University, Canada 
        http://www.cs.queensu.ca/~cordy/
      * Jan Heering, CWI, Amsterdam, Netherlands
        http://homepages.cwi.nl/~jan/
      * Eelco Visser, Utrecht University, Netherlands
        http://www.cs.uu.nl/~visser/


Workshop schedule:
      * 2 page position paper submission deadline: July 15, 2006
      * Notification of acceptance: August 31, 2006
      * GPCE/OOPSLA early registration deadline: September 14, 2006
      * Workshop day: Sunday October 22, 2006


Motivation 
----------
Generative software techniques typically transform components or
codefragments, instantiate patterns etc. in some way or another to
generate new code fragments, components or programs. Often this needs
software support beyond that of existing compilers, i.e., some kind of
system which takes software as inputs and produces software as output. 

Software transformation systems are tools which are built for such
transformations. They range from specific tools for one purpose, via
simple pattern matching systems, to general transformation systems which
are easily programmed to do any reasonable transformation. Thus the more
general tools may be treated as meta-tools for generative programming. 

Following on the success of STS'04, this workshop is once again designed
to bring together people working on software transformation systems and
those with an interest in software transformation systems as a
generative tool, with the aim of investigating the use of software
transformation tools as tools to support generative programming. We want
to look at various generative techniques and suggest how these may be
supported by various general purpose transformation tools. This may lead
to a more general understanding of common principles for supporting
generative methods. 

This year's workshop will particularly focus on architecture, reuse,
implementation (data representations and algorithms), application models
and benchmarks, although contributions on a wide range of topics in the
application of software transformation systems in generative techniques
are sought. 


Workshop format 
---------------
The workshop will have a small number of participants, around 20,
selected on the basis of short position papers submitted to the
organisers. The aim is to let people with different perspectives meet in
order to allow fruitful interaction. 


Submission of intent to participate 
-----------------------------------
If you find this workshop interesting you should send an e-mail to
sts06 at ii.uib.no with your intent to participate and your area of
expertise/interest, and/or a short, max 2 page, position paper intended
as an abstract of a presentation. 

We prefer plain ISO or UTF-8 documents (txt), but latex (only use
standard packages) and pdf formats are also acceptable.


-- 
http://www.program-transformation.org/Sts/STS06
http://www.program-transformation.org/Sts/MailingList