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 ECCC97ED1C for ; Fri, 25 Sep 2015 19:45:59 +0200 (CEST) IronPort-PHdr: 9a23:Vbp/0BTMxjmma+kBLasjTAFa2dpsv+yvbD5Q0YIujvd0So/mwa64ZxCN2/xhgRfzUJnB7Loc0qyN4/ymBDRLuMfJmUtBWaIPfidNsd8RkQ0kDZzNImzAB9muURYHGt9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3BPAZ4bt74BpTVx5zukbvip9uOO04R1XKUWvBbElaflU3prM4YgI9veO4a6yDihT92QdlQ3n5iPlmJnhzxtY+a9Z9n9DlM6bp6r5YTGfayQ6NtRrVdCHEiMnspzMztrxjKCwWVtVUGVWBDrhdNHhKNzwzmRZb4+n/mtfdhwyiTFcLzRLEwHz+l6vE4G1fTlC4bOmthoynsgctqgfcDrQ== Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=tkutsia@gmail.com; spf=Pass smtp.mailfrom=tkutsia@gmail.com; spf=None smtp.helo=postmaster@mail-wi0-f182.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of tkutsia@gmail.com) identity=pra; client-ip=209.85.212.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tkutsia@gmail.com"; x-sender="tkutsia@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of tkutsia@gmail.com designates 209.85.212.182 as permitted sender) identity=mailfrom; client-ip=209.85.212.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tkutsia@gmail.com"; x-sender="tkutsia@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-wi0-f182.google.com) identity=helo; client-ip=209.85.212.182; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="tkutsia@gmail.com"; x-sender="postmaster@mail-wi0-f182.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DTAACzhwVWlLbUVdFdg3hpgyqnPoYwMotsAQ2Be4JDhGQ4FAEBAQEBAQEBEAEBAQEHCwsJHzCCHYIgCwYVCAEbCgIQAgMSEAUKAgUWCwILAwIBAgEREQEFAS8IAQEFGYd2AQMSBAEIqBiCBYEwPjGLR4FsgnmJbgoZJw1WhCoBAQEHAQEBAQEXAQUOgRSFUYY6gneDSYFDBYc0jjiFFId5Nog9EIpRhg41gRcfAQGCYIFlbwGHWIFIAQEB X-IPAS-Result: A0DTAACzhwVWlLbUVdFdg3hpgyqnPoYwMotsAQ2Be4JDhGQ4FAEBAQEBAQEBEAEBAQEHCwsJHzCCHYIgCwYVCAEbCgIQAgMSEAUKAgUWCwILAwIBAgEREQEFAS8IAQEFGYd2AQMSBAEIqBiCBYEwPjGLR4FsgnmJbgoZJw1WhCoBAQEHAQEBAQEXAQUOgRSFUYY6gneDSYFDBYc0jjiFFId5Nog9EIpRhg41gRcfAQGCYIFlbwGHWIFIAQEB X-IronPort-AV: E=Sophos;i="5.17,587,1437429600"; d="scan'208";a="148602754" Received: from mail-wi0-f182.google.com ([209.85.212.182]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 25 Sep 2015 19:45:59 +0200 Received: by wicgb1 with SMTP id gb1so30404840wic.1 for ; Fri, 25 Sep 2015 10:45:59 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=to:from:subject:message-id:date:user-agent:mime-version :content-type:content-transfer-encoding; bh=BQBO3XjwGLYt8Y+pNt4LE0Q5z+PRSk7yUlxa+JfAWJc=; b=rj5svajkyD6AXlE0q+b95mpKjVPPcvk3/VdcX84hu8SlapmnLpwMGgGJFjyDJlA+rM 9agY7p/MZKZgrWncm5q/1N+hQrYgqc23XKT5fO/IDtx94Yqk748JgvawMsEFBXwlYymP yIns6AtetHZx/WC8HcPfBRWLXom5zFs5v4yzpTlJZZOimSs4Tpq9hP0DuXQ4PH1cWr0A C4C5zrdEZ0JYnxxW3yEuG+QSGgGipk6dJUkHkJQfHjMw8hlmyJ1o8lPoDcT97hrlOShz o8JbsXQQRMSnauIdrrG5TNdnckh9zOoSNB6ohCHRmO2zIG5d+FHG+ZHoYYSzm6IsRQt7 wAIQ== X-Received: by 10.194.121.202 with SMTP id lm10mr7369660wjb.98.1443203159021; Fri, 25 Sep 2015 10:45:59 -0700 (PDT) Received: from [10.0.0.2] (178-191-139-162.adsl.highway.telekom.at. [178.191.139.162]) by smtp.googlemail.com with ESMTPSA id p4sm4296864wia.15.2015.09.25.10.45.57 for (version=TLSv1/SSLv3 cipher=OTHER); Fri, 25 Sep 2015 10:45:58 -0700 (PDT) To: caml-list@inria.fr From: Temur Kutsia Message-ID: <56058854.6010305@gmail.com> Date: Fri, 25 Sep 2015 19:45:56 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.2.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: tkutsia@gmail.com Subject: [Caml-list] 2nd CfP: SCSS 2016 ===================== Second Call for Papers ===================== SCSS 2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University, Tokyo, Japan March 28 - 31, 2016 http://www.i-eos.org/conferences/SCSS2016 Submissions to https://easychair.org/conferences/?conf=scss2016 Important Dates --------------- November 13, 2015: Abstract submission November 20, 2015: Paper submission January 5, 2016: Notification March 28-31, 2016: SCSS 2016 in Ochanomizu University, Tokyo Invited Speakers ---------------- - Peter Paule (Johannes Kepler University Linz, Austria) - Jacques Fleuriot (University of Edinburgh, UK) Tutorial -------- There will be tutorial lectures on symbolic computation. - Tetsu Yamaguchi and colleagues (Maple Soft) - Xavier Dahan (Ochanomizu University, Japan) Scope -------- The purpose of SCSS 2016 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 2016 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: - automated reasoning - algorithm (program) synthesis and/or verification - formal methods for the analysis of network and system security - termination analysis and complexity analysis of algorithms (programs) - extraction of specifications from algorithms (programs) - related 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 Program Chair ------------- James Davenport (University of Bath, UK) Honorary Chair --------------- Bruno Buchberger (Johannes Kepler University, Austria) General Chair ------------- Tetsuo Ida (University of Tsukuba, Japan) Program Committee ----------------- Kenichi Asai (Ochanomizu University, Japan) Adel Bouhoula (Carthage University, Tunisia) Changbo Chen (Chinese Academy of Sciences, China) Matthew England (Coventry University, UK) Jacques Garrigue (Nagoya University, Japan) Cezary Kaliszyk (University of Innsbruck, Austria) Yukiyoshi Kameyama (University of Tsukuba, Japan) Michael Kohlhase (Jacobs University, Germany) Temur Kutsia (Johannes Kepler University, Austria) Assia Mahboubi (Inria, France) Yasuhiko Minamide (Tokyo Institute of Technology, Japan) Yoshihiro Mizoguchi (Kyushu University, Japan) Julien Narboux (Strasbourg University, France) Renaud Rioboo (ENSIIE, France) Tateaki Sasaki (University of Tsukuba, Japan) Dongming Wang (Beihang University and CNRS, China and France) Stephen Watt (University of Waterloo, Canada) Kazuhiro Yokoyama (Rikkyo University, Japan) Local Arrangement Committee --------------------------- Kenichi Asai (Ochanomizu University, Japan) Houssem Chatbri (University of Tsukuba, Japan) Fadoua Ghourabi (Ochanomizu University, Japan) (Chair) Sosuke Moriguchi (Kwansei Gakuin University, Japan) Akira Terui (University of Tsukuba, Japan) Submission ---------- Submission is via EasyChair: https://easychair.org/conferences/?conf=scss2016 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. Publication ---------- The proceedings of SCSS 2016 will be published in the EasyChair Proceedings in Computing (EPiC). After the symposium, we will have a combined special issue of the Journal of Symbolic Computation on SCSS 2014 & 2016. The full version of selected papers at SCSS 2014 & 2016 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.