Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.


[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] CFP SCAM 2012 - submissions due May 4 (abstracts: April 29)


  • Subject: [Frama-c-discuss] CFP SCAM 2012 - submissions due May 4 (abstracts: April 29)
  • From: ba1093 at wayne.edu (Sonia Haiduc)
  • Date: Mon, 16 Apr 2012 19:01:08 -0400

**********************************************************************
*     12th IEEE International Working Conference on Source           *
*                Code Analysis and Manipulation                      *
*                            SCAM 2012                               *
* http://scam2012.cs.usask.ca/                       *
*                                                                    *
*                     September 23 - 24, 2012                        *
*                 Riva Del Garda, Trento, Italy                      *
**********************************************************************
*                     *** CALL FOR PAPERS ***                        *
**********************************************************************

OVERVIEW/SCOPE
**************
The aim of  SCAM  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 behavior
of the  system.  The  analysis and manipulation  of  source  code thus
remains a pressing concern.

COVERED TOPICS AND PAPER FORMATS
********************************
We welcome submission  of  *full papers*  that describe  original  and
significant work in the field of source code analysis and manipulation.
SCAM explicitly solicits results from any theoretical or technological
domain that can be applied to the following or similar topics:
- program transformation
- abstract interpretation
- program slicing
- source level software metrics
- decompilation
- source level testing and verification
- source level optimization
- program comprehension

SCAM  also welcomes *short tool papers* that introduce tools for source
code analysis and  manipulation. Tool papers should describe a concrete
source code analysis or manipulation tool that is available for download
and general use  and can  be  run and demonstrated  at  the conference.

Submitted papers should not be  longer than  10 pages (6 pages for tool
papers). All papers  submitted  should  follow  IEEE  Computer  Society
Press Proceedings Author Guidelines.  The  papers  should  be submitted
electronically in PDF form via the conference web site.Submitted papers
must not have  been previously  published or concurrently submitted for
consideration elsewhere.

In addition  to  the main  and  tool tracks,  SCAM 2012 solicits 2-page
*Frontiers position papers* describing a significantly new  idea in the
theory, technology, application or  engineering of source code analysis
and manipulation systems. Frontiers  authors will join in an open panel
discussion of the frontiers of the area at the conference.

IMPORTANT DATES
***************
Abstract submission (full and frontiers papers): April 29, 2012
Papers submission (full and frontiers papers): May 04, 2012
Tool papers submission: May 31, 2012
Notification full and frontier papers: June 16, 2012
Notification tool papers: June 21, 2012
Camera ready submission: July 06, 2012
Working Conference: September 23 - 24, 2012

PROCEEDINGS
***********
All  accepted  papers  will appear  in  the  proceedings  which  will be
published by the IEEE Computer Society Press. Best papers from SCAM 2012
will be considered for revision, extension, and publication in a special
issue of the Journal of Software: Evolution and Process.

ORGANIZING COMMITTEE
********************
*General Chair*
James R. Cordy, Queen's University, Canada

*Program Co-Chairs*
Mariano Ceccato, Fondazione Bruno Kessler, Italy
Zheng Li, Beijing University of Chemical Technology, China

*Tool Chair*
Chanchal K. Roy, University of Saskatchewan, Canada

*Local Arangements Chair*
Alessandro Marchetto, Fondazione Bruno Kessler, Italy

*Finance Chair*
Dave Binkley, Loyola University Maryland, USA

*Publications Chair*
Dawn Lawrie, Loyola University Maryland, USA

*Publicity Chair*
Sonia Haiduc, Wayne State University, Detroit, USA

*Web chair*
Minhaz Fahim Zibran, University of Saskatchewan, Canada

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120416/021f50b3/attachment.html>