<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<div>[Our apologies should you receive this message more than once]<br>
<br>
===========================================<br>
<br>
<a href="http://fg-dedsys.gi.de/dt2018.html" class="OWAAutoLink">Deduktionstreffen 2018</a><br>
September 21, 2018, University of Luxembourg<br>
<br>
Part of <a href="https://luxlogai.uni.lu/" class="OWAAutoLink">Luxembourg Logic for AI Summit (LuxLogAI 2018)</a><br>
<br>
===========================================<br>
<br>
==Overview==<br>
The annual meeting <a href="http://fg-dedsys.gi.de/dt2018.html" class="OWAAutoLink">Deduktionstreffen</a> is the prime activity of the Interest Group for Deduction Systems (FGDedSys) of the German Informatics Society. It is a meeting with a familiar, friendly
atmosphere, where everyone interested in deduction can report on their work in an informal setting.<br>
<br>
A special focus of the Deduktionstreffen is on young researchers and students, who are particularly encouraged to present their ongoing research projects to a wider audience. Another goal of the meeting is to stimulate networking effects and to foster collaborative
research projects.<br>
<br>
==Organization==<br>
We welcome contributions on all theoretical, experimental and application aspects of deduction. Accepted abstracts are first presented in a five minute teaser talk and then discussed next to a poster (maximal size: A0 portrait).<br>
<br>
The Deduktionstreffen will also host the annual general meeting of the members of FGDedSys.<br>
<br>
Deduktionstreffen 2018 is associated with the Luxembourg Logic for AI Summit (LuxLogAI), which brings together several renowned conferences and events, including RuleML+RR 2018, DecisionCAMP 2018, the Reasoning Web Summer School (RW 2018), the Global Conference
on Artificial Intelligence (GCAI 2018) and the MIREL 2018 workshop.<br>
<br>
==Submission==<br>
Submission is open to everybody interested in deduction systems. Particularly encouraged are submissions that address one or several topics of the overall focus theme of the LuxLogAI Summit: Methods and Tools for Responsible AI.<br>
Please submit a one-page abstract of your contribution on <a href="https://easychair.org/conferences/?conf=deduktionstreffen20180" class="OWAAutoLink">
EasyChair</a> (<a href="https://easychair.org/conferences/?conf=deduktionstreffen20180" class="OWAAutoLink" id="LPlnk132181" previewremoved="true">https://easychair.org/conferences/?conf=deduktionstreffen20180</a>
)<br>
</div>
<div><br>
</div>
<div>Early submission: July 5 (Notification: July 15)
</div>
<div>Standard submission: August 5 (Notification: August 15)
<br>
</div>
<div><br>
</div>
<div>Early submission is meant to grant planning reliability to interested students and researchers, e.g. if they would like to apply for travel grants.<br>
<br>
In particular, LuxLogAI will award a limited number of travel grants to master/PhD students, see https://luxlogai.uni.lu for details.<br>
<br>
==Invited Speakers==<br>
• Cynthia Kop, Nijmegen<br>
• Pascal Fontaine, Nancy<br>
<br>
==Program Committee (provisional)==<br>
• Serge Autexier<br>
• Bernhard Beckert<br>
• Christoph Benzmüller<br>
• Jasmin Blanchette<br>
• Jürgen Giesl<br>
• Matthias Horbach (co-chair)<br>
• Dieter Hutter<br>
• Manfred Kerber<br>
• Christoph Kreitz<br>
• Jens Otten<br>
• Florian Rabe<br>
• Stephan Schulz<br>
• Viorica Sofronie-Stokkermans<br>
• Volker Sorge<br>
• Alexander Steen (co-chair)<br>
• Uwe Waldmann (co-chair)<br>
• Christoph Weidenbach<br>
<br>
==Organizers==<br>
• Alexander Steen
</div>
<div>• Uwe Waldmann <br>
• Matthias Horbach<br>
<br>
====================================================<br>
<p><br>
</p>
<div id="Signature">
<div style="font-family:Tahoma; font-size:13px">
<div style="font-family:Tahoma; font-size:13px">
<div style="font-family:Tahoma; font-size:13px">
<div style="">
<div style="">
<div style="">
<div style="">
<div style="">
<div style=""><font style="font-family:Tahoma; font-size:13px" face="Arial">Schéi Gréiss | Mit Freundlichen Grüßen | Meilleures Salutations | With Kind Regards</font>
<div style="font-family:Tahoma; font-size:13px"><span style="font-family:Calibri,sans-serif"><font size="3"><br>
</font></span></div>
<div style="font-family:Tahoma; font-size:13px"><font size="2" face="Arial" color="#000080">Amal Tawakuli</font></div>
<div style="font-size:13px"><font size="1" face="Arial" color="#000080">Doctoral Candidate and Publicity chair of LuxLogAI</font></div>
<font size="1" face="Arial"></font>
<div style=""><font size="1" face="Arial" color="#000080">Big Data and Data Science Research Group - ILIAS Lab - C</font><font size="1" face="Arial"><span style="color:rgb(0,0,128); font-size:x-small">SC Research Unit</span></font></div>
<div style="font-family:Tahoma; font-size:13px"><span style="font-family:Calibri,sans-serif"><font size="2" color="#000080"><br>
</font></span></div>
<div style="font-family:Tahoma; font-size:13px">
<div style="margin:0px"><font size="1" face="Arial" color="#000080"><span lang="fr"><b>UNIVERSITÉ DU LUXEMBOURG</b></span></font></div>
<div style="margin:0px"><font size="2"><font face="Calibri" color="#000080"><span lang="fr"><b> </b></span></font></font></div>
<div style="margin:0px"><font size="1" face="Arial" color="#000080">Campus Belval</font></div>
<div style="margin:0px"><font size="1" face="Arial" color="#000080"><span lang="fr">6, avenue de la Fonte</span></font></div>
<div style="margin:0px"><font size="1" face="Arial" color="#000080"><span lang="fr">L-4364 Esch-sur-Alzette/Belval</span></font></div>
<div style="margin:0px"><font size="1" face="Arial" color="#000080">T +352 46 66 44 9811</font></div>
<div style="margin:0px"><font size="1" face="Arial" color="#000080"><b><a tabindex="0" href="https://owa.uni.lu/owa/redir.aspx?C=gqvT-Fo47D-mezquELAKE3Op6ebmaXZ3zIhdOvU3I6pycuhXLAvVCA..&URL=mailto%3amyriam.streff%40uni.lu" target="_blank" id="LPNoLP">amal.tawakuli@uni.lu</a></b></font></div>
<div style="margin:0px"><font size="1" face="Arial" color="#000080">www.uni.lu</font></div>
</div>
<div style="font-family:Tahoma; font-size:13px"></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>