16-17 Jul 2016
New York NY, U.S.A.
== 11th INTERNATIONAL WORKSHOP ON NEURAL-SYMBOLIC LEARNING AND REASONING (NeSy?16) == Location: New York City, USA Date: July 16 & 17, 2016 Website: http://www.neural-symbolic.org/NeSy16/ <http://www.neural-symbolic.org/NeSy16/> --------------- NeSy?16 is part of HLAI 2016, the Joint Multi-Conference on Human-Level Artificial Intelligence (http://www.hlai2016.org <http://www.hlai2016.org/>) --------------- == EXTENDED SUBMISSION DEADLINE == The submission deadline for NeSy?16 has been postponed to Sunday, May 29, 2016. == REGISTRATION IS OPEN == Registration is handled via the Online Store of the City University London. Early-bird registration is open until Juni 25, 2016, at a price of 75,- GBP (approx. US$110). Late registration from June 26, 2016, is possible at a price of 125,- GBP (approx. US$180). Registration for NeSy?16 covers the participation in the workshop itself and the indicated keynote lectures, as well as an entrance ticket to the general HLAI 2016 reception and poster session on the evening of July 17, 2016. Please go to http://www.neural-symbolic.org/NeSy16/ <http://www.neural-symbolic.org/NeSy16/> in order to register for NeSy?16. == KEYNOTE SPEAKERS == Leon Bottou (Facebook AI Research, U.S.A.) Gary Marcus (New York University & Geometric Intelligence Inc., U.S.A.) == CALL FOR PAPERS == Artificial Intelligence researchers continue to face huge challenges in their quest to develop truly intelligent systems. The recent developments in the field of neural-symbolic integration bring an opportunity to integrate well-founded symbolic artificial intelligence with robust neural computing machinery to help tackle some of these challenges. The Workshop on Neural-Symbolic Learning and Reasoning is intended to create an atmosphere of exchange of ideas, providing a forum for the presentation and discussion of the key topics related to neural-symbolic integration. Topics of interest include: · The representation of symbolic knowledge by connectionist systems; · Neural Learning theory. · Integration of logic and probabilities, e.g., in neural networks, but also more generally; · Structured learning and relational learning in neural networks; · Logical reasoning carried out by neural networks; · Integrated neural-symbolic learning approaches; · Extraction of symbolic knowledge from trained neural networks; · Integrated neural-symbolic reasoning; · Neural-symbolic cognitive models; · Biologically-inspired neural-symbolic integration; · Applications in robotics, simulation, fraud prevention, natural language processing, semantic web, software engineering, fault diagnosis, bioinformatics, visual intelligence, etc. == Submission == Researchers and practitioners are invited to submit original papers that have not been submitted for review or published elsewhere. Submitted papers must be written in English, must be formatted according to the Springer LNCS style, and should not exceed 10 pages (excluding references/bibliography) in the case of research and experience papers, and 6 pages (excluding references/bibliography) in the case of position papers or technical notes. All submitted papers will be judged based on their quality, relevance, originality, significance, and soundness. Papers must be submitted through EasyChair (please see http://www.neural-symbolic.org/NeSy16/ <http://www.neural-symbolic.org/NeSy16/> for details). Additionally, for the first time presentations based on extended abstracts will be considered. These shall allow to report on latest results which had not been available at the time of paper submission. Therefore, the abstract deadline is significantly closer to the workshop date. Extended abstracts may not exceed 2 pages (including references/bibliography) and should aim to give a good impression of the type of work conducted, the achieved results and their importance for the field. == Presentation == Selected papers will be presented during the workshop. The workshop will include extra time for audience discussion of the presentation allowing the group to have a better understanding of the issues, challenges, and ideas being presented. == Publication == Accepted papers will be published in official workshop proceedings within the CEUR-WS.org <http://ceur-ws.org/> series. Authors of the best papers will be invited to submit a revised and extended version of their papers to the newly-established corresponding track of the Journal of Artificial Intelligence Research (JAIR). Accepted abstracts will also be included in the official workshop proceedings. If judged appropriate after presentation and discussion during the workshop, full papers based on the abstracts may also be invited to the JAIR track. == Important Dates == Deadline for paper submission (EXTENDED): May 29, 2016 Notification of paper acceptance/rejection: June 15, 2016 Deadline for abstract submission: June 20, 2016 Notification of abstract acceptance/rejection: June 24, 2016 Camera-ready paper due: July 1, 2016 Workshop day: July 16 & 17, 2016 HLAI 2016 conference: July16-19, 2016 == Workshop Organisers == Tarek R. Besold (Free University of Bozen-Bolzano, Italy) Whitney Tabor (University of Connecticut, U.S.A.) Luciano Serafini (Fondazione Bruno Kessler, Italy) Luis Lamb (Universidade Federal do Rio Grande do Sul, Brazil) == Programme Committee == Antoine Bordes (Facebook AI Research, U.S.A.) Artur d?Avila Garcez (City University London, UK) James Davidson (Google Inc., U.S.A.) Robert Frank (Yale University, U.S.A.) Ross Gayler (Melbourne, Australia) Ramanathan Guha (Google Inc., U.S.A.) Steffen Hölldobler (TU Dresden, Germany) Thomas Icard (Stanford University, U.S.A.) Kristian Kersting (TU Dortmund, Germany) Kai-Uwe Kühnberger (Universität Osnabrück, Germany) Simon Levy (Washington and Lee University, U.S.A.) Stephen Muggleton (Imperial College London, UK) Isaac Noble (Google Inc., U.S.A.) Andrea Passerini (University of Trento, Italy) Christopher Potts (Stanford University, U.S.A.) Daniel L. Silver (Acadia University, Canada) Ron Sun (Rensselaer Polytechnic Institute, U.S.A.) Jakub Szymanik (University of Amsterdam, The Netherlands) Serge Thill (University of Skovde, Sweden) Michael Witbrock (Cycorp & Lucid.ai, U.S.A.) Frank van der Velde (University of Twente, The Netherlands) == ADDITIONAL INFORMATION == General questions concerning the workshop should be addressed to TarekRichard.Besold@unibz.it <mailto:TarekRichard.Besold@unibz.it>. For additional information, please see the workshop website at http://www.neural-symbolic.org/NeSy16/ <http://www.neural-symbolic.org/NeSy16/>. For additional information on HLAI 2016 in general, please see the general website at http://www.hlai2016.org <http://www.hlai2016.org/> or the HLAI 2016 Facebook page at http://www.facebook.com/hlaiconference/ <http://www.facebook.com/hlaiconference/>. The neural-symbolic integration mailing list will be used for announcements and discussions. -- [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