* [Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
@ 2013-11-25 22:09 Dongming Wang
0 siblings, 0 replies; 2+ messages in thread
From: Dongming Wang @ 2013-11-25 22:09 UTC (permalink / raw)
To: sigsam-members
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)
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation
@ 2014-02-28 11:45 Dongming Wang
0 siblings, 0 replies; 2+ messages in thread
From: Dongming Wang @ 2014-02-28 11:45 UTC (permalink / raw)
To: sigsam-members
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)
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2014-02-28 11:49 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2013-11-25 22:09 [Caml-list] JSC special issue on Program Verification, Automated Debugging and Symbolic Computation Dongming Wang
2014-02-28 11:45 Dongming Wang
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).