Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] 2nd CfP: SCSS 2014


view this post on Zulip Email Gateway (Aug 19 2022 at 14:43):

From: Temur Kutsia <kutsia@risc.jku.at>
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium

Second Call for Papers

Gammarth, La Marsa, Tunisia, December 7-11, 2014
http://www.easychair.org/smart-program/SCSS2014/

Scope


The purpose of SCSS 2014 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 2014 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:

Invited Speakers


Nikolaj Bjorner (Microsoft Research)
TBA

Program Chairs


Temur Kutsia (RISC, Johannes Kepler University Linz, Austria)
Andrei Voronkov (University of Manchester, UK)

Program Committee


Elvira Albert (Complutense University of Madrid, Spain)
Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
James H. Davenport (University of Bath, UK)
Roberto Giacobazzi (University of Verona, Italy)
Arie Gurfinkel (Carnegie Mellon University, USA)
Nao Hirokawa (JAIST, Japan)
Tetsuo Ida (University of Tsukuba, Japan)
Florent Jacquemard (INRIA - IRCAM, France)
Laura Kovacs (Chalmers University of Technology, Sweden)
Temur Kutsia (RISC, Johannes Kepler University Linz, Austria) - chair
Ali Mili (New Jersey Institute of Technology, USA)
Joel Ouaknine (Oxford University, UK)
Ruzica Piskac (Yale University, USA)
Andrei Voronkov (University of Manchester, UK) - chair
Dongming Wang (Beihang University, China and UPMC-CNRS, France)

General Chairs


Adel Bouhoula (Higher School of Communications of Tunis, Tunisia)
Tetsuo Ida (University of Tsukuba, Japan)

Local Chair


Mohamed Becha Kaaniche (University of Carthage, Tunisia)

Important Dates


June 23, 2014: Abstract submission deadline
June 30, 2014: Paper submission deadline
August 25, 2014: Notification
September 22, 2014: Camera-ready copy deadline
December 7-11, 2014: SCSS 2014 in Gammarth

Submission


Submission is via EasyChair:

https://www.easychair.org/conferences/?conf=scss2014

Submissions are invited in two categories: regular research papers and
tool papers.

Publication


The proceedings will be published in the EasyChair Proceedings in
Computing. We plan also to have a special issue of the Journal of
Symbolic Computation on SCSS 2014. 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.


Last updated: Mar 28 2024 at 08:18 UTC