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 B638D7EE25 for ; Thu, 13 Jun 2013 09:49:41 +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: AjEAAFF5uVGMTnQnl2dsb2JhbABagzm/GX0WDgEBAQEBCBYHPIIkAQUdGzAQESwWDwkDAgECAUUTCAEBiAoECLsQj0oWg0oDl0CGH440 X-IPAS-Result: AjEAAFF5uVGMTnQnl2dsb2JhbABagzm/GX0WDgEBAQEBCBYHPIIkAQUdGzAQESwWDwkDAgECAUUTCAEBiAoECLsQj0oWg0oDl0CGH440 X-IronPort-AV: E=Sophos;i="4.87,857,1363129200"; d="scan'208";a="17662223" 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; 13 Jun 2013 09:49:41 +0200 Received: from [10.0.0.7] (62-47-252-178.adsl.highway.telekom.at [62.47.252.178]) (authenticated bits=0) by smtpauthhost.risc.uni-linz.ac.at (8.14.3/8.14.3/Debian-9.4) with ESMTP id r5D7ndIX011242 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 13 Jun 2013 09:49:40 +0200 Message-ID: <51B9798E.3000600@risc.jku.at> Date: Thu, 13 Jun 2013 09:49:34 +0200 From: Temur Kutsia User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130510 Thunderbird/17.0.6 MIME-Version: 1.0 To: caml-list@inria.fr References: <51B9772E.7050509@risc.jku.at> In-Reply-To: <51B9772E.7050509@risc.jku.at> X-Forwarded-Message-Id: <51B9772E.7050509@risc.jku.at> Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Validation-by: kutsia@risc.jku.at Subject: [Caml-list] SCSS 2013 - Call for Participation [Please post - apologies for multiple copies.] Call for Participation ================================================= SCSS 2013 Symbolic Computation in Software Science 5th International Symposium Castle of Hagenberg, Austria, July 5-6, 2013 Research Institute for Symbolic Computation (RISC) Johannes Kepler University Linz http://www.risc.jku.at/conferences/scss2013/ ================================================= Early registration deadline: June 28 Invited Speakers ---------------- Bruno Buchberger (RISC, Johannes Kepler University Linz, Austria) Wei Li (Beihang University, China) Joel Ouaknine (Oxford University, UK) Accepted Papers --------------- http://www.risc.jku.at/conferences/scss2013/accepted.html