Email Gateway (Aug 19 2022 at 10:32): Email Gateway (Aug 19 2022 at 10:32):From: Temur Kutsia <kutsia@risc.jku.at>
[Please post - apologies for multiple copies.]
First Call for Papers
===================================================================
SCSS 2013
Symbolic Computation in Software Science
5th International Symposium
Castle of Hagenberg, Austria, July 5-6, 2013
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University Linz
http://www.risc.jku.at/conferences/scss2013/
===================================================================
Scope
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:
formalization and computerization of knowledge (maths, medicine,
economy, etc.)
component-based programming
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
Submission is via EasyChair:
https://www.easychair.org/conferences/?conf=scss2013.
Submissions are invited in two categories: regular research papers and
tool papers.
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.
Publication
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.
Last updated: Apr 23 2024 at 20:15 UTC