Email Gateway (Aug 22 2022 at 11:20): Email Gateway (Aug 22 2022 at 11:20):From: Temur Kutsia <kutsia@risc.jku.at>
=====================
Second 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 13, 2015: Abstract submission
November 20, 2015: Paper submission
January 5, 2016: Notification
March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo
Invited Speakers
- Peter Paule (Johannes Kepler University Linz, Austria)
- Jacques Fleuriot (University of Edinburgh, UK)
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:
formalization and computerization of knowledge (maths, medicine,
economy, etc.)
component-based programming
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.
Last updated: Apr 30 2024 at 08:19 UTC