LPNMR 2026: Call for Participation

Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> Thu, 16 Jul 2026 13:46:08 +0200
Newsgroups gmane.comp.mathematics.mizar
Message-ID <CAOA8zFXitMt27bXm3JLYPxhm7F0vJBzKDC1+Wid0074ogYyH3Q@mail.gmail.com>
--0000000000000fe3d60656b8fd76
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

*** Please accept our apologies if you receive multiple copies of this Call
for Participation ***

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
LPNMR 2026: Call for Participation

18th International Conference on Logic Programming and Non-monotonic
Reasoning (LPNMR 2026)
Klagenfurt, Austria | September 7-11, 2026
Website: https://lpnmr2026.aics.aau.at
Contact us: [email protected]
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

We are pleased to invite you to participate in the 18th International
Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026).
The conference will take place at the University of Klagenfurt, Austria,
from September 7 to September 11, 2026. The event will include:

- 3 Invited Talks given by Chitta Baral, Elena Bellodi and Thomas Eiter

- 33 Paper Presentations (28 regular papers, 4 short papers, 1 recently
published research paper)

- 6th International Workshop on the Resurgence of Datalog in Academia and
Industry (DATALOG 2.0):

  https://sites.google.com/view/datalog-2-0-2026

- 5th International Workshop on HYbrid Models for Coupling Deductive and
Inductive ReAsoning (HYDRA):

  https://sites.google.com/unical.it/hydra-2026

- Doctoral Consortium:

  https://sites.google.com/unical.it/dclpnmr2026

The (preliminary) conference program is available at EasyChair:

  https://easychair.org/smart-program/LPNMR2026/

Registration to LPNMR 2026, with early registration by *August 16*, is open
at:

  https://conference3.aau.at/event/316/registrations/328/

Limited NSF support to attend LPNMR 2026 will be provided to *US-based
students*. If eligible, please complete the following form:

  https://forms.gle/mmGX1tEB621LkJFZA

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
AIMS AND SCOPE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

LPNMR 2026 is the eighteenth in the series of international conferences on
logic programming and non-monotonic reasoning. LPNMR is a forum for
exchanging ideas on declarative logic programming, non-monotonic reasoning,
and knowledge representation. The aim of the conference is to facilitate
interactions between researchers and practitioners interested in the design
and implementation of logic-based programming languages and database
systems, and those working in knowledge representation and non-monotonic
reasoning. LPNMR strives to encompass theoretical and experimental studies
that have led or will lead to advances in declarative programming and
knowledge representation, as well as their use in practical applications.
LPNMR 2026 aims to bring together researchers from LPNMR and neighboring
areas in order to share research experiences, promote collaboration and
identify directions for joint future research.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
VENUE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

LPNMR 2026 will be held on the campus of the University of Klagenfurt in
September 2026. Klagenfurt is the capital of the state Carinthia in the
south of Austria. The name Klagenfurt was first mentioned in the late 12th
century and legend has it that Klagenfurt was founded after a couple of
brave men had slain the abominable Lindwurm, a winged dragon. The city is
located next to the lake Woerthersee, one of the most beautiful lakes in
Austria, surrounded by several forest-covered hills and mountains. Being a
small city, with a Renaissance-style city center reflecting 800 years of
history and with an Italian influence, Klagenfurt is a pleasant place to
live and work.

=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D
ORGANISING COMMITTEE
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D

General Chair:
        Wolfgang Faber, University of Klagenfurt, Austria

Program Co-chairs:
        Martin Gebser, University of Klagenfurt, Austria
        Yanhong Annie Liu, Stony Brook University, USA

--=20
---------------------------------------------------------------------------=
---------------------------------------
Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica=
=20
dell'Universit=C3=A0 della Calabria
 <https://www.unical.it/5x1000>


--0000000000000fe3d60656b8fd76
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div dir=3D"ltr">*** Please accept our apologies if you receive multiple co=
pies of this Call for Participation ***<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>LPNMR 2026: Call =
for Participation<br><br>18th International Conference on Logic Programming=
 and Non-monotonic Reasoning (LPNMR 2026)<br>Klagenfurt, Austria | Septembe=
r 7-11, 2026<br>Website: <a href=3D"https://lpnmr2026.aics.aau.at">https://=
lpnmr2026.aics.aau.at</a><br>Contact us: <a href=3D"mailto:lpnmr2026@easych=
air.org">[email protected]</a><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>We are pleased to i=
nvite you to participate in the 18th International Conference on Logic Prog=
ramming and Non-monotonic Reasoning (LPNMR 2026). The conference will take =
place at the University of Klagenfurt, Austria, from September 7 to Septemb=
er 11, 2026. The event will include:<br><br>- 3 Invited Talks given by Chit=
ta Baral, Elena Bellodi and Thomas Eiter<br><br>- 33 Paper Presentations (2=
8 regular papers, 4 short papers, 1 recently published research paper)<br><=
br>- 6th International Workshop on the Resurgence of Datalog in Academia an=
d Industry (DATALOG 2.0):<br><br>=C2=A0 <a href=3D"https://sites.google.com=
/view/datalog-2-0-2026">https://sites.google.com/view/datalog-2-0-2026</a><=
br><br>- 5th International Workshop on HYbrid Models for Coupling Deductive=
 and Inductive ReAsoning (HYDRA):<br><br>=C2=A0 <a href=3D"https://sites.go=
ogle.com/unical.it/hydra-2026">https://sites.google.com/unical.it/hydra-202=
6</a><br><br>- Doctoral Consortium:<br><br>=C2=A0 <a href=3D"https://sites.=
google.com/unical.it/dclpnmr2026">https://sites.google.com/unical.it/dclpnm=
r2026</a><br><br>The (preliminary) conference program is available at EasyC=
hair:<br><br>=C2=A0 <a href=3D"https://easychair.org/smart-program/LPNMR202=
6/">https://easychair.org/smart-program/LPNMR2026/</a><br><br>Registration =
to LPNMR 2026, with early registration by *August 16*, is open at:<br><br>=
=C2=A0 <a href=3D"https://conference3.aau.at/event/316/registrations/328/">=
https://conference3.aau.at/event/316/registrations/328/</a><br><br>Limited =
NSF support to attend LPNMR 2026 will be provided to *US-based students*. I=
f eligible, please complete the following form:<br><br>=C2=A0 <a href=3D"ht=
tps://forms.gle/mmGX1tEB621LkJFZA">https://forms.gle/mmGX1tEB621LkJFZA</a><=
br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br>AIMS AND SCOPE<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>LPNMR 2026 is the eigh=
teenth in the series of international conferences on logic programming and =
non-monotonic reasoning. LPNMR is a forum for exchanging ideas on declarati=
ve logic programming, non-monotonic reasoning, and knowledge representation=
. The aim of the conference is to facilitate interactions between researche=
rs and practitioners interested in the design and implementation of logic-b=
ased programming languages and database systems, and those working in knowl=
edge representation and non-monotonic reasoning. LPNMR strives to encompass=
 theoretical and experimental studies that have led or will lead to advance=
s in declarative programming and knowledge representation, as well as their=
 use in practical applications.<br>LPNMR 2026 aims to bring together resear=
chers from LPNMR and neighboring areas in order to share research experienc=
es, promote collaboration and identify directions for joint future research=
.<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D<br>VENUE<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br><br>LPNMR 2026 will be held on the =
campus of the University of Klagenfurt in September 2026. Klagenfurt is the=
 capital of the state Carinthia in the south of Austria. The name Klagenfur=
t was first mentioned in the late 12th century and legend has it that Klage=
nfurt was founded after a couple of brave men had slain the abominable Lind=
wurm, a winged dragon. The city is located next to the lake Woerthersee, on=
e of the most beautiful lakes in Austria, surrounded by several forest-cove=
red hills and mountains. Being a small city, with a Renaissance-style city =
center reflecting 800 years of history and with an Italian influence, Klage=
nfurt is a pleasant place to live and work.<br><br>=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D<br>ORGANISING COM=
MITTEE<br>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
=3D=3D=3D=3D=3D=3D<br><br>General Chair:<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 Wol=
fgang Faber, University of Klagenfurt, Austria<br><br>Program Co-chairs:<br=
>=C2=A0 =C2=A0 =C2=A0 =C2=A0 Martin Gebser, University of Klagenfurt, Austr=
ia<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 Yanhong Annie Liu, Stony Brook University=
, USA</div>

<br>
<div style=3D"font-family:Arial,Helvetica,sans-serif;font-size:1.3em">-----=
-------------------------<span></span><span></span><span></span><span></spa=
n><span></span><span></span><span></span><wbr>-----------------------------=
-<span></span><span></span><span></span><span></span><span></span><span></s=
pan><span></span><wbr>------------------------------<span></span><span></sp=
an><span></span><span></span><span></span><span></span><span></span><wbr>--=
----------------------</div><div><font face=3D"Arial, Helvetica, sans-serif=
"><span style=3D"font-size:13px">Il banner =C3=A8 generato automaticamente =
dal servizio di posta elettronica dell&#39;Universit=C3=A0 della Calabria</=
span></font></div><div><font face=3D"Arial, Helvetica, sans-serif"><span st=
yle=3D"font-size:13px"><a href=3D"https://www.unical.it/5x1000" target=3D"_=
blank"><img src=3D"https://www.unical.it/uuid-media/ec0319a7-45d7-49d8-9d9d=
-45463b1ed86d/" alt=3D"https://www.unical.it/5x1000"></a><br></span></font>=
</div>
--0000000000000fe3d60656b8fd76--