[Approaching Deadline - LPNMR 2024] Call For Papers

[giuseppe...@unical.it]

*** Please accept our apologies if you receive multiple copies of this CFP ***

====================================================
LPNMR 2024 - Call for Papers

17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, USA | October 11-14, 2024
Website: https://lpnmr2024.demacs.unical.it/
Contact us: lpnm...@easychair.org
Submission: https://easychair.org/conferences/?conf=lpnmr2024
====================================================

====================================================
IMPORTANT DATES
====================================================

    Paper registration: June 21, 2024
    Submission deadline: June 28, 2024
    Final notification: July 28, 2024
    Final versions due: August 15, 2024
    Conference: October 11-14, 2024

====================================================
FAST JOURNAL TRACK FOR BEST PAPERS
====================================================

The two best papers focused on general AI topics will be invited for publication in either the Artificial Intelligence Journal or the Journal of Artificial Intelligence Research, based on the preference of the authors.
Also, the 2-5 best papers with a logic programming focus will be invited for publication in the journal of Theory and Practice of Logic Programming.

====================================================
AIMS AND SCOPE
====================================================

LPNMR 2024 is the seventeenth in the series of international meetings 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 2024 aims to bring together researchers from LPNMR core areas and application areas of the aforementioned kind in order to share research experiences, promote collaboration and identify directions for joint future research.

====================================================
TOPICS
====================================================
Authors are invited to submit papers presenting original and unpublished research on all aspects of non-monotonic approaches in logic programming and knowledge representation. Conference topics include, but are not limited to:
Foundations of LPNMR Systems:
Semantics of new and existing languages
Action languages, causality
Formalization of Commonsense Reasoning and understanding its laws and nature
Relationships among formalisms
Complexity and expressive power
Inference algorithms and heuristics for LPNMR systems
Extensions of traditional LPNMR languages such as new logical connectives or new inference capabilities
Updates, revision, and other operations on LPNMR systems
Uncertainty in LPNMR systems
Implementation of LPNMR systems:
System descriptions, comparisons, evaluations
Algorithms and novel techniques for efficient evaluation
LPNMR benchmarks
Applications of LPNMR:
Use of LPNMR in Commonsense Reasoning and other areas of KR
LPNMR languages and algorithms in planning, diagnosis, argumentation, reasoning with preferences, decision making and policies
Applications of LPNMR languages in data integration and exchange systems, software engineering and model checking
Applications of LPNMR to bioinformatics, linguistics, psychology and other sciences
Integration of LPNMR systems with other computational paradigms
Embedded LPNMR: Systems using LPNMR subsystems

====================================================
SUBMISSION AND PUBLICATION
====================================================
LPNMR 2024 welcomes submissions of long papers (13 pages) or short papers (6 pages) in the following categories:

Technical papers
System descriptions
Application descriptions
           
The indicated number of pages includes title page, figures, tables, references and appendix. All submissions will be peer-reviewed and accepted papers will appear in the conference proceedings published in the Springer's Lecture Notes in Artificial Intelligence (LNAI) series. At least one author of each accepted paper is expected to register for the conference to present the work. Submissions must be written in English, present original research, and be formatted according to Springer's guidelines and technical instructions available at:
    https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines
   
    Paper submission is enabled via the LPNMR 2024 Easychair site:   
        https://easychair.org/conferences/?conf=lpnmr2024
   

====================================================
MULTIPLE SUBMISSION POLICY
====================================================

LPNMR 2024 will not accept any paper which, at the time of submission, is under review or has already been published or accepted for publication in a journal or another conference. Authors are also required not to submit their papers elsewhere during LPNMR's review period. However, these restrictions do not apply to previous workshops with a limited audience and without archival proceedings.
   
====================================================
VENUE
====================================================
LPNMR 2024 will be held on the campus of the University of Texas at Dallas in October 2024. Dallas, part of the Dallas/Fort-Worth metroplex, is a dynamic city with great tourist attractions. Renowned for its unique blend of modernity and rich cultural heritage, Dallas offers an array of attractions for visitors: from diverse range of museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards that feature the Cattle Drive (twice daily). Dallas boasts a thriving culinary scene, from sizzling steakhouses to trendy food trucks, to authentic Tex-Mex cuisine. With a wealth of entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas is a memorable experience.

====================================================
ORGANISING COMMITTEE
====================================================

General Chair:
        Gopal Gupta, The University of Texas at Dallas
   
    Program Chairs:
        Carmine Dodaro, University of Calabria, Italy
        M. Vanina Martinez, IIIA-CSIC, Spain
       
    Publicity and Web Chair:
        Giuseppe Mazzotta, University of Calabria, Italy
   
    Workshop Chair:
        Gerardo Simari, Universidad Nacional del Sur, Argentina

Saluti,

Giuseppe Mazzotta

------------------------------------------------------------------------------------------------------------------

Il banner è generato automaticamente dal servizio di posta elettronica dell'Università della Calabria

[giuseppe...@unical.it]

*** Please accept our apologies if you receive multiple copies of this CFP ***

====================================================
LPNMR 2024 - Call for Papers

17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)
Dallas, Texas, USA | October 11-14, 2024
Website: https://lpnmr2024.demacs.unical.it/
Contact us: lpnm...@easychair.org
Submission: https://easychair.org/conferences/?conf=lpnmr2024
====================================================

====================================================
IMPORTANT DATES
====================================================

    Paper registration: Jul 4, 2024 (extended)
    Submission deadline: Jul 7, 2024 (extended)
    Final notification: Aug 7, 2024 (extended)

[giuseppe...@unical.it]

[Apologies if you receive multiple copies of this email. Please distribute to interested parties.]


---------------------------------------------------------------------------

                              CALL FOR PAPERS

                        5th International Workshop on
             the Resurgence of Datalog in Academia and Industry

                             Datalog 2.0 2024

                     https://tinyurl.com/datalog2-24

                     October 11-14, 2024, Dallas, Texas, USA

                      
                          Workshop of LPNMR 2024
                               
---------------------------------------------------------------------------


AIMS AND SCOPE

Datalog 2.0 is a workshop for Datalog researchers, implementors, and users. Its aim is to bring together researchers and practitioners interested in different aspects of Datalog to share research experiences, promote collaboration and identify directions for joint future research.

The 5th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog 2.0 2024) will be held in Dallas, Texas, USA October 11-14, 2024. Datalog 2.0 is a workshop of the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024).

The first edition of Datalog 2.0 was held in Oxford, UK, in 2010, and it was by invitation only. Since Datalog has resurrected as a lively topic with applications in many different areas of computer science, as well as industry, the second, third, and fourth edition of the workshop, which were held in Vienna in 2012, Philadelphia in 2019, and Genova in 2022, respectively, were open for submissions.



INVITED SPEAKERS

TBA



TOPICS

Authors are invited to submit papers presenting original and unpublished research on the foundational aspects of Datalog, as well as on its applications in other areas of computer science and in industry. Potential areas of application of Datalog may include (among others):

data management, data mining, knowledge representation and reasoning, cloud computing, distributed computing, logic programming, privacy and security, probabilistic reasoning, program analysis, programming languages, semantic web, social networks, streaming, verification, web services.



SUBMISSION

Datalog 2.0 2024 welcomes two types of submissions

    * Long papers of up to 12 pages, presenting original research
    * Short papers of up to 5 pages that may contain either original ongoing research
      or recently published results

in the following categories

    * Technical papers
    * System descriptions
    * Application descriptions

The indicated number of pages includes title page and references. All submissions will be peer-reviewed. Accepted papers will be submitted for publication in the CEUR Workshop proceedings (http://ceur-ws.org). Authors can opt-out if desired. At least one author of each accepted paper must attend the workshop to present the work. Submissions must be written in English, using the most recent CEURART style (https://ceur-ws.org/HOWTOSUBMIT.html#CEURART).
 
Paper submission is enabled via the Datalog 2.0 2022 OpenReview site: https://openreview.net/group?id=LPNMR/2024/Workshop/Datalog_2.0



FURTHER INFORMATION

WWW: https://tinyurl.com/datalog2-24

Email: mailto:mario.alvian...@unical.it



IMPORTANT DATES

    Paper registration: August 1

    Paper submission: August 8

    Notification: September 5

    Final versions due: September 24



VENUE

The workshop will be co-located with the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR) at the University of Texas at Dallas.

Dallas, part of the Dallas/Fort Worth metroplex, is a vibrant city brimming with top-notch tourist attractions. Celebrated for its unique mix of modernity and rich cultural heritage, Dallas offers a variety of attractions for visitors. These range from diverse museums, such as the Dallas Museum of Art and the Perot Museum of Nature and Science, to the Fort Worth Stockyards, which showcase the daily Cattle Drive.The city is renowned for its dynamic culinary scene, featuring everything from sizzling steakhouses and trendy food trucks to authentic Tex-Mex cuisine.With abundant entertainment options, including shopping districts, live music venues, and sports events, a visit to Dallas promises an unforgettable experience.


PROGRAM CHAIRS

Mario Alviano, University of Calabria, Italy
 
Matthias Lanzinger, TU Wien, Austria



PUBLICITY CHAIR

Giuseppe Mazzotta, University of Calabria, Italy

PROGRAM COMMITTEE

Leopoldo Bertossi, University Adolfo Ibáñez, Chile & Skema Business School, Canada
Marco Calautti, University of Trento, Italy
Daniele Theseider Dupré, Università del Piemonte Orientale, Italy
Esra Erdem, Sabanci University, Turkey
Cristina Feier, University of Bremen, Germany
Laura Giordano, Università del Piemonte Orientale, Italy
Roman Kontchakov, Birkbeck, University of London, UK
Paraschos Koutris, University of Wisconsin-Madison, USA
Yanhong A. Liu, Stony Brook University, USA
Ondrej Lhoták, University of Waterloo, USA
Michael Morak, University of Klagenfurt, Austria
Reinhard Pichler, TU Wien, Austria
Andreas Pieris, University of Edinburgh & University of Cyprus
Mantas Simkus, TU Wien, Austria
Tran Cao Son, New Mexico State University, USA
Przemysław Andrzej Wałęgam, University of Oxford, UK

[giuseppe...@unical.it]

(Apologies for cross-posting. Please distribute to interested parties.)

-------------------------------------------------------------------------------------------------------------------------------
ICLP & LPNMR DC 2024 - Call For Papers

Doctoral Consortium
International Conference on Logic Programming (ICLP 2024)

International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024)

Dallas, Texas, US
October 13, 2024

ICLP/LPNMR-DC 2024 will be held as a physical event in Dallas, Texas, US

Website: https://sites.google.com/view/iclplpnmrdc2024
-------------------------------------------------------------------------------------------------------------------------------


The ICLP & LPNMR Doctoral Consortium (DC) will take place during the 40th International Conference on Logic Programming (ICLP 2024) and the 17th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2024) in Dallas, Texas, US, on October 13, 2024. The DC will provide students and early career researchers with the opportunity to present and discuss their research directions, obtain feedback from both peers and experts in the field, and participate in mentoring sessions on how to prepare for a research career.

Target Audience
The DC is designed for students currently enrolled in a Ph.D. program, though we are also open to exceptions (e.g., students currently in a Master's program and interested in doctoral studies). Students at any stage in their doctoral studies are encouraged to apply for participation in the DC. Applicants are expected to conduct research in areas related to logic and constraint programming; topics of interest include (but are not limited to):

LP Foundations, LP Languages, Declarative Programming, LP Implementation, Related Paradigms and Synergies (e.g., Neuro-symbolic AI and Logic Programming), LP Applications.

The full call for papers can be found on the official website:

https://sites.google.com/view/iclplpnmrdc2024


Application Process
Submissions must be written in English and consist of:
     * a cover letter of the applicant, including a statement outlining the reasons for applying to the DC and how it will benefit the applicant;
     * a research summary, prepared in EPTCS format (http://info.eptcs.org/), that meets the following criteria. The body of the research summary (no more than 10 pages, excluding references, but 5 pages is fine as well!) should provide a clear overview of your research, its potential impact, and its current status. You are encouraged to include sections covering the following points:
          - Your complete name, address, and affiliation
          - Introduction and problem description
          - Background and overview of the existing literature
          - Goals of the research
          - Current status of the research
          - Preliminary results accomplished (if any)
          - Open issues and expected achievements
          - Bibliographical references

The application is to be submitted electronically in PDF format on the Easychair system, selecting the “Doctoral Consortium” track: https://easychair.org/conferences/?conf=iclp2024

Important Dates
     * Application submission: 21 July, 2024
     * Notification to authors: 26 August, 2024
     * Camera-ready copy due: 15 September, 2024
     * DC event: October 13, 2024

Contacts
Francesco Fabiano: ffab...@nmsu.edu
Martin Gebser: martin...@aau.at