17-26 Sep 2018
Luxembourg, Luxembourg
============================================== Luxembourg Logic for AI Summit (LuxLogAI 2018) 17-26 Sep 2018, Luxembourg https://luxlogai.uni.lu ============================================== The Luxembourg Logic for AI Summit (LuxLogAI 2018<https://luxlogai.uni.lu>) brings together the 2nd International Joint Conference on Rule and Reasoning (RuleML+RR 2018<https://ruleml2018.gforge.uni.lu/>), the Reasoning Web Summer School (RW 2018<https://ruleml2018.gforge.uni.lu/rw.html>), the Global Conference on Artificial Intelligence (GCAI 2018<https://easychair.org/smart-program/GCAI-2018/>), DecisionCAMP 2018<https://decisioncamp2018.wordpress.com/> and the annual meeting of the Deduction Systems group (Deduktionstreffen 2018<http://fg-dedsys.gi.de/dt2018.html>) of the German Gesellschaft für Informatik (GI). With its special focus theme on ?methods and tools for responsible AI?, a core objective of LuxLogAI is to present the latest developments and progress made on the crucial question of how to make AI more transparent, responsible and accountable. ==First Call For Posters== RuleML+RR 2018<https://ruleml2018.gforge.uni.lu/> calls for additional short poster papers related to theoretical advances, novel technologies, and innovative applications concerning knowledge representation and reasoning with rules. A Best Poster Award will be given to the best poster presentation. The full Call for Posters, including submission details, is available at http://2018.ruleml-rr.org/call-for-posters.html. Important dates: -Poster paper submission: 1 August 2018 -Author notification: 15 August 2018 -Camera-ready submission: 31 August 2018 ==First Call For Abstracts== The annual meeting Deduktionstreffen (Deduktionstreffen 2018<http://fg-dedsys.gi.de/dt2018.html>) is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society (Gesellschaft für Informatik<https://gi.de/>). It is a meeting with a familiar, friendly atmosphere, where everyone (not only the German community) interested in deduction can report on their work in an informal setting. The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys. Contributions on all theoretical, experimental and application aspects of deduction are welcome. Invited speakers: Cynthia Kop (Radboud University Nijmegen) Pascal Fontaine (Université de Lorraine, Nancy) For further information about the Deduktionstreffen 2018, please visit http://fg-dedsys.gi.de/dt2018.html. Important dates: -Early bird submission: 5 July 2018 (Notification: 15 July 2018) -Standard submission: 5 August 2018 (Notification: 15 August 2018) -Deduktionstreffen: 21 September 2018 ==First Call For Applications== In order to give PhD students and Postdocs (with limited funding) the opportunity to attend LuxLogAI, the organizers are awarding a number of grants to motivated applicants. In return, successful applicants are asked to assist the local organization team during the conference. For further details, including how to submit your application, visit https://luxlogai.uni.lu/grants/. Important dates: -Early bird application deadline: 30 June 2018 -Successful applicants will be notified before: 15 August 2018 -Second round application deadline: 20 August 2018 -Successful applicants will be notified on: 1 September 2018 -- [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