Skip to content

Commit 982dcfa

Browse files
jcaillerjcailler
committed
AAR Newsletter
1 parent 44c51bc commit 982dcfa

File tree

1 file changed

+64
-2
lines changed

1 file changed

+64
-2
lines changed

‎aarnewsletter.html‎

Lines changed: 64 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
<!DOCTYPE html>
1+
<!DOCTYPE html">
22
<html xmlns="http://www.w3.org/1999/xhtml">
33

44
<head>
@@ -196,6 +196,7 @@ <h1><a href="http://www.aarinc.org/">
196196
</li>
197197
<li><a href="#CICM2025">CICM 2025: 18th Conference on Intelligent Computer Mathematics and LSFA 2025: 20th
198198
International Symposium on Logical and Semantic Frameworks, with Applications, call for papers</a></li>
199+
<li><a href="#jelia2025">JELIA 2025:19th European Conference on Logics in Artificial Intelligence</a></li>
199200
<li><a href="#ECAI2025">ECAI-2025: 28th European Conference on Artificial Intelligence</a></li>
200201
<li><a href="#RuleML+RR 2025">RuleML+RR 2025: 9th International Joint Conference on Rules and Reasoning</a>
201202
</li>
@@ -903,7 +904,7 @@ <h3 id="FMCAD25"><a href="https://fmcad.org/FMCAD25/">FMCAD 2025: 25th Internati
903904
<p>
904905
<b>Important Dates (AoE):</b><br />
905906
<ul>
906-
<li>Abstract Submission Deadline: April 20, 2025</li>
907+
<li>Abstract Submission Deadline: <b>April 20, 2025</b></li>
907908
<li>Paper Submission Deadline: April 27, 2025</li>
908909
<li>Author Response: June 17 - June 19, 2025</li>
909910
<li>Author Notification: July 1, 2025</li>
@@ -1056,6 +1057,66 @@ <h3 id="ECAI2025"><a href="https://ecai2025.org/">ECAI-2025: 28th European Confe
10561057
</p>
10571058
</div>
10581059

1060+
<div id="conf-jelia">
1061+
<h3 id="jelia2025"><a href="https://viam.science.tsu.ge/jelia2025/">JELIA 2025:19th European Conference on
1062+
Logics in Artificial Intelligence</a>, call for papers</h3>
1063+
<div class="details">September 1-5, 2025, Kutaisi International University, Kutaisi, Georgia</div>
1064+
1065+
<p>
1066+
The aim of JELIA 2025 is to bring together active researchers interested in the use of logics in Artificial
1067+
Intelligence, in order to discuss current research, results, problems, and applications of both theoretical
1068+
and
1069+
practical nature. JELIA strives to foster links and facilitate cross-fertilization of ideas among researchers
1070+
from
1071+
various disciplines, among researchers from academia and industry, and between theoreticians and
1072+
practitioners.
1073+
</p>
1074+
1075+
<p>
1076+
Topics of interest include (but are not restricted to):
1077+
<ul>
1078+
<li>Abductive and inductive reasoning</li>
1079+
<li>Applications of logic-based AI systems</li>
1080+
<li>Argumentation</li>
1081+
<li>Automated reasoning including satisfiability checking and its extensions</li>
1082+
<li>Causality and logics</li>
1083+
<li>Computational complexity and expressiveness</li>
1084+
<li>Deontic logic and normative systems</li>
1085+
<li>Description logics and other logical approaches to ontologies</li>
1086+
<li>Knowledge representation, reasoning, and compilation</li>
1087+
<li>Learning and reasoning</li>
1088+
<li>Logic programming, answer set programming, constraint logic programming</li>
1089+
<li>Logics in machine learning</li>
1090+
<li>Logics for uncertain and probabilistic reasoning</li>
1091+
<li>Logics in multi-agent systems, games, and social choice</li>
1092+
<li>Neural networks and logic rules</li>
1093+
<li>Non-classical logics, such as modal, temporal, epistemic, dynamic, spatial, paraconsistent, and hybrid
1094+
logics</li>
1095+
<li>Nonmonotonic logics, default logics, conditional logics</li>
1096+
<li>Planning and diagnosis based on logic</li>
1097+
<li>Preferences and optimization</li>
1098+
<li>Reasoning about actions</li>
1099+
<li>Updates, belief revision and nonmonotonic reasoning</li>
1100+
</ul>
1101+
</p>
1102+
1103+
1104+
<p>
1105+
<b>Important Dates (AoE):</b><br />
1106+
<ul>
1107+
<li>Abstract submission: <b>May 2, 2025</b></li>
1108+
<li>Paper submission: May 9, 2025</li>
1109+
<li>Notification of acceptance: July 1, 2025</li>
1110+
<li>Camera-ready due: July 10, 2025</li>
1111+
</ul>
1112+
1113+
</p>
1114+
1115+
<p>More information is available on the conference's <a href="https://viam.science.tsu.ge/jelia2025/">web
1116+
page</a>.
1117+
</p>
1118+
</div>
1119+
10591120
<div id="conf-RuleML+RR">
10601121
<h3 id="RuleML+RR 2025"><a href="https://2025.declarativeai.net/events/ruleml-rr">RuleML+RR 2025: 9th
10611122
International Joint Conference on Rules and Reasoning</a>, call for papers</h3>
@@ -1120,6 +1181,7 @@ <h3 id="RuleML+RR 2025"><a href="https://2025.declarativeai.net/events/ruleml-rr
11201181
</div>
11211182

11221183

1184+
11231185
</div>
11241186

11251187
<div id="workshops">

0 commit comments

Comments
 (0)