CC 2006
        15th International Conference on Compiler Construction
                  A member conference of ETAPS 2006

                          March 25 - April 2
                           Vienna, Austria

                    http://www.st.cs.uni-sb.de/cc/


                           CALL FOR PAPERS


CC is concerned with processing of programs in the most general sense:
analyzing or transforming input which represents some form of
description of how a system operates, and including traditional
compiler construction as a special case.

Topics of interest include, but are not limited to:

* _compilation and interpretation techniques_, including program
  representation and analysis, code generation and code optimization

* _run-time techniques_, including memory management and dynamic and
  just-in-time compilation

* _programming tools_, from refactoring editors to checkers to compilers
  to virtual machines to debuggers

* _techniques for specific domains_, such as secure, parallel,
  distributed, embedded, mobile, or low power code; or hardware

* _design of novel language constructs_ and their implementation

* any analogue of such above items in a system not traditionally
  viewed as compiler/interpreter/debugger.

The proceedings will be published in the Springer-Verlag Lecture Notes
in Computer Science (LNCS) series.



Dates
=====

Abstracts due:           Friday October 7, 2005
Submissions due:         Friday October 14, 2005 by 11:59PM PDT
Acceptance notification: Friday December 9, 2005
Camera-ready papers due: Friday January 6, 2006
Conference:              March 25 - April 2

All deadlines are strict - no extensions shall be given.


Submissions
===========

As with other ETAPS conferences, CC accepts two types of contributions: 
*research papers* and *tool demonstration papers*. 

Both types of contributions will appear in the proceedings and have
oral presentations during the conference. Both are evaluated by the 
CC Program Committee.

Research papers
===============

Research papers cover one or more of the topics above, including tool
development and case studies from a perspective of scientific
research.  They should clearly state the problem this work is
addressing, propose a solution, and evaluate the solution.

Submissions *must* adhere to the ETAPS 2006 submission guidelines.
In particular, they should:

* present original research which is unpublished and not submitted
  elsewhere (conferences or journals); in particular, simultaneous
  submission of the same contribution to multiple ETAPS conferences is
  forbidden

* be in English

* be prepared using the Springer-Verlag LNCS style

* come in PDF format viewable and printable by Acrobat Reader

* have at most *15 pages*, including all figures and bibliography

* have their abstract sent in by the given date (see above)

* be submitted by the given date (see above).

Submissions deviating from the ETAPS 2006 submission guidelines will
be rejected without review.


Tool demonstration papers
-------------------------

Tool demonstration papers present tools based on the processing of
programs and the aforementioned technologies.

Submissions *must* adhere to the ETAPS 2006 submission guidelines.
In particular, they should:

* be in English presenting original research

* be prepared using the Springer-Verlag LNCS style

* come in PDF format viewable and printable by Acrobat Reader

* consist of two parts:

      - The first part, at most *four pages*, should describe the tool
        presented.  Please include the URL of the tool (if available)
        and provide information which illustrates the maturity and
        robustness of the tool.  (This part will be included in the
        proceedings.)

      - The second part, at most *six pages*, should explain how the
        demonstration will be carried out and what it will show,
        including screen dumps and examples.  (This part will be _not_
        be included in the proceedings, but will be evaluated for
        acceptance.)

* have their abstract sent in by the given date (see above)

* be submitted by the given date (see above).

Submissions deviating from the ETAPS 2006 submission guidelines will
be rejected without review.

 
People
======

Conference Chairs
-----------------

* Alan Mycroft, University of Cambridge
* Andreas Zeller, Saarland University


Program Committee
-----------------

* Radhia Cousot (CNRS, France)
* Koen De Bosschere (Ghent University, Belgium)
* Arie van Deursen (CWI, Netherlands)
* Michael Ernst (Massachusetts Institute of Technology)
* Sergei Gorlatch (U Muenster, Germany)
* Chris Hankin (Imperial College, UK)
* Jens Knoop (TU Vienna, Austria)
* Shriram Krishnamurthi (Brown University, Rhode Island)
* K. Rustan M. Leino (Microsoft Research, Washington)
* Oege de Moor (Oxford University, UK)
* Greg Morrisett (Harvard University, Massachusetts)
* Alan Mycroft (University of Cambridge, UK), Co-Chair
* Morten Rhiger (Roskilde University, Denmark)
* Barbara Ryder (Rutgers University, New Jersey)
* Frank Tip (IBM Research, New York)
* Des Watson (University of Sussex, UK)
* Kwangkeun Yi (Seoul National University, Korea)
* Andreas Zeller (Saarland University, Germany), Co-Chair
    

Visit the CC 2006 Web site at http://www.st.cs.uni-sb.de/cc/