posted by user: HybridSystems || 2010 views || tracked by 1 users: [display]

SCSS 2013 : 5th International Symposium on Symbolic Computation in Software Science


When Jul 5, 2013 - Jul 6, 2013
Where Castle of Hagenberg, Austria
Abstract Registration Due Apr 30, 2013
Submission Deadline May 3, 2013
Notification Due Jun 6, 2013
Final Version Due Jun 17, 2013
Categories    computer algebra   symbolic computation   automated reasoning   applications

Call For Papers

First Call for Papers

* SCSS 2013 *
* 5th International Symposium on Symbolic Computation in Software Science *
* *
* Castle of Hagenberg, Austria, July 5-6, 2013 *
* Research Institute for Symbolic Computation (RISC) *
* Johannes Kepler University Linz *
* *

The purpose of SCSS 2013 is to promote research on theoretical and practical
aspects of symbolic computation in software science. The symposium provides
a forum for active dialog between researchers from several fields of computer
algebra, algebraic geometry, algorithmic combinatorics, computational logic,
and software analysis and verification.

SCSS 2013 solicits both regular and tool papers on all aspects of symbolic
computation and their applications in software science. The topics of the
symposium include, but are not limited to the following:

- automated reasoning
- algorithm (program) synthesis and/or verification
- formal methods for the analysis of network security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine, economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Invited Speakers
Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria)
Joel Ouaknine (Oxford University, UK)

Program Chair
Laura Kovacs (Vienna University of Technology, Austria and Chalmers University of
Technology, Sweden)

Program Committee
Serge Autexier (DFKI, Germany)
Nikolaj Bjorner (Microsoft Research Redmond, US)
Adel Bouhoula (Ecole Superieure des Communications de Tunis, Tunisia)
Iliano Cervesato (Carnegie Mellon University - Qatar Campus, Quatar)
Horatiu Cirstea (LORIA, France)
Jürgen Giesl (RWTH Aachen, Germany)
Tetsuo Ida (University of Tsukuba, Japan)
Tudor Jebelean (RISC, Johannes Kepler University Linz, Austria)
Cezary Kaliszyk (University of Innsbruck, Austria)
Fairouz Kamareddine (Heriot-Watt University, UK)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Stephan Merz (INRIA Lorraine, France)
Ali Mili (New Jersey Institute of Technology, US)
Yasuhiko Minamide (University of Tsukuba, Japan)
André Platzer (Carnegie Mellon University, US)
Stefan Ratschan (Czech Academy of Sciences, Czech Republic)
Enric Rodríguez Carbonell (Technical University of Catalonia, Spain)
Sorin Stratulat (University of Lorraine, Metz, France)
Thomas Sturm (Max Planck Institute for Informatics, Germany)
(More to be confirmed)

Symposium Chair
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)

Important Dates
April 30, 2013: Abstract submission deadline
May 3, 2013: Paper submission deadline
June 3, 2013: Notification of acceptance
June 17, 2013: Camera-ready copy deadline
July 5-6, 2013: SCSS 2013, Castle of Hagenberg, Austria

Submission is via EasyChair:

Submissions are invited in two categories: regular research papers and tool

- Regular research papers must not exceed 12 pages in the EasyChair Class format,
with up to 3 additional pages for technical appendices.
- Tool papers must not exceed 6 pages in the EasyChair Class format.

The proceedings of SCSS 2013 will be published as a RISC technical report.
After the symposium, authors of accepted papers at SCSS 2013 will be invited to
submit an extended version of their paper to the special issue of the
Journal of Symbolic Computation on SCSS. Submitted papers to the JSC special
issue will undergo an additional reviewing.

Related Resources

Federated Learning in IOT Cybersecurity 2021   PeerJ Computer Science - Federated Learning for Cybersecurity in Internet of Things
EMSA 2022   11th International Conference on Embedded Systems and Applications
ICSOFT 2022   17th International Conference on Software Technologies
BIENS 2021   5th International Conference on Biomedical Engineering and Science
ICFEM 2022   23th International Conference on Formal Engineering Methods
BES 2022   6th International Conference on Biomedical Engineering and Science
SYNASC 2021   23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
FUTURE COMPUTING 2022   The Fourteenth International Conference on Future Computational Technologies and Applications
KSEM 2022   International Conference on Knowledge Science, Engineering and Management
IEEE WCCI 2022   IEEE World Congress on Computational Intelligence