From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by c5ff346549e7 (Postfix) with ESMTP id 1DEFA5D5 for ; Mon, 26 Aug 2019 14:26:18 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.64,433,1559512800"; d="scan'208";a="398914975" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 26 Aug 2019 16:26:16 +0200 Received: by sympa.inria.fr (Postfix, from userid 20132) id ED28F7EF0C; Mon, 26 Aug 2019 16:26:16 +0200 (CEST) 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 2AEAF7EC74 for ; Mon, 26 Aug 2019 16:24:17 +0200 (CEST) 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@mail-ua1-f100.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AlJlNnRerVIOuJas+s3BYhODnlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxcuyZx7h7PlgxGXEQZ/co6odzbaP6ea5BDBLvsrJmUtBWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYdFRrlKAV6?= =?us-ascii?q?OPn+FJLMgMSrzeCy/IDYbxlViDanbr5+MQu6oR/MusQWjoZuJaQ8xxTUqXZUZu?= =?us-ascii?q?pawn9lK0iOlBjm/Mew+5Bj8yVUu/0/8sNLTLv3caclQ7FGFToqK2866tHluhnF?= =?us-ascii?q?VguP+2ATUn4KnRpSAgjK9w/1U5HsuSbnrOV92S2aPcrrTbAoXDmp8qlmRAP0hC?= =?us-ascii?q?oBKjU09nzchM5tg6JBuB+vugJxzYnXbo+bNPRzZb/Rcc8GSWZdRMtdSzBND4Wh?= =?us-ascii?q?ZIUPFeoBOuNYopHyp1QQqhu+CwesCfjzxT9TnHP22Kw63P4kEQHHxgAvAc8BsG?= =?us-ascii?q?nSod7oOqkSVuW1w7PJzTXFd/5X1jb96YfJchAlpvGMUrNwftbLxUkoDQPFgU2c?= =?us-ascii?q?qYP5MDyP1+QBqnaX4/Z+We6zkWInqgdxojaoxss0lIbGnJkVy1DY+iV52ok1JM?= =?us-ascii?q?e4RFR8Yd6+H5tdsTyROYhuQs46XW1kpCI3xqcFtJO7ZiQG1oorywDFZ/Cab4SE?= =?us-ascii?q?/grvWPuVLDtmnn5odq+ziwyx/EWk0OHwS9e43VBXpSRfiNbMrGoC1xnL58iHVP?= =?us-ascii?q?R9+kCh1C6K1w/J6+FEJVk4lbfBJJI827IwmIcfvVjfEiPsl0X2i6iWdkog+ue2?= =?us-ascii?q?8ejofrLmppqEO491jAHxLLgul9ShDegkNgUCRWuW9OSm2LH940H1Xq9GguAqnq?= =?us-ascii?q?XFqJzaIN4Upq+9Aw9byIYj7BO/Ai+p0NsGmnkHIlxFdQmbgIjyIV3OJfH4Au26?= =?us-ascii?q?g1Stijtk2e3JPqD5DpXXMnfDiKvhfap660NE1AU819Vf55ZNBrEFIfLzQVPxuc?= =?us-ascii?q?fDDh45Ngy02/zoBM981oMYQ2KPA7WWPLncsV+StaoTJLzYb4YQvHP5KuM5z//o?= =?us-ascii?q?l34w31EHK/qHx5wSPX+1GfpoC06CJ3/ti9IAV2oGo1ltBNf2gUGPBGYAL025WL?= =?us-ascii?q?gxs2liVNCWSLzbT4Xou4SvmT+hF8QKNGtdTFWNGHLpMYiIRqVUMXPAEopaijUB?= =?us-ascii?q?EIOZZcok3BCquhX9zuM7fOHPvCgZvJfiktV5+r+KzExgxXlPF82Yllq1YSR0k2?= =?us-ascii?q?cPHWFk2al+pQlgww7G3/Eg27pXEttc4/4PWQA/Z8bR?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CSBwAQ62NdhmTeVdFkghmDBVNcjR2GC?= =?us-ascii?q?JxJA1QBCAEDAQwjDAEBgUuFXRsHAQQzBg4CCgEBBAEBAQIBAwMEARMBAQEICws?= =?us-ascii?q?IKYU0DII6IoMHCyMBASYFDTs0HQgBBQEiHA0MgwABggoPm02BAzyKMYIlgnsBA?= =?us-ascii?q?QWBNgWBDYMQCCKBKgkJAQiBIocZghSCRRiBf4ERgmSBcIFSCwQYgSCDZIImjCU?= =?us-ascii?q?fJol2lQ4JiAWBBYUBhiGCKyeNRIsLhCWQRmiFWIcnJCGDEA8hgUWBSBsBDghyT?= =?us-ascii?q?oJsCYFBgRACg1iCWYI7hVsjMwGMXIJSAQE?= X-IPAS-Result: =?us-ascii?q?A0CSBwAQ62NdhmTeVdFkghmDBVNcjR2GCJxJA1QBCAEDAQw?= =?us-ascii?q?jDAEBgUuFXRsHAQQzBg4CCgEBBAEBAQIBAwMEARMBAQEICwsIKYU0DII6IoMHC?= =?us-ascii?q?yMBASYFDTs0HQgBBQEiHA0MgwABggoPm02BAzyKMYIlgnsBAQWBNgWBDYMQCCK?= =?us-ascii?q?BKgkJAQiBIocZghSCRRiBf4ERgmSBcIFSCwQYgSCDZIImjCUfJol2lQ4JiAWBB?= =?us-ascii?q?YUBhiGCKyeNRIsLhCWQRmiFWIcnJCGDEA8hgUWBSBsBDghyToJsCYFBgRACg1i?= =?us-ascii?q?CWYI7hVsjMwGMXIJSAQE?= X-IronPort-AV: E=Sophos;i="5.64,433,1559512800"; d="scan'208";a="317222989" X-MGA-submission: =?us-ascii?q?MDHK9F0Isiiuc5L90PsBeeFD7brOcH3kB5ZI89?= =?us-ascii?q?Lij1Pe01gNcSyVtFj+phvvDIxSHRp1Nz33cWL+jMiUDJzgRTQ/lBW4aJ?= =?us-ascii?q?HkOKHQxMNuXdxsWjJpfI8SQnknVItzJ45hNXNX9VpCK2i/ld8FBTw6c7?= =?us-ascii?q?zO/dbH0x26HWzfozKEBMHlPg=3D=3D?= Received: from mail-ua1-f100.google.com ([209.85.222.100]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 26 Aug 2019 16:23:55 +0200 Received: by mail-ua1-f100.google.com with SMTP id f9so5767467uaj.4 for ; Mon, 26 Aug 2019 07:23:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=cs-miami-edu.20150623.gappssmtp.com; s=20150623; h=subject:to:message-id:date:from; bh=Da70Gfpgp1m2l4j9Ov16gSGIf44NdPl+yRFrGQ3SPQ4=; b=oDm3svsnEDctr2Q65AiwZCj2KzllTZ+pte3IOSL3soXjNOFeBwWqISNsnmuv4/0b53 da97gdnhJptrxgZyDEaojDSHOWlbh9bCUpzJofdh3uxSCe2egT5sgxUmnQ8/PcgCZVXN 7NoYkP09l7ZnNSHzwQXyeLfPfOcJv9VHD0Bav7TsmKPLkzsrz9j+dpQJ82mcRLwmUqtM qq7QSkfZV0FSFYGiwKxKkdYhKwitXoIEyIEvCANoYAKbKlBan+X+/pheGx1GuSc8l8Tg QFgrjiupIqIg64dsv077FEVkNprLPBvmd+j/PfzkWnNVjFUeoWqINxZt70ytiWthxzvk aCIQ== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:subject:to:message-id:date:from; bh=Da70Gfpgp1m2l4j9Ov16gSGIf44NdPl+yRFrGQ3SPQ4=; b=X5LeQY2T/lb5waxcDjlSY7IkKOFR6liLcw7upK6mX6j5gS1g0niLMezPwSvY2RIWz0 ibg23et05QaKyJUMZOczJxvTggmEo5lv9/dx0+Qxyl8bPGvebKAb8E1Q6VNhzKAUQzqW MODdY2Vq6KX+wXjMEcwP8IU4cK+kuSdk9T+y/bYRg4pxfai5TnhOZnWgzeean30WaJEf THdD+cYLfDCxUr90GhZZPmwyMP8aT2kFR3Q0YlOdeId0NHscDW4k6EINJssdopjQdGez VRae7Or9XowPKPzE38aoB710SuIxE18tT7U1HfPTM0clVa9XmvkKKLqrxIqqCirxxTsO UNBA== X-Gm-Message-State: APjAAAXhY6gE418hhF4plJSvX89TBcbRfZsKlLu1IXMk4HBPx59mFm6W PIUGkx4dgli/bqPj8HxUMklgYEkNmZmRQper+BFZ6g/iKT3HOQ== X-Google-Smtp-Source: APXvYqyiOtnRiWM6jqMRXggws4k9TsbkRy6cTw+yCpr7KIMaT0+XBuCTw5lUvMp46ZxEVgwRODoqUmrCn+vM X-Received: by 2002:ab0:45ac:: with SMTP id u41mr8774970uau.8.1566829434714; Mon, 26 Aug 2019 07:23:54 -0700 (PDT) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id q8sm1317721uap.3.2019.08.26.07.23.54 for ; Mon, 26 Aug 2019 07:23:54 -0700 (PDT) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id 5F2CA1700479; Mon, 26 Aug 2019 10:23:34 -0400 (EDT) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20190826142334.5F2CA1700479@cs.miami.edu> Date: Mon, 26 Aug 2019 10:23:34 -0400 (EDT) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] GCAI 2020, Hangzhou, China - Call for Papers Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17778 Errors-to: caml-list-owner@inria.fr Precedence: list Precedence: bulk Sender: caml-list-request@inria.fr X-no-archive: yes List-Id: List-Archive: List-Help: List-Owner: List-Post: List-Subscribe: List-Unsubscribe: ---------------------------------------- 6th Global Conference on Artificial Intelligence GCAI 2020, Hangzhou, China, 6-9 April 2020 http://www.gcai-2020.info/ ---------------------------------------- The 6th Global Conference on Artificial Intelligence (GCAI 2020) will be held in Hangzhou, China, 6-9 April 2020, as part of the Zhejiang Logic for AI Summit (ZjuLogAI 2020). With its special focus theme on "Explainable AI and Responsible AI", the summit intends to promote the interplay between logical approaches and machine learning based approaches in order to make AI more transparent, responsible and accountable. http://www.gcai-2020.info/ (GCAI 2020) http://www.xixilogic.org/zjulogai/ (ZjuLogAI 2020) ************************ Submission Guidelines ************************ GCAI 2020 accepts submissions of two types: - Full paper submissions, which must be original and cannot be submitted simultaneously elsewhere. Full paper submissions must be at most 12 pages long, excluding references. Additional support material may be included in an appendix, which may be considered or ignored by the program committee. - Extended abstract submissions, which report on ongoing or preliminary work, or on work that is central to symbolic reasoning and/or machine/deep learning applied to both software and robotic systems, but that has already been submitted or recently published elsewhere as a full paper (in the case of an already published paper, the full version has to be referenced explicitly). Extended abstract submissions must be at most 4 pages long, excluding references. Both types of submissions must be prepared in LaTeX or Microsoft Word using the EasyChair templates, and uploaded in PDF format. Submissions not complying with these guidelines will be rejected at the discretion of the program committee. Each submission will be reviewed by at least two reviewers. Abstracts are due on 23 November 2019, full papers and extended abstracts are due on 30 November 2019, and decisions will be made by 20 January 2020. Submissions: via EasyChair https://easychair.org/conferences/?conf=gcai2020 Instructions for authors and EasyChair paper templates can be found at https://easychair.org/publications/for_authors ************************ List of Topics ************************ Submissions in all areas of artificial intelligence are welcome. Suggested topics include, but are not limited to: Foundations + Knowledge representation + Cognitive modeling + Perception + Search + Reasoning and programming + Machine learning + Constraints and uncertainty Architectures + Agents and distributed AI + Intelligent user interfaces + Natural language systems and linguistics + Information retrieval + Case-based reasoning + Hierarchical and deep representations + Affective computing Applications + Aviation and aerospace + Education and tutoring systems + Games and entertainment + Law and machine ethics + Mathematics and the sciences + Medicine and healthcare + Management and manufacturing + World Wide Web + Robotics + Security Implications + Philosophical foundations + Social impact and ethics + Evaluation of AI systems + AI education ************************ General Chair ************************ Geoff Sutcliffe (University of Miami, USA) ************************ Program Chairs ************************ Grégoire Danoy (University of Luxembourg, Luxembourg) Jun Pang (University of Luxembourg, Luxembourg) ************************ Program Committee ************************ The PC members are currently being invited; we plan to have about 50 PC members. ************************ Steering Committee ************************ Nikolaj Bjorner (Microsoft Research, USA) Adel Bouhoula (University of Carthage, Tunisia) Laura Kovács (Chalmers University, Sweden) Sriram Rajamani (Microsoft Research, India) Geoff Sutcliffe (University of Miami, USA) Andrei Voronkov (University of Manchester, UK) ************************ Organizing Committee ************************ Organizing Committee of ZjuLogAI can be found at http://www.xixilogic.org/zjulogai/ ************************ Publication ************************ GCAI 2020 proceedings will be published in the EasyChair EPiC series in Computing. Proceedings of the previous GCAI conferences are available online: Georg Gottlob, Geoff Sutcliffe and Andrei Voronkov (editors). GCAI 2015. Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 36) https://easychair.org/publications/volume/GCAI_2015 Christoph Benzmüller, Geoff Sutcliffe and Raul Rojas (editors). GCAI 2016. 2nd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 41) https://easychair.org/publications/volume/GCAI_2016 Christoph Benzmüller, Christine Lisetti and Martin Theobald (editors). GCAI 2017. 3rd Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 50) https://easychair.org/publications/volume/GCAI_2017 Daniel Lee, Alexander Steen and Toby Walsh (editors). GCAI-2018. 4th Global Conference on Artificial Intelligence (EPiC Series in Computing, Volume 55) https://easychair.org/publications/volume/GCAI-2018 ************************ Key Dates ************************ - Abstract submission deadline: 23 November 2019 - Paper submission deadline: 30 November 2019 - Acceptance notification: 20 January 2020 - Camera ready copy due: 3 February 2020 - Conference: 6-9 April 2020 ************************ Contact ************************ All questions about submissions should be emailed to program chairs.