From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id EF0447FACB for ; Mon, 1 Sep 2014 15:14:20 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kutsia@risc.jku.at) identity=pra; client-ip=140.78.116.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of kutsia@risc.jku.at) identity=mailfrom; client-ip=140.78.116.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="kutsia@risc.jku.at"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@smtpauthhost.risc.uni-linz.ac.at) identity=helo; client-ip=140.78.116.39; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="kutsia@risc.jku.at"; x-sender="postmaster@smtpauthhost.risc.uni-linz.ac.at"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmwHADhwBFSMTnQn/2dsb2JhbABZgw1TWIJ7xQeIYBZ3hCcGFTAQNgIFFgsCCwMCAQIBWAgBAQWIOQQJlWmPL5RhGIEsinKCV4NYgVMFhQWBD5ZIhzeEXokJg2OBcIFJAQEB X-IPAS-Result: AmwHADhwBFSMTnQn/2dsb2JhbABZgw1TWIJ7xQeIYBZ3hCcGFTAQNgIFFgsCCwMCAQIBWAgBAQWIOQQJlWmPL5RhGIEsinKCV4NYgVMFhQWBD5ZIhzeEXokJg2OBcIFJAQEB X-IronPort-AV: E=Sophos;i="5.04,442,1406584800"; d="scan'208";a="77316823" Received: from smtpauthhost.risc.uni-linz.ac.at ([140.78.116.39]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 01 Sep 2014 15:14:20 +0200 Received: from [193.170.38.213] (chamois.risc.uni-linz.ac.at [193.170.38.213]) (authenticated bits=0) by smtpauthhost.risc.uni-linz.ac.at (8.14.3/8.14.3/Debian-9.4) with ESMTP id s81DEISY011916 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Mon, 1 Sep 2014 15:14:18 +0200 Message-ID: <5404712A.2030204@risc.jku.at> Date: Mon, 01 Sep 2014 15:14:18 +0200 From: Temur Kutsia User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.0 MIME-Version: 1.0 To: caml-list@inria.fr Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: kutsia@risc.jku.at Subject: [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)