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 9ADBA7F616 for ; Wed, 22 Feb 2017 14:13:43 +0100 (CET) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=geoff@cs.miami.edu; spf=Pass smtp.mailfrom=geoff@cs.miami.edu; spf=None smtp.helo=postmaster@mcclellan.cs.miami.edu Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; 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@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ADxmlAx2en6y2HWuSsmDT+DRfVm0co7zxezQtwd8Z?= =?us-ascii?q?se0SLvad9pjvdHbS+e9qxAeQG96KtrQd1aGK7ejJYi8p2d65qncMcZhBBVcuqP?= =?us-ascii?q?49uEgeOvODElDxN/XwbiY3T4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6?= =?us-ascii?q?JvjvGo7Vks+7y/2+94fdbghMhDexe65+IRS5oQjet8QdnJdvJLs2xhbVuHVDZv?= =?us-ascii?q?5YxXlvJVKdnhb84tm/8Zt++ClOuPwv6tBNX7zic6s3UbJXAjImM3so5MLwrhnM?= =?us-ascii?q?URGP5noHXWoIlBdDHhXI4wv7Xpf1tSv6q/Z91SyHNsD4Ubw4RTKv5LptRRT1ii?= =?us-ascii?q?kIKiQ5/XnJhMJtj6xVrhKvqgdjz4LIfI2ZKOZycr/Bcd4cWGFPXtxRVytEAo6k?= =?us-ascii?q?YIsAEe0BPehWr4Tmu1QOtgGyBQytBOz1zz9Ih2X60rMn3OQ8DArK2A0uEMwJsH?= =?us-ascii?q?TaotX+KbocUf2pzKbUyTXDbv1W2Tnj54TNdB0qvP+CXbV1ccXLyEkvERvIgUuN?= =?us-ascii?q?pozkIzOV0f4Ns2mB4OpkUOKgkWgnpBt+ojex3McgkJXGhoUQyl3C6C53w541KM?= =?us-ascii?q?WlREN/f9KoCpVduzyAO4Z1Rs4uWWBltSAnwbMco5G7ZjIFyJE/yh7fdfOHd4+I?= =?us-ascii?q?7wrmVOmNPTh4gGxqeLa7hxmo90is0PHzVtKu3FZPrypKiNzMtnEX2xPN98eHV+?= =?us-ascii?q?Nx/kan2TmRywDe8vxILEQqmabBJZMt36Q8m5kXvEjZHyL6gED2g7WXdkUg9Oio?= =?us-ascii?q?8ePnYrD+q5+TKYB0jQ/+Mqo1l8OjGuQ0KA0OX2mB9uS51b3v51P2T6hXjvEuiK?= =?us-ascii?q?nWrIjaJdgHpq6+GwJazpws6xO7Dzu/1NQYnGIHLE5edRKcj4npPknOL+riAfe+?= =?us-ascii?q?hVSsijZryOrcMr3vGJWeZkTExbzoeLI4709H1CIyy8pe7tRaEOIvOvX2D0D8s9?= =?us-ascii?q?LWJhQidQm1yuPmTthxy8tedm+IDKHRC77OuluJ6OwiYrrfLLQJsSrwfqB2r8Xl?= =?us-ascii?q?imU0zAcQ?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0ASCgAujq1Y/wZZH8BeHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBhAeBCaIfAZReASWCRoZ1FAEBAQEBAQEBAQEBYSiCMyCCYncwBB1?= =?us-ascii?q?EFodyA4FqDp5skiuIEweDXY9rcIIADFyCMQWQS4tFkhaRHZMlNiGBAFaHOCI1h?= =?us-ascii?q?1eCPQEBAQ?= X-IPAS-Result: =?us-ascii?q?A0ASCgAujq1Y/wZZH8BeHAEBBAEBCgEBFwEBBAEBCgEBhAe?= =?us-ascii?q?BCaIfAZReASWCRoZ1FAEBAQEBAQEBAQEBYSiCMyCCYncwBB1EFodyA4FqDp5sk?= =?us-ascii?q?iuIEweDXY9rcIIADFyCMQWQS4tFkhaRHZMlNiGBAFaHOCI1h1eCPQEBAQ?= X-IronPort-AV: E=Sophos;i="5.35,194,1484002800"; d="scan'208";a="214351209" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail3-smtp-sop.national.inria.fr with SMTP; 22 Feb 2017 14:13:42 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id D67A2121524; Wed, 22 Feb 2017 08:13:41 -0500 (EST) To: caml-list@inria.fr Message-Id: <20170222131341.D67A2121524@mcclellan.cs.miami.edu> Date: Wed, 22 Feb 2017 08:13:41 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] Formalization of Geometry, Automated and Interactive Geometric Reasoning Annals of Mathematics and Artificial Intelligence special issue on Formalization of Geometry, Automated and Interactive Geometric Reasoning Call-for-Papers For this special issue of AMAI, we are seeking original contributions on various aspects of formalization of geometry having in view computational applications mainly oriented to proof but also to modeling in geometry. Relevant topics include (but are not limited to): * Polynomial algebra, invariant and coordinate-free methods, probabilistic, synthetic, and logical approaches, techniques for automated geometric reasoning from discrete mathematics, combinatorics, and numerics; * Symbolic and numeric methods for geometric computation, geometric constraint solving, automated generation/reasoning and manipulation with diagrams; * Design and implementation of geometry software, special-purpose tools, automated theorem provers, experimental studies; * Applications of formalization of geometry to mechanics, geometric modeling, CAGD/CAD, computer vision, robotics, and education. Important dates: September 1, 2017: paper submission via http://www.editorialmanager.com/amai/ selecting the issue: S688 Formalization of Geometry and Reasoning January 1, 2018: author notification March 1, 2018: revisions and camera-ready paper submission Guest Editors: Pascal Schreck , Tetsuo Ida , Laura Kovacs