[Caml-list] SCSS 2014: Call for short and work-in-progress papers

[Please post - apologies for multiple copies.]

CALL FOR SHORT AND WORK-IN-PROGRESS PAPERS
================================================
SCSS 2014
Symbolic Computation in Software Science
6th International Symposium

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. 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 analysis and complexity analysis of algorithms (programs)
- extraction of specifications from algorithms (programs)
- theorem proving methods and techniques
- proof carrying code
- generation of inductive assertion for algorithm (programs)
- algorithm (program) transformations
- formalization and computerization of knowledge (maths, medicine,
economy, etc.)
- component-based programming
- computational origami
- query languages (in particular for XML documents)
- semantic web and cloud computing

Submission
----------
Researchers and practitioners are invited to submit short papers, reports on
interesting work in progress or system descriptions. They need not be
original.
Concurrent submission to another conference or a journal is allowed. The
papers
are limited in length to 5 pages in the EasyChair format.

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

Important Dates
---------------
September 29, 2014: Submission deadline
October 3, 2014: Notification
December 7-11, 2014: SCSS 2014 in Gammarth

Invited Speakers
----------------
Nikolaj Bjorner (Microsoft Research)
William M. Farmer (McMaster University)

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)


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs