[Moose-dev] scam cfp

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

[Moose-dev] scam cfp

Tudor Girba
Perhaps this might be of interest to some of you.

Cheers,
Doru

Call for Papers and Tool Demo Proposals - SCAM 2010

Tenth IEEE International Working Conference
on Source Code Analysis and Manipulation

12th-13th September 2010,
Timisoara, Romania,
Co-located with ICSM 2010

http://www2010.ieee-scam.org/

Sponsored by IEEE CS (pending)
In cooperation with:
- Semantic Designs Inc., Austin, TX, USA
- Univ. "Politehnica" Timisoara, Romania
- Centre for Research in Evolution, Search and Testing (CREST), King's College London, UK

----------------
Conference aims:
----------------
The aim of this working conference is to bring together researchers and
practitioners working on theory, techniques and applications which
concern analysis and/or manipulation of the source code of computer
systems. While much attention in the wider software engineering

community is properly directed towards other aspects of systems
development and evolution, such as specification, design and
requirements engineering, it is the source code that contains the only
precise description of the behaviour of the system. The analysis and

manipulation of source code thus remains a pressing concern.

---------
Keynotes:
---------
This year SCAM will feature two outstanding keynotes:
- Mark Harman, King's College London, UK
- Andreas Zeller, Saarland University, Germany

---------------------------------
Covered topics and paper formats:
---------------------------------
We welcome submission of papers that describe original and significant
work in the field of source code analysis and manipulation. Topics of
interest include, but are not limited to:

    * program transformation
    * abstract interpretation
    * program slicing
    * source level software metrics
    * decompilation
    * source level testing and verification
    * source level optimization
    * program comprehension

Note that SCAM explicitly solicits results from any theoretical or
technological domain that can be applied to these and similar topics.

Submitted papers should not be longer than 10 pages. We also welcome
submission of 2 page proposals for tool demonstrations expected to be
performed live at the conference. All papers submitted should follow
IEEE Computer Society Press Proceedings Author Guidelines. The

papers should be submitted electronically via the conference web site.
Submitted papers should not have been previously published, and should
not have been concurrently submitted elsewhere.

------------
Proceedings:
------------
All accepted papers will appear in the proceedings which will be
published by the IEEE Computer Society Press.

--------------
Special Issue:
--------------
Best papers from SCAM 2010 will be considered for revision, extension,
and publication in a special issue of the Science of Computer
Programming journal edited by Elsevier.

----------------
Important Dates:
----------------
Deadline for submission:
    Abstract due: 23rd April, 2010
    Full paper due: 30 April, 2010
Notification: 7th June, 2010
Working Conference: 12th-13th September 2010

------------------------
Conference Organization:
------------------------

General Chair
Massimiliano Di Penta, Research Centre on Software Technology,
Universita degli Studi del Sannio, Italy


Program Co-Chairs
Jurgen Vinju, Centrum Wiskunde & Informatica, The Netherlands
Cristina Marinescu, Politehnica University of Timisoara, Romania


Publicity Chair
Zheng Li, CREST Centre, Department of Computer Science, King’s College
London, UK

Finance Chair
Dave Binkley, Computer Science Department, Loyola College in Maryland, USA

Tool Demonstration Chair
Pascal Cuoq, CEA-Recherche Technologique, France

Local Arrangements Chair
Marius Minea, Politehnica University of Timisoara, Romania



-----------------------------------------
Steering Committee and Program Committee:
-----------------------------------------
See the conference Website


--
Jurgen Vinju
- Centrum Wiskunde & Informatica - SEN1
- INRIA Lille - ATEAMS
- Universiteit van Amsterdam

 www: http://jurgen.vinju.org,http://www.cwi.nl, http://www.meta-environment.nl,http://twitter.com/jurgenvinju
skype: jurgen.vinju


--
"Being happy is a matter of choice."




_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev