[Call for Papers: Doctoral Consortium] (LPNMR 2026) 18th International Conference on Logic Programming and Non-monotonic Reasoning
Antonio Ielo via clean-list <[email protected]> Mon, 29 Jun 2026 10:33:29 +0200
| Newsgroups | gmane.comp.lang.clean,gmane.science.mathematics.discrete,gmane.comp.mathematics.hol,gmane.comp.lang.haskell.general,gmane.comp.mathematics.mizar |
|---|---|
| Message-ID | <CAOA8zFXsa6v7gOw5tG3ocGUh0Ou-X3Vo=-PE16L3VYaxNjaNfw@mail.gmail.com> |
--===============2918606149123233394== Content-Type: multipart/alternative; boundary="000000000000be982c065560503b" --000000000000be982c065560503b Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable *** Please accept our apologies if you receive multiple copies of this CFP *** The Doctoral Consortium (DC) of LPNMR 2026 will take place as part of the 18th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2026), held in Klagenfurt, Austria, on September 7=E2=80= =9311, 2026. (Website Link <https://eur01.safelinks.protection.outlook.com/?url=3D= https%3A%2F%2Fsites.google.com%2Funical.it%2Fdclpnmr2026&data=3D05%7C02%7Cc= lean-list%40science.ru.nl%7C403d5eef65aa451483c508ded5b920d7%7C084578d9400d= 4a5aa7c7e76ca47af400%7C1%7C0%7C639183192118907051%7CUnknown%7CTWFpbGZsb3d8e= yJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIs= IldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=3DwNYqsv0LmUxea9e4uS7tPz4Agze%2ByeU= OF5fuvRmvPOM%3D&reserved=3D0>) GOALS The DC aims to provide a dedicated forum for Ph.D. students working in areas related to logic programming and non-monotonic reasoning. It offers participants a stimulating and informal environment to engage with established researchers and fellow students through research presentations, discussions, and mentoring activities. Each participant will present their research work and receive detailed feedback. The main objectives of the DC are: - To offer doctoral students a supportive and open setting in which to present their research ideas, learn about ongoing work by peers, and receive constructive feedback. - To provide insights into key aspects of doctoral studies and academic careers. - To foster a collaborative research environment and build a community of young scholars. - To support early-career researchers by offering guidance on academic, industrial, and alternative career paths. To additionally promote the attendance of the LPNMR 2026 main conference, accepted applicants may be waived the registration fees and receive partial financial support for their travel and accommodation (the exact amount depending on the available funding). IMPORTANT DATES (Tentative) - Paper submission: June 30, 2026 - Notification to authors: July 30, 2026 - Camera-ready submission: August 7, 2026 - Doctoral Consortium: September 7, 2026 TARGET AUDIENCE The DC is primarily intended for students currently enrolled in a Ph.D. program. However, applications from exceptional candidates (e.g., Master=E2= =80=99s students planning to pursue doctoral studies) will also be considered. Students at any stage of their doctoral studies are welcome to apply. Applicants are expected to conduct research in areas related to logic programming. Topics of interest include, but are not limited to: - Foundations: Semantics, Formalisms, Nonmonotonic Reasoning, Knowledge Representation. - Languages: Concurrency, Objects, Coordination, Mobility, Higher-Order Programming, Types, Modes, Assertions, Modules, Meta-programming, Domain-specific Languages, Programming Techniques. - Declarative Programming: Program Development, Analysis, Type and Mode Inference, Partial Evaluation, Abstract Interpretation, Transformation, Validation, Verification, Debugging, Profiling, Testing, Reasoning, Visualization. - Implementation: Virtual Machines, Compilation, Memory Management, Parallel and Distributed Execution, Constraint Handling Rules, Tabling, Foreign Interfaces, User Interfaces. - Related Paradigms and Synergies: Neuro-symbolic AI, Machine Learning, Inductive and Co-inductive Logic Programming, Constraint Logic Programmi= ng, Answer Set Programming, Integration with SAT/SMT/CSP Solvers, Type Inference, Theorem Proving, Argumentation, Probabilistic Logic Programmi= ng, and connections to Object-Oriented and Functional Programming. - Applications: Databases, Big Data, Data Integration, Software Engineering, Natural Language Processing, Web and Semantic Web, Agents, Artificial Intelligence, Explainable AI, Life Sciences, Education, Cybersecurity, Planning, and Robotics. SUBMISSION DETAILS Submissions must be written in English and include a research summary prepared in CEUR format (template <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.ov= erleaf.com%2Flatex%2Ftemplates%2Ftemplate-for-submissions-to-ceur-workshop-= proceedings-ceur-ws-dot-org%2Fwqyfdgftmcfw&data=3D05%7C02%7Cclean-list%40sc= ience.ru.nl%7C403d5eef65aa451483c508ded5b920d7%7C084578d9400d4a5aa7c7e76ca4= 7af400%7C1%7C0%7C639183192118954929%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGk= iOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%= 3D%7C80000%7C%7C%7C&sdata=3DuKfgcbhUhFfm4D1a0Amtzr0MnYdgpWjUh1A5P%2BLnPgY%3= D&reserved=3D0>), consisting of 5=E2=80=937 pages (excluding references), providing a clear o= verview of the research. The research summary should include: - Full name, affiliation, and contact information - Introduction and problem statement - Background and related work - Research objectives - Current status of the research - Preliminary results (if available) - Open issues and expected outcomes - References Submissions must be made electronically in PDF format via EasyChair, selecting the =E2=80=9CLPNMR Doctoral Consortium 2026=E2=80=9D track (link <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Feasych= air.org%2Fconferences%2F%3Fconf%3Dlpnmr2026&data=3D05%7C02%7Cclean-list%40s= cience.ru.nl%7C403d5eef65aa451483c508ded5b920d7%7C084578d9400d4a5aa7c7e76ca= 47af400%7C1%7C0%7C639183192118987641%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcG= kiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D= %3D%7C80000%7C%7C%7C&sdata=3DiLqyUxfZ2TKKToU3KAoaa9WyhvdlGPHyLRipuw03N9s%3D= &reserved=3D0>). Students who have previously presented at LPNMR Doctoral Consortium may reapply, provided that their submission reflects substantial progress or significant updates. Students can also consider resubmitting contributions from other doctoral consortiums. In this case the contribution must be relevant for LPNMR and sent in its original form by adding a footnote specifying the venue where it has been published (or it is going to be published). Note that, non-original contributions will not be included in the proceedings. REVIEW PROCESS AND SELECTION CRITERIA Submissions will be evaluated by a program committee composed of experts in the area of logic programming and non-monotonic reasoning. Each application will be reviewed by at least two referees. Selection will be based on: - Relevance to the scope of LPNMR - Clarity and completeness of the submission - Stage and maturity of the research - Potential contribution to the DC objectives - Evidence of research potential, such as publications or technical report= s Accepted applicants are expected to attend the DC and present their work in presence. PROGRAM COMMITTEE Johannes P. Wallner TU Graz, Austria Johannes K. Fichte Link=C3=B6ping University, Sweden Alice Tarzariol Alpen-Adria-Universit=C3=A4t Klagenfurt, Austria Damiano Azzolini University of Ferrara, Italy Marco Gavanelli University of Ferrara, Italy Thomas Meyer University of Cape Town and CAIR, South Africa Jose F. Morales IMDEA Software Research Institute, Spain Matthias Thimm FernUniversit=C3=A4t in Hagen, Germany Marina De Vos University of Bath, United Kingdom Stefan Woltran TU Wien, Austria Daniela Inclezan Miami University, USA Carmine Dodaro University of Calabria, Italy Vladimir Lifschitz University of Texas at Austin, USA Markus Hecher CNRS, Artois University (CRIL), France Marco Maratea University of Calabria, Italy --=20 ---------------------------------------------------------------------------= --------------------------------------- Il banner =C3=A8 generato automaticamente dal servizio di posta elettronica= =20 dell'Universit=C3=A0 della Calabria <https://eur01.safelinks.protection.outlook.com/?url=3Dhttps%3A%2F%2Fwww.u= nical.it%2F5x1000&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C403d5eef65a= a451483c508ded5b920d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63918319= 2119017570%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAw= MCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata= =3Dw4wzQp41axAfgLZpCNqwIus7D48AFNRRSQerpbEQAD4%3D&reserved=3D0> --000000000000be982c065560503b Content-Type: text/html; charset="UTF-8" Content-Transfer-Encoding: quoted-printable <div dir=3D"ltr"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justif= y;margin-top:0pt;margin-bottom:0pt" id=3D"gmail-docs-internal-guid-cc022d16= -7fff-67d4-64f3-150bb234ede1"><span style=3D"font-size:11.5pt;font-family:A= rial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-weigh= t:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-a= lign:baseline;white-space:pre-wrap">*** Please accept our apologies if you = receive multiple copies of this CFP ***</span></p><br><p dir=3D"ltr" style= =3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><= span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14= ,14);background-color:transparent;font-weight:400;font-style:normal;font-va= riant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-w= rap">The Doctoral Consortium (DC) of LPNMR 2026 will take place as part of = the 18th International Conference on Logic Programming and Non-monotonic Re= asoning (LPNMR 2026), held in Klagenfurt, Austria, on September 7=E2=80=931= 1, 2026. (</span><a href=3D"https://eur01.safelinks.protection.outlook.com/= ?url=3Dhttps%3A%2F%2Fsites.google.com%2Funical.it%2Fdclpnmr2026&data=3D= 05%7C02%7Cclean-list%40science.ru.nl%7C403d5eef65aa451483c508ded5b920d7%7C0= 84578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639183192119080677%7CUnknown%7CTW= FpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOI= joiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=3DSdm9bxOwHpxvskkF6y= 2%2FVr%2F%2BdrV%2BdG42YBNqr1psp4I%3D&reserved=3D0" originalSrc=3D"https= ://sites.google.com/unical.it/dclpnmr2026" style=3D"text-decoration:none"><= span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(17,85= ,204);background-color:transparent;font-weight:400;font-style:normal;font-v= ariant:normal;text-decoration:underline;vertical-align:baseline;white-space= :pre-wrap">Website Link</span></a><span style=3D"font-size:11.5pt;font-fami= ly:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-w= eight:400;font-style:normal;font-variant:normal;text-decoration:none;vertic= al-align:baseline;white-space:pre-wrap">)</span></p><br><p dir=3D"ltr" styl= e=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt">= <span style=3D"font-size:14pt;font-family:Arial,sans-serif;color:rgb(14,14,= 14);background-color:transparent;font-weight:700;font-style:normal;font-var= iant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wr= ap">GOALS</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;text-align= :justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;= font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transpare= nt;font-weight:400;font-style:normal;font-variant:normal;text-decoration:no= ne;vertical-align:baseline;white-space:pre-wrap">The DC aims to provide a d= edicated forum for Ph.D. students working in areas related to logic program= ming and non-monotonic reasoning. It offers participants a stimulating and = informal environment to engage with established researchers and fellow stud= ents through research presentations, discussions, and mentoring activities.= =C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justif= y;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-fa= mily:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font= -weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert= ical-align:baseline;white-space:pre-wrap">Each participant will present the= ir research work and receive detailed feedback.</span></p><p dir=3D"ltr" st= yle=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt= "><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14= ,14,14);background-color:transparent;font-weight:400;font-style:normal;font= -variant:normal;text-decoration:none;vertical-align:baseline;white-space:pr= e-wrap">The main objectives of the DC are:</span></p><br><ul style=3D"margi= n-top:0px;margin-bottom:0px"><li dir=3D"ltr" style=3D"list-style-type:disc;= font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);backgroun= d-color:transparent;font-weight:400;font-style:normal;font-variant:normal;t= ext-decoration:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr"= style=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:= 0pt" role=3D"presentation"><span style=3D"font-size:11.5pt;font-family:Aria= l,sans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:4= 00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre-wrap">To offer doctoral students a supportive an= d open setting in which to present their research ideas, learn about ongoin= g work by peers, and receive constructive feedback.</span></p></li><li dir= =3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,s= ans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:400;= font-style:normal;font-variant:normal;text-decoration:none;vertical-align:b= aseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-alig= n:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span sty= le=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);bac= kground-color:transparent;font-weight:400;font-style:normal;font-variant:no= rmal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">To = provide insights into key aspects of doctoral studies and academic careers.= </span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.= 5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:trans= parent;font-weight:400;font-style:normal;font-variant:normal;text-decoratio= n:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"lin= e-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"= presentation"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;= color:rgb(14,14,14);background-color:transparent;font-weight:400;font-style= :normal;font-variant:normal;text-decoration:none;vertical-align:baseline;wh= ite-space:pre-wrap">To foster a collaborative research environment and buil= d a community of young scholars.</span></p></li><li dir=3D"ltr" style=3D"li= st-style-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(= 14,14,14);background-color:transparent;font-weight:400;font-style:normal;fo= nt-variant:normal;text-decoration:none;vertical-align:baseline;white-space:= pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top= :0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-size:11.5= pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transp= arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration= :none;vertical-align:baseline;white-space:pre-wrap">To support early-career= researchers by offering guidance on academic, industrial, and alternative = career paths.</span></p></li></ul><br><p dir=3D"ltr" style=3D"line-height:1= .38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"fon= t-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-c= olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text= -decoration:none;vertical-align:baseline;white-space:pre-wrap">To additiona= lly promote the attendance of the LPNMR 2026 main conference, accepted appl= icants may be waived the registration fees and receive partial financial su= pport for their travel and accommodation (the exact amount depending on the= available funding).</span></p><br><br><br><p dir=3D"ltr" style=3D"line-hei= ght:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style= =3D"font-size:14pt;font-family:Arial,sans-serif;color:rgb(14,14,14);backgro= und-color:transparent;font-weight:700;font-style:normal;font-variant:normal= ;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">IMPORTA= NT DATES (Tentative)</span></p><br><ul style=3D"margin-top:0px;margin-botto= m:0px"><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-= family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;fo= nt-weight:400;font-style:normal;font-variant:normal;text-decoration:none;ve= rtical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:= 1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentat= ion"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb= (14,14,14);background-color:transparent;font-weight:400;font-style:normal;f= ont-variant:normal;text-decoration:none;vertical-align:baseline;white-space= :pre-wrap">Paper submission: June 30, 2026</span></p></li><li dir=3D"ltr" s= tyle=3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;= color:rgb(14,14,14);background-color:transparent;font-weight:400;font-style= :normal;font-variant:normal;text-decoration:none;vertical-align:baseline;wh= ite-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;= margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font= -size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-co= lor:transparent;font-weight:400;font-style:normal;font-variant:normal;text-= decoration:none;vertical-align:baseline;white-space:pre-wrap">Notification = to authors: July 30, 2026</span></p></li><li dir=3D"ltr" style=3D"list-styl= e-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,1= 4);background-color:transparent;font-weight:400;font-style:normal;font-vari= ant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p= dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;ma= rgin-bottom:0pt" role=3D"presentation"><span style=3D"font-size:11.5pt;font= -family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;f= ont-weight:400;font-style:normal;font-variant:normal;text-decoration:none;v= ertical-align:baseline;white-space:pre-wrap">Camera-ready submission: Augus= t 7, 2026</span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font= -size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-co= lor:transparent;font-weight:400;font-style:normal;font-variant:normal;text-= decoration:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" sty= le=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"= role=3D"presentation"><span style=3D"font-size:11.5pt;font-family:Arial,sa= ns-serif;color:rgb(14,14,14);background-color:transparent;font-weight:400;f= ont-style:normal;font-variant:normal;text-decoration:none;vertical-align:ba= seline;white-space:pre-wrap">Doctoral Consortium: September 7, 2026</span><= /p></li></ul><br><br><p dir=3D"ltr" style=3D"line-height:1.38;text-align:ju= stify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:14pt;font-= family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;fo= nt-weight:700;font-style:normal;font-variant:normal;text-decoration:none;ve= rtical-align:baseline;white-space:pre-wrap">TARGET AUDIENCE</span></p><br><= p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;m= argin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,sans-se= rif;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-s= tyle:normal;font-variant:normal;text-decoration:none;vertical-align:baselin= e;white-space:pre-wrap">The DC is primarily intended for students currently= enrolled in a Ph.D. program. However, applications from exceptional candid= ates (e.g., Master=E2=80=99s students planning to pursue doctoral studies) = will also be considered.</span></p><p dir=3D"ltr" style=3D"line-height:1.38= ;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-s= ize:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-colo= r:transparent;font-weight:400;font-style:normal;font-variant:normal;text-de= coration:none;vertical-align:baseline;white-space:pre-wrap">Students at any= stage of their doctoral studies are welcome to apply. Applicants are expec= ted to conduct research in areas related to logic programming. Topics of in= terest include, but are not limited to:</span></p><br><ul style=3D"margin-t= op:0px;margin-bottom:0px"><li dir=3D"ltr" style=3D"list-style-type:disc;fon= t-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-c= olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text= -decoration:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" st= yle=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt= " role=3D"presentation"><span style=3D"font-size:11.5pt;font-family:Arial,s= ans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:700;= font-style:normal;font-variant:normal;text-decoration:none;vertical-align:b= aseline;white-space:pre-wrap">Foundations:</span><span style=3D"font-size:1= 1.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:tra= nsparent;font-weight:400;font-style:normal;font-variant:normal;text-decorat= ion:none;vertical-align:baseline;white-space:pre-wrap"> Semantics, Formalis= ms, Nonmonotonic Reasoning, Knowledge Representation.</span></p></li><li di= r=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,= sans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:400= ;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:= baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-ali= gn:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span st= yle=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);ba= ckground-color:transparent;font-weight:700;font-style:normal;font-variant:n= ormal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">La= nguages:</span><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif= ;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-styl= e:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;w= hite-space:pre-wrap"> Concurrency, Objects, Coordination, Mobility, Higher-= Order Programming, Types, Modes, Assertions, Modules, Meta-programming, Dom= ain-specific Languages, Programming Techniques.</span></p></li><li dir=3D"l= tr" style=3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,sans-s= erif;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-= style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli= ne;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:jus= tify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D= "font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);backgrou= nd-color:transparent;font-weight:700;font-style:normal;font-variant:normal;= text-decoration:none;vertical-align:baseline;white-space:pre-wrap">Declarat= ive Programming:</span><span style=3D"font-size:11.5pt;font-family:Arial,sa= ns-serif;color:rgb(14,14,14);background-color:transparent;font-weight:400;f= ont-style:normal;font-variant:normal;text-decoration:none;vertical-align:ba= seline;white-space:pre-wrap"> Program Development, Analysis, Type and Mode = Inference, Partial Evaluation, Abstract Interpretation, Transformation, Val= idation, Verification, Debugging, Profiling, Testing, Reasoning, Visualizat= ion.</span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size= :11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:t= ransparent;font-weight:400;font-style:normal;font-variant:normal;text-decor= ation:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D= "line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role= =3D"presentation"><span style=3D"font-size:11.5pt;font-family:Arial,sans-se= rif;color:rgb(14,14,14);background-color:transparent;font-weight:700;font-s= tyle:normal;font-variant:normal;text-decoration:none;vertical-align:baselin= e;white-space:pre-wrap">Implementation:</span><span style=3D"font-size:11.5= pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transp= arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration= :none;vertical-align:baseline;white-space:pre-wrap"> Virtual Machines, Comp= ilation, Memory Management, Parallel and Distributed Execution, Constraint = Handling Rules, Tabling, Foreign Interfaces, User Interfaces.</span></p></l= i><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-famil= y:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-we= ight:400;font-style:normal;font-variant:normal;text-decoration:none;vertica= l-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;= text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation">= <span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,1= 4,14);background-color:transparent;font-weight:700;font-style:normal;font-v= ariant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-= wrap">Related Paradigms and Synergies:</span><span style=3D"font-size:11.5p= t;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transpa= rent;font-weight:400;font-style:normal;font-variant:normal;text-decoration:= none;vertical-align:baseline;white-space:pre-wrap"> Neuro-symbolic AI, Mach= ine Learning, Inductive and Co-inductive Logic Programming, Constraint Logi= c Programming, Answer Set Programming, Integration with SAT/SMT/CSP Solvers= , Type Inference, Theorem Proving, Argumentation, Probabilistic Logic Progr= amming, and connections to Object-Oriented and Functional Programming.</spa= n></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;f= ont-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparen= t;font-weight:400;font-style:normal;font-variant:normal;text-decoration:non= e;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-hei= ght:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"prese= ntation"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color= :rgb(14,14,14);background-color:transparent;font-weight:700;font-style:norm= al;font-variant:normal;text-decoration:none;vertical-align:baseline;white-s= pace:pre-wrap">Applications:</span><span style=3D"font-size:11.5pt;font-fam= ily:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-= weight:400;font-style:normal;font-variant:normal;text-decoration:none;verti= cal-align:baseline;white-space:pre-wrap"> Databases, Big Data, Data Integra= tion, Software Engineering, Natural Language Processing, Web and Semantic W= eb, Agents, Artificial Intelligence, Explainable AI, Life Sciences, Educati= on, Cybersecurity, Planning, and Robotics.</span></p></li></ul><br><br><p d= ir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;marg= in-bottom:0pt"><span style=3D"font-size:14pt;font-family:Arial,sans-serif;c= olor:rgb(14,14,14);background-color:transparent;font-weight:700;font-style:= normal;font-variant:normal;text-decoration:none;vertical-align:baseline;whi= te-space:pre-wrap">SUBMISSION DETAILS</span></p><br><p dir=3D"ltr" style=3D= "line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><spa= n style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14= );background-color:transparent;font-weight:400;font-style:normal;font-varia= nt:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap= ">Submissions must be written in English and include a research summary pre= pared in CEUR format (</span><a href=3D"https://eur01.safelinks.protection.= outlook.com/?url=3Dhttps%3A%2F%2Fwww.overleaf.com%2Flatex%2Ftemplates%2Ftem= plate-for-submissions-to-ceur-workshop-proceedings-ceur-ws-dot-org%2Fwqyfdg= ftmcfw&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C403d5eef65aa451483= c508ded5b920d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C639183192119129= 862%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlA= iOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=3D= jRtGc1DOdU1mWiUxgrR9FXK2N%2BDWs1%2FZTvSYU3tC4HA%3D&reserved=3D0" origin= alSrc=3D"https://www.overleaf.com/latex/templates/template-for-submissions-= to-ceur-workshop-proceedings-ceur-ws-dot-org/wqyfdgftmcfw" style=3D"text-de= coration:none"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif= ;color:rgb(17,85,204);background-color:transparent;font-weight:400;font-sty= le:normal;font-variant:normal;text-decoration:underline;vertical-align:base= line;white-space:pre-wrap">template</span></a><span style=3D"font-size:11.5= pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transp= arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration= :none;vertical-align:baseline;white-space:pre-wrap">), consisting of 5=E2= =80=937 pages (excluding references), providing a clear overview of the res= earch.</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justif= y;margin-top:9pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-fa= mily:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font= -weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert= ical-align:baseline;white-space:pre-wrap">The research summary should inclu= de:</span></p><ul style=3D"margin-top:0px;margin-bottom:0px"><li dir=3D"ltr= " style=3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,sans-ser= if;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-st= yle:normal;font-variant:normal;text-decoration:none;vertical-align:baseline= ;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justi= fy;margin-top:9pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"f= ont-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background= -color:transparent;font-weight:400;font-style:normal;font-variant:normal;te= xt-decoration:none;vertical-align:baseline;white-space:pre-wrap">Full name,= affiliation, and contact information</span></p></li><li dir=3D"ltr" style= =3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;colo= r:rgb(14,14,14);background-color:transparent;font-weight:400;font-style:nor= mal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-= space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;marg= in-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-siz= e:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:= transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco= ration:none;vertical-align:baseline;white-space:pre-wrap">Introduction and = problem statement</span></p></li><li dir=3D"ltr" style=3D"list-style-type:d= isc;font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);backg= round-color:transparent;font-weight:400;font-style:normal;font-variant:norm= al;text-decoration:none;vertical-align:baseline;white-space:pre"><p dir=3D"= ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bot= tom:0pt" role=3D"presentation"><span style=3D"font-size:11.5pt;font-family:= Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-weig= ht:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-= align:baseline;white-space:pre-wrap">Background and related work</span></p>= </li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-fa= mily:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font= -weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert= ical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.= 38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentatio= n"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(1= 4,14,14);background-color:transparent;font-weight:400;font-style:normal;fon= t-variant:normal;text-decoration:none;vertical-align:baseline;white-space:p= re-wrap">Research objectives</span></p></li><li dir=3D"ltr" style=3D"list-s= tyle-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,1= 4,14);background-color:transparent;font-weight:400;font-style:normal;font-v= ariant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"= ><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt= ;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-size:11.5pt;f= ont-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparen= t;font-weight:400;font-style:normal;font-variant:normal;text-decoration:non= e;vertical-align:baseline;white-space:pre-wrap">Current status of the resea= rch</span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:= 11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:tr= ansparent;font-weight:400;font-style:normal;font-variant:normal;text-decora= tion:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"= line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role= =3D"presentation"><span style=3D"font-size:11.5pt;font-family:Arial,sans-se= rif;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-s= tyle:normal;font-variant:normal;text-decoration:none;vertical-align:baselin= e;white-space:pre-wrap">Preliminary results (if available)</span></p></li><= li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-family:A= rial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-weigh= t:400;font-style:normal;font-variant:normal;text-decoration:none;vertical-a= lign:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;tex= t-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation"><sp= an style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,1= 4);background-color:transparent;font-weight:400;font-style:normal;font-vari= ant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wra= p">Open issues and expected outcomes</span></p></li><li dir=3D"ltr" style= =3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;colo= r:rgb(14,14,14);background-color:transparent;font-weight:400;font-style:nor= mal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-= space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;marg= in-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-siz= e:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:= transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco= ration:none;vertical-align:baseline;white-space:pre-wrap">References</span>= </p></li></ul><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;m= argin-top:9pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-famil= y:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-we= ight:400;font-style:normal;font-variant:normal;text-decoration:none;vertica= l-align:baseline;white-space:pre-wrap">Submissions must be made electronica= lly in PDF format via EasyChair, selecting the =E2=80=9CLPNMR Doctoral Cons= ortium 2026=E2=80=9D track (</span><a href=3D"https://eur01.safelinks.prote= ction.outlook.com/?url=3Dhttps%3A%2F%2Feasychair.org%2Fconferences%2F%3Fcon= f%3Dlpnmr2026&data=3D05%7C02%7Cclean-list%40science.ru.nl%7C403d5eef65a= a451483c508ded5b920d7%7C084578d9400d4a5aa7c7e76ca47af400%7C1%7C0%7C63918319= 2119167019%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAw= MCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C80000%7C%7C%7C&s= data=3DgdOPa%2FR1w%2FaAjUVb8HPufF8R907Ts2QNkrAwvO6DHUA%3D&reserved=3D0"= originalSrc=3D"https://easychair.org/conferences/?conf=3Dlpnmr2026" style= =3D"text-decoration:none"><span style=3D"font-size:11.5pt;font-family:Arial= ,sans-serif;color:rgb(17,85,204);background-color:transparent;font-weight:4= 00;font-style:normal;font-variant:normal;text-decoration:underline;vertical= -align:baseline;white-space:pre-wrap">link</span></a><span style=3D"font-si= ze:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color= :transparent;font-weight:400;font-style:normal;font-variant:normal;text-dec= oration:none;vertical-align:baseline;white-space:pre-wrap">).</span></p><p = dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:9pt;mar= gin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,sans-seri= f;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-sty= le:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;= white-space:pre-wrap">Students who have previously presented at LPNMR Docto= ral Consortium may reapply, provided that their submission reflects substan= tial progress or significant updates.</span></p><p dir=3D"ltr" style=3D"lin= e-height:1.38;text-align:justify;margin-top:9pt;margin-bottom:0pt"><span st= yle=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);ba= ckground-color:transparent;font-weight:400;font-style:normal;font-variant:n= ormal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">St= udents can also consider resubmitting contributions from other doctoral con= sortiums.</span><span style=3D"font-size:11.5pt;font-family:Arial,sans-seri= f;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-sty= le:normal;font-variant:normal;text-decoration:none;vertical-align:baseline;= white-space:pre-wrap"><br></span><span style=3D"font-size:11.5pt;font-famil= y:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-we= ight:400;font-style:normal;font-variant:normal;text-decoration:none;vertica= l-align:baseline;white-space:pre-wrap">In this case the contribution must b= e relevant for LPNMR and sent in its original form by adding a footnote spe= cifying the venue where it has been published (or it is going to be publish= ed). Note that, non-original contributions will not be included in the proc= eedings.=C2=A0</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;text-= align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:14= pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transp= arent;font-weight:700;font-style:normal;font-variant:normal;text-decoration= :none;vertical-align:baseline;white-space:pre-wrap">REVIEW PROCESS AND SELE= CTION CRITERIA</span></p><br><p dir=3D"ltr" style=3D"line-height:1.38;text-= align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11= .5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:tran= sparent;font-weight:400;font-style:normal;font-variant:normal;text-decorati= on:none;vertical-align:baseline;white-space:pre-wrap">Submissions will be e= valuated by a program committee composed of experts in the area of logic pr= ogramming and non-monotonic reasoning. Each application will be reviewed by= at least two referees.</span></p><br><p dir=3D"ltr" style=3D"line-height:1= .38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"fon= t-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-c= olor:transparent;font-weight:400;font-style:normal;font-variant:normal;text= -decoration:none;vertical-align:baseline;white-space:pre-wrap">Selection wi= ll be based on:</span></p><br><ul style=3D"margin-top:0px;margin-bottom:0px= "><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font-famil= y:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font-we= ight:400;font-style:normal;font-variant:normal;text-decoration:none;vertica= l-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;= text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presentation">= <span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,1= 4,14);background-color:transparent;font-weight:400;font-style:normal;font-v= ariant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-= wrap">Relevance to the scope of LPNMR</span></p></li><li dir=3D"ltr" style= =3D"list-style-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;colo= r:rgb(14,14,14);background-color:transparent;font-weight:400;font-style:nor= mal;font-variant:normal;text-decoration:none;vertical-align:baseline;white-= space:pre"><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;marg= in-top:0pt;margin-bottom:0pt" role=3D"presentation"><span style=3D"font-siz= e:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:= transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco= ration:none;vertical-align:baseline;white-space:pre-wrap">Clarity and compl= eteness of the submission</span></p></li><li dir=3D"ltr" style=3D"list-styl= e-type:disc;font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,1= 4);background-color:transparent;font-weight:400;font-style:normal;font-vari= ant:normal;text-decoration:none;vertical-align:baseline;white-space:pre"><p= dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;ma= rgin-bottom:0pt" role=3D"presentation"><span style=3D"font-size:11.5pt;font= -family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;f= ont-weight:400;font-style:normal;font-variant:normal;text-decoration:none;v= ertical-align:baseline;white-space:pre-wrap">Stage and maturity of the rese= arch</span></p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size= :11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:t= ransparent;font-weight:400;font-style:normal;font-variant:normal;text-decor= ation:none;vertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D= "line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role= =3D"presentation"><span style=3D"font-size:11.5pt;font-family:Arial,sans-se= rif;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-s= tyle:normal;font-variant:normal;text-decoration:none;vertical-align:baselin= e;white-space:pre-wrap">Potential contribution to the DC objectives</span><= /p></li><li dir=3D"ltr" style=3D"list-style-type:disc;font-size:11.5pt;font= -family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;f= ont-weight:400;font-style:normal;font-variant:normal;text-decoration:none;v= ertical-align:baseline;white-space:pre"><p dir=3D"ltr" style=3D"line-height= :1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt" role=3D"presenta= tion"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rg= b(14,14,14);background-color:transparent;font-weight:400;font-style:normal;= font-variant:normal;text-decoration:none;vertical-align:baseline;white-spac= e:pre-wrap">Evidence of research potential, such as publications or technic= al reports</span></p></li></ul><br><p dir=3D"ltr" style=3D"line-height:1.38= ;text-align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-s= ize:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-colo= r:transparent;font-weight:400;font-style:normal;font-variant:normal;text-de= coration:none;vertical-align:baseline;white-space:pre-wrap">Accepted applic= ants are expected to attend the DC and present their work in presence.</spa= n></p><br><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margi= n-top:0pt;margin-bottom:0pt"><span style=3D"font-size:14pt;font-family:Aria= l,sans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:7= 00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre-wrap">PROGRAM COMMITTEE</span><span style=3D"fon= t-size:14pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-col= or:transparent;font-weight:700;font-style:normal;font-variant:normal;text-d= ecoration:none;vertical-align:baseline;white-space:pre-wrap"><br><br></span= ></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top= :0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,s= ans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:400;= font-style:normal;font-variant:normal;text-decoration:none;vertical-align:b= aseline;white-space:pre-wrap">Johannes P. Wallner TU Graz, Austria=C2=A0</s= pan></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-= top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Aria= l,sans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:4= 00;font-style:normal;font-variant:normal;text-decoration:none;vertical-alig= n:baseline;white-space:pre-wrap">Johannes K. Fichte Link=C3=B6ping Universi= ty, Sweden=C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-al= ign:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5= pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transp= arent;font-weight:400;font-style:normal;font-variant:normal;text-decoration= :none;vertical-align:baseline;white-space:pre-wrap">Alice Tarzariol Alpen-A= dria-Universit=C3=A4t Klagenfurt, Austria=C2=A0</span></p><p dir=3D"ltr" st= yle=3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt= "><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14= ,14,14);background-color:transparent;font-weight:400;font-style:normal;font= -variant:normal;text-decoration:none;vertical-align:baseline;white-space:pr= e-wrap">Damiano Azzolini University of Ferrara, Italy=C2=A0</span></p><p di= r=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;margi= n-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;= color:rgb(14,14,14);background-color:transparent;font-weight:400;font-style= :normal;font-variant:normal;text-decoration:none;vertical-align:baseline;wh= ite-space:pre-wrap">Marco Gavanelli University of Ferrara, Italy=C2=A0</spa= n></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-to= p:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,= sans-serif;color:rgb(14,14,14);background-color:transparent;font-weight:400= ;font-style:normal;font-variant:normal;text-decoration:none;vertical-align:= baseline;white-space:pre-wrap">Thomas Meyer University of Cape Town and CAI= R, South Africa=C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;te= xt-align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size= :11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:t= ransparent;font-weight:400;font-style:normal;font-variant:normal;text-decor= ation:none;vertical-align:baseline;white-space:pre-wrap">Jose F. Morales IM= DEA Software Research Institute, Spain=C2=A0</span></p><p dir=3D"ltr" style= =3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><= span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14= ,14);background-color:transparent;font-weight:400;font-style:normal;font-va= riant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-w= rap">Matthias Thimm FernUniversit=C3=A4t in Hagen, Germany=C2=A0</span></p>= <p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;= margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,sans-s= erif;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-= style:normal;font-variant:normal;text-decoration:none;vertical-align:baseli= ne;white-space:pre-wrap">Marina De Vos University of Bath, United Kingdom= =C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justif= y;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-fa= mily:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font= -weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert= ical-align:baseline;white-space:pre-wrap">Stefan Woltran TU Wien, Austria= =C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:justif= y;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;font-fa= mily:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent;font= -weight:400;font-style:normal;font-variant:normal;text-decoration:none;vert= ical-align:baseline;white-space:pre-wrap">Daniela Inclezan Miami University= , USA=C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;text-align:j= ustify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-size:11.5pt;fo= nt-family:Arial,sans-serif;color:rgb(14,14,14);background-color:transparent= ;font-weight:400;font-style:normal;font-variant:normal;text-decoration:none= ;vertical-align:baseline;white-space:pre-wrap">Carmine Dodaro University of= Calabria, Italy=C2=A0</span></p><p dir=3D"ltr" style=3D"line-height:1.38;t= ext-align:justify;margin-top:0pt;margin-bottom:0pt"><span style=3D"font-siz= e:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14,14);background-color:= transparent;font-weight:400;font-style:normal;font-variant:normal;text-deco= ration:none;vertical-align:baseline;white-space:pre-wrap">Vladimir Lifschit= z University of Texas at Austin, USA=C2=A0</span></p><p dir=3D"ltr" style= =3D"line-height:1.38;text-align:justify;margin-top:0pt;margin-bottom:0pt"><= span style=3D"font-size:11.5pt;font-family:Arial,sans-serif;color:rgb(14,14= ,14);background-color:transparent;font-weight:400;font-style:normal;font-va= riant:normal;text-decoration:none;vertical-align:baseline;white-space:pre-w= rap">Markus Hecher CNRS, Artois University (CRIL), France=C2=A0</span></p><= p dir=3D"ltr" style=3D"line-height:1.38;text-align:justify;margin-top:0pt;m= argin-bottom:0pt"><span style=3D"font-size:11.5pt;font-family:Arial,sans-se= rif;color:rgb(14,14,14);background-color:transparent;font-weight:400;font-s= tyle:normal;font-variant:normal;text-decoration:none;vertical-align:baselin= e;white-space:pre-wrap">Marco Maratea University of Calabria, Italy</span><= /p></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://eur01.safelinks.protection.outloo= k.com/?url=3Dhttps%3A%2F%2Fwww.unical.it%2F5x1000&data=3D05%7C02%7Cclea= n-list%40science.ru.nl%7C403d5eef65aa451483c508ded5b920d7%7C084578d9400d4a5= aa7c7e76ca47af400%7C1%7C0%7C639183192119235318%7CUnknown%7CTWFpbGZsb3d8eyJF= bXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIld= UIjoyfQ%3D%3D%7C80000%7C%7C%7C&sdata=3DRjPLIPIOu%2BR96Mn2a91HQPpDJQzDvg= OYmUWMV3T8QK4%3D&reserved=3D0" originalSrc=3D"https://www.unical.it/5x1= 000" target=3D"_blank"><img src=3D"https://www.unical.it/uuid-media/ec0319a= 7-45d7-49d8-9d9d-45463b1ed86d/" alt=3D"https://www.unical.it/5x1000"></a><b= r></span></font></div>= --000000000000be982c065560503b-- --===============2918606149123233394== Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: base64 Content-Disposition: inline X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KY2xlYW4tbGlz dCBtYWlsaW5nIGxpc3QKY2xlYW4tbGlzdEBzY2llbmNlLnJ1Lm5sCmh0dHBzOi8vbWFpbG1hbi5z Y2llbmNlLnJ1Lm5sL21haWxtYW4vbGlzdGluZm8vY2xlYW4tbGlzdAo= --===============2918606149123233394==--