posted by user: manuel_maarek || 1665 views || tracked by 2 users: [display]

SCSS 2012 : International Symposium on Symbolic Computation in Software Science


When Dec 15, 2012 - Dec 17, 2012
Where Gammarth, Tunisia
Abstract Registration Due Aug 23, 2012
Submission Deadline Aug 30, 2012
Notification Due Oct 30, 2012
Final Version Due Nov 30, 2012

Call For Papers

SCSS 2012 CFP Extended deadline!

International Symposium on Symbolic Computation in Software Science,
December 15-17 2012
Gammarth, Tunisia

Symbolic computation is the science of computing with symbolic objects
(terms, formulae, programs, algebraic objects, geometrical objects,
etc). Powerful symbolic algorithms have been developed during the past
decades and have played an influential role in theorem proving,
automated reasoning, software verification, model checking, rewriting,
formalisation of mathematics, network security, Groebner bases,
characteristic sets, etc.

The international Symposium on "Symbolic Computation in Software
Science" is the fourth in the SCSS workshop series. SCSS 2008 and
2010took place at the Research Institute for Symbolic Computation
(RISC), Hagenberg, Austria, and, SCSS 2009 took place in Gammarth,
Tunisia. These symposium grew out of internal workshops that bring
together researchers from SCORE (Symbolic Computation Research Group)
at the University of Tsukuba, Japan, Theorema Group at the Research
Institute for Symbolic Computation, Johannes Kepler University Linz,
Austria, SSFG (Software Science Foundation Group) at Kyoto University,
Japan, and Sup'Com (Higher School of Communication of Tunis) at the
University of Carthage, Tunisia. These workshops have been successful
and in this new edition, we would like to extend the range of symbolic
computation methods in their applications.

In this symposium, we solicit papers on all aspects of
symbolic computations and their applications. 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 and/or complexity analysis of algorithms/programs
*extraction of specifications from algorithms
*theorem proving methods and techniques
*proof-carrying code
*generation of inductive assertion for algorithm (programs)
*algorithm (program) transformations
*formalisation and computerisation of knowledge (maths, medicine,
economy, etc.)
*component-based programming
*computational origami
*query languages (in particular for XML documents)
*semantic web and cloud computing

SCSS 2012 will provide an opportunity for developers of software
related to symbolic computation, to promote their software
systems. SCSS 2012 will have a special session for software systems
descriptions where authors can present their projects and demonstrate
their software. Submission in this category of software demo should
have a link to project pages and ideally a downloadable software.

Submissions for full papers must not exceed 10 pages (in font 10 or
higher), with up to 5 additional pages for references and technical
appendices. Shorter papers, associated with system descriptions are
welcome. The paper's main results must not be published or submitted
for publication in refereed venues, including journals and other
scientific meetings. It is expected that each accepted paper be
presented at the meeting by one of its authors.

Papers will be reviewed and evaluated with respect to relevance,
clarity, quality, originality, and impact. Proposed contributions
should be in English, and consist of a scholarly exposition accessible
to the non-specialist, including motivation, background, and
comparison with related works. All papers should be prepared in LaTeX
and formatted according to the requirements of Springer's LNCS series
(the corresponding style files can be downloaded from Papers must be
submitted electronically at the relevant area for SCSS12 on easyChair.

A title and single-paragraph abstract should be submitted by August 23, and the full paper by August 30 (firm date). Notifications are expected by October 30, and final papers for the proceedings will be due by November 30 (firm date).

The proceedings of SCSS 2012, will be published in advance of the
meeting as a volume in either Electronic Notes in Theoretical Computer
Science (ENTCS) or the British Computer Society's Electronic Workshops
in Computing eWIC. After the Symposium, authors will be invited to
submit a full version of their article for a special issue of the
Journal of Symbolic Computation on SCSS 2012. These articles will be
subjected to the normal peer review process of the Journal of Symbolic

* Gérard Huet (France)
Title: Eilenberg machines revisited as a general paradigm for relational programming
* Kazuhiro Yokoyama (Japan)
Title: Quantifier Elimination for Solving Real Engineering Problems. Abstract: click here

August 23, 2012: Paper title and abstract deadline
August 30, 2012: Full paper deadline (firm)
October 30, 2012: Author notification
November 30, 2012: Final version deadline (firm)
December 15-17, 2012: Symposium

Honorary Chairs
Prof. Nobuhiro Yamada (President of the University of Tsukuba, Japan)
Prof. Lassaad El Asmi (President of the University of Carthage, Tunisia)

General Chairs
Prof. Adel Bouhoula (University of Carthage, Tunisia)
Prof. Tetsuo Ida (University of Tsukuba, Japan)

Programme Chair
Prof. Fairouz Kamareddine (Heriot-Watt University, Edinburgh, UK)

Local Organisation Chair
Dr. Mohamed Becha Kaaniche (University of Carthage, Tunisia)

Programme Committee Members
Anas Abou El Kalam (Morocco)
Serge Autexier (Germany)
Mauricio Ayala-Rincon (Brazil)
Henda Ben Ghezala (Tunisia)
Iliano Cervesato (Qatar)
Veronique Cortier (France)
Mariangiola Dezani (Italy)
Sihem Guemara (Tunisia)
Sylvia Ghilezan (Serbia)
Ahmed Hadj Kacem (Tunisia)
Therese Hardin (France)
Mohamed Jmail (Tunisia)
Tudor Jebelean (Austria)
Fairouz Kamareddine (UK) (chair)
Temur Kutsia (Austria)
Manuel Maarek (France)
Mohammed Mezghiche (Algeria)
Greg Michaelson (UK)
Aart Middledorop (Austria)
Ali Mili (USA)
Yasuhiko Minamide (Japan)
Mohammed Mosbah (France)
Flavio de Moura (Brazil)
Valeria de Paiva (USA)
Riadh Robbana (Tunisia)
Michael Rusinowitch (France)
Amr Sabry (USA)
Masahiko Sato (Japan)
Yahya Slimani (Tunisia)
Sofiene Tahar (Canada)

Local Organising Committee
Ryma Abassi (Tunisia)
Mohamed Becha Kaaniche (Tunisia) (chair)
Nizar Ben Neji (Tunisia)
Nihel Ben Youssef (Tunisia)
Hanen Boussi (Tunisia)
Fadoua Ghourabi (Japan)
Faten Labbene Ayachi (Tunisia)
Oussama Mahjoub (Tunisia)

We look forward to seeing you in beautiful Tunisia.

Related Resources

SYNASC 2021   23th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
ISSAC 2021   International Symposium on Symbolic and Algebraic Computation
ECCSIT 2021   2021 European Conference on Computer Science and Information Technology (ECCSIT 2021)
EI-CFAIS 2021   2021 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2021)
AIKE 2021   IEEE Artificial Intelligence & Knowledge Engineering 2021
6th ICSTR London September 2021   6th ICSTR London – International Conference on Science & Technology Research, 09-10 September 2021
STRA - Eurasia Research 2021   8th ICSTR Dubai – International Conference on Science & Technology Research, 25-26 October 2021
ECSQARU 2021   The Sixteenth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
SSHRA - Eurasia Research 2021   3rd Paris – International Conference on Social Science & Humanities (ICSSH), 26-27 November 2021
MDPI-SI-BDHA 2021   Call for Papers: Special Issue “Big Data for eHealth Applications” (MDPI Applied Sciences, IF 2.474 – Indexed on Scopus, Web of Science)