[LPNMR 2026] [Call for Papers: Recently Published Research Track] 18th International Conference on Logic Programming and Non-monotonic Reasoning
Antonio Ielo antonio.ielo _AT_ unical.it <[email protected]> Tue, 2 Jun 2026 09:02:45 +0200
| Newsgroups | gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CAOA8zFW+oYSN=CaB-Z-fz8YaOX3EtH1GDcoZv03hxOsGwiptrQ@mail.gmail.com> |
--00000000000087b7f006533fe60c 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 Contributions *** =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=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: Recently Published Research Track - Call for Contributions 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] Submission: https://easychair.org/conferences/?conf=3Dlpnmr2026 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D IMPORTANT DATES =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D - Abstract submission: *June 18, 2026* - Acceptance notification: June 25, 2026 - Final versions due: July 2, 2026 - Conference: September 7-11, 2026 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=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. The LPNMR 2026 Recently Published Research (RPR) track provides a forum to discuss recent research on topics related to logic programming and non-monotonic reasoning. We invite submissions of extended abstracts of papers that have appeared or have been accepted for publication in journals or conference proceedings in the years 2024-2026, but which have *not* already been presented at LPNMR. (Papers that have been presented at informal workshops, but have neither been published nor accepted at a journal or conference, are not eligible for the LPNMR 2026 RPR track.) The extended abstract should give an overview of the contributions of the published or accepted paper and outline its relevance to LPNMR. =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D SUBMISSION AND PUBLICATION =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=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 welcomes submissions of extended abstracts of up to 2 pages length (excluding references). Submissions must be written in English and be formatted according to Springer's guidelines and technical instructions available at: https://www.springer.com/gp/computer-science/lncs/conference-proceedings-gu= idelines Extended abstracts must be submitted electronically via EasyChair: https://easychair.org/conferences/?conf=3Dlpnmr2026 Extended abstracts accepted to the LPNMR 2026 RPR track will be linked from the conference web site. At least one author of each accepted contribution is required to register for the conference to present the 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 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> --00000000000087b7f006533fe60c 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 Contributions ***<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: Recen= tly Published Research Track - Call for Contributions<br><br>18th Internati= onal Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 202= 6)<br>Klagenfurt, Austria | September 7-11, 2026<br>Website: <a href=3D"htt= ps://lpnmr2026.aics.aau.at">https://lpnmr2026.aics.aau.at</a><br>Contact us= : <a href=3D"mailto:[email protected]">[email protected]</a><br= >Submission: <a href=3D"https://easychair.org/conferences/?conf=3Dlpnmr2026= ">https://easychair.org/conferences/?conf=3Dlpnmr2026</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><b= r>=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=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>IMPORTANT DATES<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>- Abstract submission: *June= 18, 2026*<br>- Acceptance notification: June 25, 2026<br>- Final versions = due: July 2, 2026<br>- Conference: September 7-11, 2026<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>AI= MS 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 eighteenth in the series = of international conferences on logic programming and non-monotonic reasoni= ng. LPNMR is a forum for exchanging ideas on declarative logic programming,= non-monotonic reasoning, and knowledge representation. The aim of the conf= erence is to facilitate interactions between researchers and practitioners = interested in the design and implementation of logic-based programming lang= uages and database systems, and those working in knowledge representation a= nd non-monotonic reasoning. LPNMR strives to encompass theoretical and expe= rimental studies that have led or will lead to advances in declarative prog= ramming and knowledge representation, as well as their use in practical app= lications.<br>LPNMR 2026 aims to bring together researchers from LPNMR and = neighboring areas in order to share research experiences, promote collabora= tion and identify directions for joint future research.<br><br>The LPNMR 20= 26 Recently Published Research (RPR) track provides a forum to discuss rece= nt research on topics related to logic programming and non-monotonic reason= ing. We invite submissions of extended abstracts of papers that have appear= ed or have been accepted for publication in journals or conference proceedi= ngs in the years 2024-2026, but which have *not* already been presented at = LPNMR. (Papers that have been presented at informal workshops, but have nei= ther been published nor accepted at a journal or conference, are not eligib= le for the LPNMR 2026 RPR track.) The extended abstract should give an over= view of the contributions of the published or accepted paper and outline it= s relevance to LPNMR.<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>SUBMISSION AND PUBLICATION<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 welcomes submissions of extended abstracts of up to 2= pages length (excluding references). Submissions must be written in Englis= h and be formatted according to Springer's guidelines and technical ins= tructions available at:<br><br><a href=3D"https://www.springer.com/gp/compu= ter-science/lncs/conference-proceedings-guidelines">https://www.springer.co= m/gp/computer-science/lncs/conference-proceedings-guidelines</a><br><br>Ext= ended abstracts must be submitted electronically via EasyChair:<br><br><a h= ref=3D"https://easychair.org/conferences/?conf=3Dlpnmr2026">https://easycha= ir.org/conferences/?conf=3Dlpnmr2026</a><br><br>Extended abstracts accepted= to the LPNMR 2026 RPR track will be linked from the conference web site. A= t least one author of each accepted contribution is required to register fo= r the conference to present the 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>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 Klagenfurt was first mentioned in the late 12th = century and legend has it that Klagenfurt was founded after a couple of bra= ve men had slain the abominable Lindwurm, a winged dragon. The city is loca= ted next to the lake Woerthersee, one of the most beautiful lakes in Austri= a, 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 w= ork.<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 COMMITTEE<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 Wolfgang Faber, University of Klagenfurt, = Austria<br><br>Program Co-chairs:<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 Martin Geb= ser, University of Klagenfurt, Austria<br>=C2=A0 =C2=A0 =C2=A0 =C2=A0 Yanho= ng Annie Liu, Stony Brook University, USA<br><br></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'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> --00000000000087b7f006533fe60c--