<P>(Apologies for multiple posting)<BR>=====================<BR>First Call for Papers<BR>=====================</P>
<P>SCSS 2016<BR>The 7th International Symposium on<BR>Symbolic Computation in Software Science</P>
<P>Ochanomizu University, Tokyo, Japan<BR>March 28 - 31, 2016<BR><A href="http://www.i-eos.org/conferences/SCSS2016" target="_blank">http://www.i-eos.org/conferences/SCSS2016</A></P>
<P>Important Dates<BR>---------------<BR>November 13, 2015: Abstract submission<BR>November 20, 2015: Paper submission<BR>January 5, 2016: Notification<BR>March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo</P>
<P>Invited Speakers<BR>----------------<BR>Jacques Fleuriot (University of Edinburgh, UK)<BR>TBA</P>
<P>Tutorials<BR>---------<BR>There will be tutorial lectures on symbolic computation.</P>
<P>Scope<BR>--------<BR>The purpose of SCSS 2016 is to promote research on theoretical and<BR>practical aspects of symbolic computation in software science. The<BR>symposium provides a forum for active dialog between researchers from<BR>several fields of computer algebra, algebraic geometry, algorithmic<BR>combinatorics, computational logic, and software analysis and verification.</P>
<P>SCSS 2016 solicits regular papers on all aspects of<BR>symbolic computation and their applications in software science. The<BR>topics of the symposium include, but are not limited to the following:</P>
<P>- automated reasoning<BR>- algorithm (program) synthesis and/or verification<BR>- formal methods for the analysis of network and system security<BR>- termination analysis and complexity analysis of algorithms (programs)<BR>- extraction of specifications from algorithms (programs)<BR>- related theorem proving methods and techniques<BR>- proof carrying code<BR>- generation of inductive assertion for algorithm (programs)<BR>- algorithm (program) transformations<BR>- formalization and computerization of knowledge (maths, medicine, economy, etc.)<BR>- component-based programming<BR>- computational origami<BR>- query languages (in particular for XML documents)<BR>- semantic web and cloud computing</P>
<P><BR>Program Chair<BR>-------------<BR>James Davenport (University of Bath, UK)</P>
<P>Honorary Chair<BR>---------------<BR>Bruno Buchberger (Johannes Kepler University, Austria)</P>
<P>General Chair<BR>-------------<BR>Tetsuo Ida (University of Tsukuba, Japan)</P>
<P>Program Committee<BR>-----------------<BR>Kenichi Asai (Ochanomizu University, Japan)<BR>Adel Bouhoula (Carthage University, Tunisia)<BR>Changbo Chen (Chinese Academy of Sciences, China)<BR>Matthew England (Coventry University, UK)<BR>Jacques Garrigue (Nagoya University, Japan)<BR>Cezary Kaliszyk (University of Innsbruck, Austria)<BR>Yukiyoshi Kameyama (University of Tsukuba, Japan)<BR>Michael Kohlhase (Jacobs University, Germany)<BR>Temur Kutsia (Johannes Kepler University, Austria)<BR>Assia Mahboubi (Inria, France)<BR>Yasuhiko Minamide (Tokyo Institute of Technology, Japan)<BR>Yoshihiro Mizoguchi (Kyushu University, Japan)<BR>Julien Narboux (Strasbourg University, France)<BR>Renaud Rioboo (ENSIIE, France)<BR>Tateaki Sasaki (University of Tsukuba, Japan)<BR>Dongming Wang (Beihang University and CNRS, China and France)<BR>Stephen Watt (University of Waterloo, Canada)<BR>Kazuhiro Yokoyama (Rikkyo University, Japan)</P>
<P>Local Arrangement Committee<BR>---------------------------<BR>Kenichi Asai (Ochanomizu University, Japan)<BR>Houssem Chatbri (University of Tsukuba, Japan)<BR>Fadoua Ghourabi (Ochanomizu University, Japan) (Chair)<BR>Sosuke Moriguchi (Kwansei Gakuin University, Japan)<BR>Akira Terui (University of Tsukuba, Japan)</P>
<P>Submission<BR>----------<BR>Submission is via EasyChair:</P>
<P><A href="https://easychair.org/conferences/?conf=scss2016" target="_blank">https://easychair.org/conferences/?conf=scss2016</A></P>
<P>Submissions of regular research papers are invited. Regular research papers must not exceed 12 pages in the EasyChair LaTeX Class format (<A href="http://www.easychair.org/publications/easychair.zip" target="_blank">www.easychair.org/publications/easychair.zip</A>), with up to 3 additional pages for technical appendices.</P>
<P>Publication<BR>----------<BR>The proceedings of SCSS 2016 will be published in the EasyChair Proceedings in Computing (EPiC). </P>
<P>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.</P>