Special Issue of Journal of Symbolic Computation on
Program Verification, Automated Debugging and Symbolic Computation
http://pas2013.cc4cm.org/jsc-pas.html
CALL FOR PAPERS
Important dates
- Submission of papers: March 31, 2014
- Notification of acceptance: August 31, 2014
- Publication of the special issue: Spring 2015
Specific topics (include, but are not limited to)
- Theories and methodologies for program verification and testing
- Model checking, fault locating and program repairing
- Symbolic computation and automated reasoning for program verification
- Termination, correctness and complexity analysis of programs
- Automated program synthesis and transformation
- Logic and semantics for automated and algorithmic debugging
- Program debugging paradigms and techniques
- Symbolic constraint solving for verification and debugging
- Tools, prototypes, empirical and case studies
Guest editors
- Tudor Jebelean (RISC, Johannes Kepler University, Austria)
- Wei Li (SKLSDE, Beihang University, China)
- Dongming Wang (LIP6, CNRS-UPMC-INRIA, France)
------------------------------------------------------------------------------
Shape the Mobile Experience: Free Subscription
Software experts and developers: Be at the forefront of tech innovation.
Intel(R) Software Adrenaline delivers strategic insight and game-changing
conversations that shape the rapidly evolving mobile landscape. Sign up now.
http://pubads.g.doubleclick.net/gampad/clk?id=63431311&iu=/4140/ostg.clktrk
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
