posted by organizer: fadouaocha || 3069 views || tracked by 6 users: [display]

SCSS 2016 : The 7th International Symposium on Symbolic Computation in Software Science

FacebookTwitterLinkedInGoogle

Link: http://www.i-eos.org/conferences/SCSS2016
 
When Mar 28, 2016 - Mar 31, 2016
Where Tokyo
Abstract Registration Due Nov 13, 2015
Submission Deadline Nov 20, 2015
Notification Due Jan 5, 2016
Categories    symbolic computing   algorithm synthesis   algorithm verification   theorem proving
 

Call For Papers

SCSS 2016
The 7th International Symposium on
Symbolic Computation in Software Science

Ochanomizu University, Tokyo, Japan
March 28 - 31, 2016
http://www.i-eos.org/conferences/SCSS2016
Submissions to https://easychair.org/conferences/?conf=scss2016

Important Dates
-----
November 20, 2015: Abstract submission (extended)
November 27, 2015: Paper submission (extended)
January 5, 2016: Notification
March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo

Invited Speakers
------
Peter Paule (Johannes Kepler University Linz, Austria)
Symbolic Surprises - Unexpected Computational Findings in Combinatorics, Number Theory, and Special Functions

Jacques Fleuriot (University of Edinburgh, UK)
Collaborative Theorem Proving: From Symbolic to Social Computation

Tutorial
---
There will be tutorial lectures on symbolic computation.
Tetsu Yamaguchi and colleagues (Maple Soft)
Xavier Dahan (Ochanomizu University, Japan)


Scope
---
The purpose of SCSS 2016 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 2016 solicits regular 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 and system security
- termination analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- related 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


Program Chair
-----
James Davenport (University of Bath, UK)

Honorary Chair
-----
Bruno Buchberger (Johannes Kepler University, Austria)

General Chair
-----
Tetsuo Ida (University of Tsukuba, Japan)

Program Committee
---------
Kenichi Asai (Ochanomizu University, Japan)
Adel Bouhoula (Carthage University, Tunisia)
Changbo Chen (Chinese Academy of Sciences, China)
Matthew England (Coventry University, UK)
Jacques Garrigue (Nagoya University, Japan)
Cezary Kaliszyk (University of Innsbruck, Austria)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Michael Kohlhase (Jacobs University, Germany)
Temur Kutsia (Johannes Kepler University, Austria)
Assia Mahboubi (Inria, France)
Yasuhiko Minamide (Tokyo Institute of Technology, Japan)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Julien Narboux (Strasbourg University, France)
Renaud Rioboo (ENSIIE, France)
Tateaki Sasaki (University of Tsukuba, Japan)
Dongming Wang (Beihang University and CNRS, China and France)
Stephen Watt (University of Waterloo, Canada)
Kazuhiro Yokoyama (Rikkyo University, Japan)

Local Arrangement Committee
-----------
Kenichi Asai (Ochanomizu University, Japan)
Houssem Chatbri (University of Tsukuba, Japan)
Fadoua Ghourabi (Ochanomizu University, Japan) (Chair)
Sosuke Moriguchi (Kwansei Gakuin University, Japan)
Akira Terui (University of Tsukuba, Japan)

Submission
----
Submission is via EasyChair:

https://easychair.org/conferences/?conf=scss2016

Submissions of regular research papers are invited. Regular research papers must not exceed 12 pages in the EasyChair LaTeX Class format (www.easychair.org/publications/easychair.zip), with up to 3 additional pages for technical appendices.


Publication
----
The proceedings of SCSS 2016 will be published in the EasyChair Proceedings in Computing (EPiC).

After the symposium, we will have a combined special issue of the Journal of Symbolic Computation on SCSS 2014 & 2016. The full version of selected papers at SCSS 2014 & 2016 will be considered for the publication of the special issue subjected to the normal peer review process of the journal. The submission deadline of the special issue will be 2 months after the symposium.

Related Resources

SYNASC 2017   19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ICCDE--Ei and Scopus 2018   ACM - 2018 International Conference on Computing and Data Engineering (ICCDE 2018)--Ei Compendex and Scopus
ICANN 2017   International Conference on Artificial Neural Networks 2017
SCSS 2017   The 8th International Symposium on Symbolic Computation in Software Science
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
COMIT 2017   International Conference on Computer Science and Information Technology
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
GECCO 2018   Genetic and Evolutionary Computation Conference
ICSA 2018   International Conference on Software Architecture
WCCI 2018   World Congress on Computational Intelligence