Email Gateway (Aug 22 2022 at 14:38): Email Gateway (Aug 22 2022 at 14:38):From: Temur Kutsia <kutsia@risc.jku.at>
(Apologies for multiple posting)
=====================
Call for Papers
=====================
SCSS 2017
The 8th International Symposium on
Symbolic Computation in Software Science
April 6-9, 2017 in Gammarth, Tunisia.
Scope
The purpose of SCSS 2017 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 2017 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
Submission
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. Student’s abstracts must be no longer
than 4 pages in the same format and mention the category "student
paper". There will be a Best Paper Award, sponsored by ATSN: the
Tunisian Society for Digital Security. All submissions must be done via
Easychair on the website page
https://easychair.org/conferences/?conf=scss2017
Publication
The proceedings of SCSS 2017 will be published in the EasyChair
Proceedings in Computing (EPiC). After the symposium, we will have a
special issue of the Journal of Symbolic Computation. The full version
of selected papers 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.
Important Dates
Title and Abstract Due: November 20, 2016
Manuscript Due: November 27, 2016
Author Notification: January 5, 2017
Camera Ready Papers: February 5, 2017
Author Registration: February 20, 2017
Conference dates: April 6-9, 2017 in Gammarth, Tunisia
Invited Speaker
Gérard Huet (INRIA, Paris, France)
General Chairs
Adel Bouhoula (Sup'Com, University of Carthage, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)
Program Chairs
Mohamed Mosbah (LaBRi Bordeaux, France)
Michaël Rusinowitch (INRIA, France)
Program Committee
Anas Abou El Kalam (Cadi Ayyad University, Morocco)
Adel Bouhoula (Sup'Com - University of carthage, Tunisia)
Khalil Drira (LAAS, CNRS, Toulouse, France)
Rachid Echahed (CNRS and University of Grenoble, France)
Jacques Garrigue (Nagoya University, Japan)
Ahmed Hadj Kacem (ReDCAD-FSEG Sfax, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, Paris, France)
Mohamed Jmaeil (ReDCAD, ENIS, Tunisia)
Cezary Kaliszyk (University of Innsburck, Austria)
Yukiyoshi Kameyama (University of Tsukuba, Japan)
Michael Kohlhase (KWARC, Germany)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Yoshihiro Mizoguchi (Kyushu University, Japan)
Mohamed Mosbah (LaBRI - Bordeaux INP - University of Bordeaux, France)
Julein Narboux (LSIIT, University of Strasbourg, France)
Naoki Nishida (Nagoya University, Japan)
Renaud Rioboo (ENSIIE, Ivry, France)
Riadh Robbana (LIP2 - INSAT - University of Carthage, Tunisia)
Michael Rusinowitch (LORIA - INRIA Nancy, France)
Sofiene Tahar (Concordia University, Canada)
Dongming Wang (Beihang University and CNRS, Paris, France)
Stephen Watt (University of Waterloo, Canada)
Local Arrangement Committee
Mohamed Bécha Kaaniche (Sup'Com, University of Carthage, Tunisia)
Hanen Boussi Rahmouni (University of El Manar, Tunisia) (Chair)
Fadoua Ghourabi (Ochanomizu University, Japan)
Riadh Ksantini (Sup'Com, University of Carthage, Tunisia)
Amina Saadaoui (Sup'Com, University of Carthage, Tunisia)
Last updated: Apr 19 2024 at 04:17 UTC