Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] CfP: JSC Special Issue on Symbolic Computation...


view this post on Zulip Email Gateway (Aug 19 2022 at 12:06):

From: Temur Kutsia <kutsia@risc.jku.at>
[Please post - apologies for multiple copies.]

First Call for Papers


Special issue of the

JOURNAL OF SYMBOLIC COMPUTATION

on

SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE


http://www.risc.jku.at/people/tkutsia/jsc-scss-2013.html

IMPORTANT DATES


Paper submission: January 10, 2014
Notification of acceptance: April 4, 2014
Publication: Second half of 2014

SCOPE


Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc.).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.

The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposiums
on Symbolic Computation in Software Science - SCSS 2013 and SCSS 2012.
It will be published by Elsevier within the Journal of Symbolic Computation.

Participants of the SCSS 2013 and SCSS 2012 symposiums, as well as other
authors are invited to submit contributions.

EXAMPLES of TOPICS


This special issue focuses on advanced symbolic computation techniques
for algorithm and software testing, property analysis, termination,
verification, induction assertion generation, synthesis, systematic
generation from components, equivalent transformation, library build-up.
Relevant topics include (but are not limited to) the following:

SUBMISSION GUIDELINES


This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.

Authors of papers presented at the SCSS 2013 and SCSS 2012 symposiums
are welcome and encouraged to submit extended and revised versions of
their papers. Furthermore, submissions of papers that are in the scope
of SCSS, but did not appear in SCSS 2013 and SCSS 2012 are welcome as well.

Submitted papers must be in English and include a well written
introduction addressing the following questions in succinct and informal
manner:

- What is the problem?
- Why is the problem important?
- What has been done so far on the problem?
- What is the main contribution of the paper on the problem?
- What aspect of symbolic computation helps solving the problem?
- Is the contribution original? Explain why.
- Is the contribution non-trivial? Explain why.

All the main definitions, theorems and algorithms should be illustrated
by simple but meaningful examples.

SUBMISSION


Please prepare your submission in LaTeX using the JSC document format from:
http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip)

Submission is via the EasyChair submission site at:
https://www.easychair.org/conferences/?conf=jscscss13

GUEST EDITORS


Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

FURTHER INFORMATION


Laura Kovacs <laura.kovacs@chalmers.se>
Temur Kutsia <kutsia@risc.jku.at>

view this post on Zulip Email Gateway (Aug 22 2022 at 13:06):

From: Temur Kutsia <kutsia@risc.jku.at>
[Please post - apologies for multiple copies.]

First Call for Papers


Special issue of the

JOURNAL OF SYMBOLIC COMPUTATION

on

SYMBOLIC COMPUTATION IN SOFTWARE SCIENCE


http://www.risc.jku.at/~tkutsia/organization/jsc-scss-2016.html

IMPORTANT DATES


Abstract submission: June 27, 2016
Paper submission: July 11, 2016
Notification: October 17, 2016
Publication: 2017

SCOPE


Symbolic Computation is the science of computing with symbolic objects
(terms, formulae, programs, representations of algebraic objects etc.).
Powerful symbolic algorithms and methods have been developed during the
past decades like computer algebra, theorem proving, automated
reasoning, software verification, model checking, rewriting,
formalization of mathematics, Groebner bases, characteristic sets,
telescoping for recurrence relations, cylindric algebraic decomposition
and other quantifier elimination techniques, etc.

The purpose of this special issue is to promote research on theoretical
and practical aspects of symbolic computation in software science. The
special issue is related to the topics of the International Symposium on
Symbolic Computation in Software Science: SCSS 2014 and SCSS 2016. It
will be published by Elsevier within the Journal of Symbolic Computation.

Participants of the SCSS 2014 and SCSS 2016 symposia, as well as other
authors are invited to submit contributions.

EXAMPLES of TOPICS


This special issue solicits papers on all aspects of symbolic
computation and their applications in software sciences. The topics
include, but are not limited to the following:

SUBMISSION GUIDELINES


This special issue welcomes original high-quality contributions that
have been neither published in nor simultaneously submitted to any
journals or refereed conferences. Submissions will be peer-reviewed
using the standard refereeing procedure of the Journal of Symbolic
Computation.

Authors of papers presented at the SCSS 2014 and SCSS 2016 symposia are
welcome and encouraged to submit extended and revised versions of their
papers. Furthermore, submissions of papers that are in the scope of
SCSS, but did not appear in SCSS 2014 and SCSS 2016 are welcome as well.

Submitted papers must be in English and include a well written
introduction explicitly addressing the following questions in succinct
and informal manner:

The submissions should be complete (since there is no rigid page limit):

Submissions originated from the papers presented at the symposium should
address all the feedback from the symposium's referee process and Q/A.

SUBMISSION


Please prepare your submission in LaTeX using the JSC document format
from http://www4.ncsu.edu/~hong/jsc.htm
(link to the submission template:
http://www4.ncsu.edu/~hong/jsc/JSC_LaTex_2007_Mar_12.zip.)

Submission is via the EasyChair submission site at
https://easychair.org/conferences/?conf=jscscss2016.

GUEST EDITORS


James H. Davenport (University of Bath, UK)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)


Last updated: Mar 29 2024 at 08:18 UTC