17-19 Sep 2019
Bolzano, Italy
The 5th Global Conference on Artificial Intelligence (GCAI 2019) will be held in Bolzano, 17-19 September 2019. The core objective of GCAI 2019 is to bring together the two main souls of AI, namely symbolic reasoning and machine/deep learning, applied to both software and robotic systems. See https://gcai2019.inf.unibz.it/ GCAI 2019 will be held as part of the Bolzano Rules and Artificial INtelligence Summit (BRAIN 2019). With a special focus theme on "beneficial AI", BRAIN 2019 aims at presenting the latest advancements in AI and rules and their adoption in IT systems towards improving key fields such as environment, health and societies. Submissions that address this theme within the general topics of GCAI are especially welcome. See https://brain2019.inf.unibz.it/ SUBMISSION GUIDELINES GCAI 2019 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 14 June 2019, full papers and extended abstracts are due on 21 June 2019, and decisions will be made by 26 July 2019. Instructions for authors and EasyChair paper templates can be found athttps://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 + Explainable AI + 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 + Human-machine interaction + 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 COMMITTEES Program Chairs Diego Calvanese (Free University of Bozen-Bolzano, Italy) Luca Iocchi (Sapienza University of Rome, Italy) Program Committee The PC members are currently being invited; we plan to have about 40 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 of GCAI and BRAIN 2019https://brain2019.inf.unibz.it/?p=organization PUBLICATION GCAI 2019 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: 14 June 2019 - Paper submission deadline: 21 June 2019 - Acceptance notification: 26 July 2019 - Camera ready copy due: 16 August 2019 - Conference: 17-19 September 2019 VENUE The conference will be held in the main building of the Free University of Bozen-Bolzano, Bolzano Italy, 17-19 September 2019. CONTACT All questions about submissions should be emailed to the program chairs. -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam