CFP
SC^2: Symbolic Computation and Satisfiability Checking |
Website | http://www.sc-square.org/CSA/JSC.html |
Submission link | https://easychair.org/conferences/?conf=sc2 |
Submission deadline | February 15, 2018 |
Topics: combined scsc tools symbolic computation satisfiability checking decision procedures in smt/ca systems
The SC2 Special Issue of the Journal of Symbolic Computation welcomes articles on the topic of the EU FETOPEN CSA SC2 (712689) . The deadline is 15 February 2018, and articles should already be in JSC format: see the author information pack . While there is no hard page limit, articles should not be unnecessarily long.
Submission Guidelines
All papers must be original and not simultaneously submitted to another journal or conference. We welcome full papers describing the interaction of Symbolic Computation and Satisfiability Checking, including (but not limited to)
- Decision procedures and their embedding into SMT solvers and computer algebra systems
- Satisfiability Checking for Symbolic Computation
- Symbolic Computation for Satisfiability Checking
- Applications relying on both Symbolic Computation and Satisfiability Checking
- Combination of Symbolic Computation and Satisfiability Checking tools.
Editors
- James Davenport
- Matthew England
- Alberto Griggio
- Thomas Sturm
- Cesare Tinelli
Contact
All questions about submissions should be emailed to sc2-jsc@lists.bath.ac.uk