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 ESMTPS id A88C95D5 for ; Tue, 5 Nov 2019 18:17:28 +0000 (UTC) X-IronPort-AV: E=Sophos;i="5.68,271,1569276000"; d="scan'208";a="410500088" Received: from sympa.inria.fr ([193.51.193.213]) by mail2-relais-roc.national.inria.fr with ESMTP; 05 Nov 2019 19:17:27 +0100 Received: by sympa.inria.fr (Postfix, from userid 20132) id 808CC7F38C; Tue, 5 Nov 2019 19:17:27 +0100 (CET) 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 B93257ED20 for ; Tue, 5 Nov 2019 19:12:38 +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@mail-oi1-f225.google.com IronPort-PHdr: =?us-ascii?q?9a23=3AfkHImRP/V6+WJZmNyVUl6mtUPXoX/o7sNwtQ0KIM?= =?us-ascii?q?zox0LfT9rarrMEGX3/hxlliBBdydt6sfzbOP7uu5AT1IyK3CmUhKSIZLWR4BhJ?= =?us-ascii?q?detC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TW94jEIBxrwKxd+?= =?us-ascii?q?KPjrFY7OlcS30P2594HObwlSizexfL1/IA+roQnMtsQajpZuJro1xxDUvnZGZu?= =?us-ascii?q?NayH9yK1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU7FWFSwqPG8p6sLlsxnD?= =?us-ascii?q?VhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4ql3RBP0ji?= =?us-ascii?q?oMKjg0+3zVhMNtlqJWuA+vqQJ4zYDXbo+bNOFzcr/Bcd8GWWZMRNpdWzBHD4ih?= =?us-ascii?q?b4UPFe0BPeNAoonyuVQOqhW+BQe3Cezz0T9EnHr23awg3OQkEAHKxhIvEM8TsH?= =?us-ascii?q?nSsd77OqASUeWvw6nJyzXOd/xX2Tby6YjJdhAhpv6MXbNsfsbLzkkvDQzFgk2f?= =?us-ascii?q?qYP5JTyV1/0Bv3aH4+Z+Se6jkW8nqwd/ojio3ssjlJPGhpkVy1/Y9SV22oc1Jc?= =?us-ascii?q?eiRE58e96kH51dvDyZOYtuWs4uXX1ktSIgxrAFuZO3ZjUGxZUlyhLFdfCLbYiF?= =?us-ascii?q?7gr+WOuVPzt0nnxodK+lixux9UWs0PDwWtey3V1XtCRKiMPMuWoI1xHL6siIVP?= =?us-ascii?q?99/kC51DaKzQ/T6+VELVkzlaraNpIt27AwmoQNvUnDBCP2l0L2jKiZdkUg5Oek?= =?us-ascii?q?8fjoYrLjppOENo90jB/xMrg2l8ChHeg1NhICUmub9OimybHu/E/0TK9UgvEokq?= =?us-ascii?q?TVqJXaKt4apq69DQ9VyIEj6xOnAjepztsYmncHLFxedR2blIjlIVTOIPHiAve6?= =?us-ascii?q?glSgiilkyO3bPrH5GJXCMmDDkKv9fbZ680NT1BA8zdVb555NDrEBIenzWlPqud?= =?us-ascii?q?zDDh45NhS0zPz9BNV80IMeQ2OPDbWDPKPcq1/brt4odr2HbYoR/TL8MOQN5vj0?= =?us-ascii?q?jHZ/l0VLLoez2p5CZ32/EPpOKF7fZHvlh9ZHHGsX7Vl2d/DjlFDXCW0bXH21Ra?= =?us-ascii?q?9pvmhnWrLjNp/KQ8WWuJLExD2yR8EEbXsAD1GFFHaueomZCa9VNXCiZ/R5mzlB?= =?us-ascii?q?boCPDo8s0Rb06l3/wrtja+3Vo2gW78i+ktdy4OLXmFc58jkmV53MgVHIdHl9my?= =?us-ascii?q?YzfxFz2al+pUJnzVLajfpzmLpdFNVW5rVEXhpobJM=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AKAgAmu8FdhuGnVdFmhVBVXI0soWCBE?= =?us-ascii?q?ANUAQgBAwEMIwwBAYFMgi+EVRwHAQQ0EwIOAQEEAQEBAgECAwQBEwEBAQgLCwg?= =?us-ascii?q?phRIBKwyCOyKDDQsjAQEmBQ07NB0IAQUBIhMJDQYGgwABgncPpEmBAzyMV4J+A?= =?us-ascii?q?QEFgTgFC0FBgxMJI4EpCQkBCIEkhzuCFIJFGIF/gRGCYgKBcIFTCwEDGIEUAQs?= =?us-ascii?q?HAYNhggoijHsNEiaIIIElcpYDiDiBC4Ufhk2CLyeOD4tahD6LLoYLeoYCh2smH?= =?us-ascii?q?oFCgVQPI4FGgQk/ARoBDghyLSGCOAEzCUcRFFd+HYEeDgKDWYJZgjuFPh8jMwG?= =?us-ascii?q?PUw8XghkBAQ?= X-IPAS-Result: =?us-ascii?q?A0AKAgAmu8FdhuGnVdFmhVBVXI0soWCBEANUAQgBAwEMIww?= =?us-ascii?q?BAYFMgi+EVRwHAQQ0EwIOAQEEAQEBAgECAwQBEwEBAQgLCwgphRIBKwyCOyKDD?= =?us-ascii?q?QsjAQEmBQ07NB0IAQUBIhMJDQYGgwABgncPpEmBAzyMV4J+AQEFgTgFC0FBgxM?= =?us-ascii?q?JI4EpCQkBCIEkhzuCFIJFGIF/gRGCYgKBcIFTCwEDGIEUAQsHAYNhggoijHsNE?= =?us-ascii?q?iaIIIElcpYDiDiBC4Ufhk2CLyeOD4tahD6LLoYLeoYCh2smHoFCgVQPI4FGgQk?= =?us-ascii?q?/ARoBDghyLSGCOAEzCUcRFFd+HYEeDgKDWYJZgjuFPh8jMwGPUw8XghkBAQ?= X-IronPort-AV: E=Sophos;i="5.68,271,1569276000"; d="scan'208";a="325762977" X-MGA-submission: =?us-ascii?q?MDFeb2MeRHdP1RFClpH+WXee2sVqgm9xr/kIIj?= =?us-ascii?q?6BHNxjGbYRm1C6EcywD66XJVVpvdVtBkpj1isNiBBAgnT4QyH5QZQguy?= =?us-ascii?q?GNpBRz9gpAj5izH5gsbc4WkcOhNpcDEX4hZTVDmGsA8FxzrU2tiCT6I7?= =?us-ascii?q?tQBrUJwRB5VIYyk6brS5q6bg=3D=3D?= Received: from mail-oi1-f225.google.com ([209.85.167.225]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 05 Nov 2019 19:12:37 +0100 Received: by mail-oi1-f225.google.com with SMTP id v138so18398598oif.6 for ; Tue, 05 Nov 2019 10:12:37 -0800 (PST) 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=e+4rz60M5DhLR/fNjRD1yGxrzkTBVLZHVT2GuhHl0II=; b=r6+za42w2+Y7HaZrfjwqwWy1nUDwzMgiFdLoBYBCbaheMuB6hDgcOpKUsJjW8ygFSK xCWf9Kg3kYDE0yw23k2I097GDKHTgsufyzfz7IRZEoUItnxaXrAR0vkUIFJyp6kfD6Xz ofYbiQLIiOB5zbNg9sAanOBLZaYz5d77JKDYD3jN+RTqdI1PfTI4jgGtK6G4BJiO2V/i 3h3/pwXrOB5j4salel9ipSWLbYza7H5tRA1jIi1+mDkf9PFWcS2esTS/wpPSQeUywYfh dp9HfCNo1372EUcAm0g3QQ8XGUxtjYEU5uINQCf+gNUGi3RZLRv8xFZRprutY/gcqmq7 pmOA== 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=e+4rz60M5DhLR/fNjRD1yGxrzkTBVLZHVT2GuhHl0II=; b=Z+ve3b6TZ6/zkUCMmTSNsEMJif2nZW6QDjsWExqEFQPO21ln4xUsarO0v5eyT14KbQ 4ZS85ItLmBMHEmN4ve9+FAeNFU645jsZsBpIJO/T65OybP3IoJswCu0Mqm3iEN1jBPPV sxeRCALvnYKU11BzehNsKMebKmF8U2ZPuBEWBiPuTpFnmae8pfUEv1g/bGTFvLfY5Euf jKz19f7yvlOTiDSKeedUdPlAxXLQ7ebHxUXp4FTqnn/GAvzh8VWr1PNsYYoIUfD9o3vS 00AFZwR6Rq/ty5vfJ1GlOvH0RCgZknAqukv+ng82MWqr6nzJA7/MEnt9ZaqjvaP3WJcQ Qbqw== X-Gm-Message-State: APjAAAVn63FQbs+mtA0uHmg3oEAknmrlV9u36kdA4IEFpa4qGi/SfqOi I3qFEcX/8agSBngYaSqTWvAYcpLiHAFTiMr/m0Umu3qMWVEy8A== X-Google-Smtp-Source: APXvYqyBlHUm3O26xSZIp9AaoxJEoaKANkhYGI1a4Yh7dW0SDMuSKQ7KVxayLcREL1G+yaP5tc9uiu5hvA3Y X-Received: by 2002:aca:55d3:: with SMTP id j202mr277272oib.152.1572977555978; Tue, 05 Nov 2019 10:12:35 -0800 (PST) Received: from cs.miami.edu (ewell.cs.miami.edu. [192.31.89.12]) by smtp-relay.gmail.com with ESMTP id k13sm1923220otn.2.2019.11.05.10.12.34 for ; Tue, 05 Nov 2019 10:12:35 -0800 (PST) X-Relaying-Domain: cs.miami.edu Received: by cs.miami.edu (Postfix, from userid 3640) id E49E6170099F; Tue, 5 Nov 2019 13:12:18 -0500 (EST) To: X-Mailer: mail (GNU Mailutils 2.99.99) Message-Id: <20191105181218.E49E6170099F@cs.miami.edu> Date: Tue, 5 Nov 2019 13:12:18 -0500 (EST) From: geoff@cs.miami.edu X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] GCAI 2020 Conference and Doctoral Symposium - Calls for Papers and Participation Reply-To: geoff@cs.miami.edu X-Loop: caml-list@inria.fr X-Sequence: 17863 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 ------------------------------------------------ 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) The first day of GCAI 2020 has been set aside for tutorials and a doctoral symposium. Details are provided below. http://www.xixilogic.org/events/gcai2020/doctoral_symposium/ ************************** GCAI 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 (to be completed) ************************************ Jose Julio Alferes, Universidade NOVA de Lisboa, Portugal Serge Autexier, DFKI, Germany Christoph Benzmüller, Freie Universität Berlin, Germany Krysia Broda, Imperial College, UK Matthias R. Brust, University of Luxembourg, Luxembourg Gabriella Cortellessa, CNR-ISTC, National Research Council of Italy, Italy Wolfgang Faber, TU Wien, Austria Germain Forestier, Université de Haute Alsace, France Marco Gavanelli, University of Ferrara, Italy Gianluigi Greco, University of Calabria, Italy Mateja Jamnik, University of Cambridge, UK Juan Luis Jiménez Laredo, Université du Havre Normandie, France Tommi Junttila, Aalto University, Finland Panagiotis Kanellopoulos, University of Patras and CTI "Diophantus", Greece Gabriele Kern-Isberner, Technische Universitaet Dortmund, Germany Gang Li, Deakin University, Australia Sanjiang Li, University of Technology, Sydney, Australia Ines Lynce, INESC-ID/IST, Universidade de Lisboa, Portugal George Metcalfe, University of Bern, Switzerland Angelo Montanari, University of Udine, Italy Till Mossakowski, University of Magdeburg, Germany Apivadee Piyatumrong, National Electronics and Computer Technology Center, Thailand Radu-Emil Precup, Politehnica University of Timisoara, Romania Dumitru Roman, SINTEF, Norway Marco Roveri, FBK-irst, Italy Steven Schockaert, Cardiff University, UK Marcin Seredynski, E-Bus Competence Center, Luxembourg Inon Zuckerman, Ariel University, Israel Chenyi Zhang, Jinan University, China ************************ 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 ---------------------------------------- International Doctoral Symposium for Students of Artificial Intelligence Hangzhou, China, 6 April 2020 http://www.xixilogic.org/events/gcai2020/doctoral_symposium/ ---------------------------------------- The first day of the conference GCAI 2020 has been set aside for tutorials and a doctoral symposium. The organizers are now calling for participation of PhD students at the doctoral symposium. The goal of the International Doctoral Symposium for Students of Artificial Intelligence is twofold: On one hand, it offers training sessions on topics and skills that may be useful to future researchers and professionals of artificial intelligence. On the other hand, it aims to provide a chance to share research interests and results of PhD students in the area of artificial intelligence. To achieve these, one senior PhD supervisor will deliver a talk, sharing advice and experience of doing research in artificial intelligence. Each PhD student will then be given 5 minutes to give a short presentation introducing himself/herself and his/her research topic (no details of any work done - just the topic area and the problem being attacked). Then the students will then work in groups with similar interests, for round table discussion, followed by group presentations. Senior faculty will be there to provide feedback, to help students progress effectively with their research. Presentations should be submitted by email to the following email address: swchen@swjtu.edu.cn and include the following information: + Name(s) and affiliation(s) of the PhD student(s) + Title/ topic of the presentation + Any special resources that would be needed ************************ Key Dates: ************************ + Presentation submission deadline: 31 January 2020 + Acceptance notification: 15 February 2020 + Conference: 6-9 April 2020, doctoral symposium on 6th ************************ Organiers: ************************ Shuwei Chen (Southwest Jiaotong University, China) Geoff Sutcliffe (University of Miami, USA)