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 A30FE80043 for ; Mon, 14 Nov 2016 11:24:23 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=kutsia@risc.jku.at; spf=None smtp.mailfrom=kutsia@risc.jku.at; spf=None smtp.helo=postmaster@smtpauthhost.risc.uni-linz.ac.at 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 IronPort-PHdr: =?us-ascii?q?9a23=3A8cpaVRF/w/i6e9i3bOUmep1GYnF86YWxBRYc798d?= =?us-ascii?q?s5kLTJ7zps+wAkXT6L1XgUPTWs2DsrQf2rGQ6virADdIyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSijewZb1/IA+roQnNucUanIVvIbstxxXUpXdFZ/?= =?us-ascii?q?5Yzn5yK1KJmBb86Maw/Jp9/ClVpvks6c1OX7jkcqohVbBXAygoPG4z5M3wqBnM?= =?us-ascii?q?VhCP6WcGUmUXiRVHHQ7I5wznU5jrsyv6su192DSGPcDzULs5Vyiu47ttRRT1ji?= =?us-ascii?q?oMKjw3/3zNisFokqxVoA+vqR9xzYHab46aKPVwc7jBfd4ZX2dNQtpdWiJDD466?= =?us-ascii?q?coABD/ABPeFdr4TluVUBsx6+BRS2BOjyzzFIm2P23bY70+s7DArL2w8gH88SsH?= =?us-ascii?q?TPrdX6LrwfUfq0zKnT0TrPdfFW2TTg6ITSaB8hveiBULRtesTfzkkvEhnKjlSW?= =?us-ascii?q?qYH9ITyazP8NsmiH4OpgT+2vinQnpxt2oji1yccgkobJhoISylDZ7yV22p06Jd?= =?us-ascii?q?yiRE59f9GkDJ1dvDyZOYtuWs4uXm5ltDogxrAEupO3ZjUGxIkmyhLFZfGKd5CE?= =?us-ascii?q?7g/nWeufOzt0mXBodK6lixu88kWs0PPwWtS63VtMsyFLiMPDtmoX2BzW8sWHSu?= =?us-ascii?q?Vy/kOm2TuXzADT7/1EIVgumqrGN54hwr4wlp0IsUTfBCP2gkT2jLSKeUk+5+io?= =?us-ascii?q?7eXnbqzipp+dMY91ixvyPb4ylcClG+s4LhACX2md+euiyL3u5VD1TbpWgvEskK?= =?us-ascii?q?TUs4rWKdkGqqO4GQNY3IIu5w66Dzi80dQYmXcHLEhCeBKCl4XpOEzOIOzjDfe+?= =?us-ascii?q?mVuhiy1rx/HdPrL9GJnNLHvDkKr7cbln905Q0BAzwsxH55JIFrEBJ+r+VVPru9?= =?us-ascii?q?zdCh81Kgi0w+f8CNVhzY4eQmKOAqqBMKzIq1OI5+QvI/ONZIAPojr9JeIltLbS?= =?us-ascii?q?iioykFoZOK2oxoc/aXaiH/0gLV/KT2Drh4I9HGIXpEIdUfDxiVTKBT1Oe22zVo?= =?us-ascii?q?om5yowToClEMHKWtb+0/S6wC6nE8gONSh9AVeWHCKweg=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B6BgAukClY/yd0ToxeHgYMGQYMgwYBA?= =?us-ascii?q?QEBAR9YLE4GsQ+GCYQWKIJFhVBDEAEBAQEBAQEBAQEBYRQUgjMYgjoGDwEzAkY?= =?us-ascii?q?CJgJsCAEBBYhYBAUFnnuPfIIpi3eBCYcwCIQSgmeCcAstgl0FiFCRcYY8iiFJg?= =?us-ascii?q?XWCRoR7hh8CiGESCSMahAuECjUgZxELE4JkU4FtcQGFP4I8AQEB?= X-IPAS-Result: =?us-ascii?q?A0B6BgAukClY/yd0ToxeHgYMGQYMgwYBAQEBAR9YLE4GsQ+?= =?us-ascii?q?GCYQWKIJFhVBDEAEBAQEBAQEBAQEBYRQUgjMYgjoGDwEzAkYCJgJsCAEBBYhYB?= =?us-ascii?q?AUFnnuPfIIpi3eBCYcwCIQSgmeCcAstgl0FiFCRcYY8iiFJgXWCRoR7hh8CiGE?= =?us-ascii?q?SCSMahAuECjUgZxELE4JkU4FtcQGFP4I8AQEB?= X-IronPort-AV: E=Sophos;i="5.31,638,1473112800"; d="scan'208";a="200241215" 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; 14 Nov 2016 11:24:22 +0100 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 uAEAOL9P025730 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES128-SHA bits=128 verify=NOT) for ; Mon, 14 Nov 2016 11:24:21 +0100 To: caml-list@inria.fr From: Temur Kutsia Message-ID: Date: Mon, 14 Nov 2016 11:24:21 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101 Thunderbird/45.4.0 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Validation-by: kutsia@risc.jku.at Subject: [Caml-list] CFP: SCSS 2017 (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. http://ghourabi.net/SCSS2017 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: - 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 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)