ICLP'24: Call for Short Papers, System Demos, Recently Published Results, and Birds of a Feather Sessions

[Gupta, Gopal]

               40^th  International Conference on Logic Programming

Call for Short Papers, System Demos, Recently Published Results, 

                                    and Birds of a Feather Sessions

                                   

                                      https://www.iclp24.utdallas.edu

Submission Deadline: July 8, 2024

SCOPE

Since the first conference In Marseille in 1982, ICLP has been the

premier international event for presenting research in logic

programming. Contributions are sought in all areas of logic programming,

including but not restricted to: 

Theoretical Foundations:

  Formal and operational semantics, Non-monotonic reasoning, Reasoning

  under uncertainty, Knowledge representation, Semantic issues of

  combining logic and neural models, Complexity results.

Language Design and Programming Methodologies:

  Concurrency and parallelism, Mobility, Interacting with ML,

  Logic-based domain-specific languages, Hybrid logical and

  imperative/functional languages, Programming techniques, Answer Set

  Programming, Inductive Logic Programming, Coinductive Logic

  Programming

Program Analysis and Optimization:

 Analysis, Transformation, Verification, Debugging, Profiling,

  Visualization, Logic-based validation of generated programs.

Implementation Methodologies:

  Compilation, Parallel/distributed execution, Constraint

  implementation, Tabling, Logic-based prompt engineering, User

  interfaces.

IMPORTANT DATES

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

  Submission deadline for short papers, main/application tracks,    

  system demos, BOF meetings, and recently published research       July 8, 2024

  Notification                                                      July 22, 2024

  Final copy due                                                    August 5, 2024

  Main conference                                                   October 14-17, 2024

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

TRACKS AND SPECIAL SESSIONS

In addition to the main track, ICLP 2024 will host:

-   Short Papers Track: invites submissions on all aspects of logic

    programming within the scope of ICLP.  Papers must be 7 pages in

    EPTCS format, including references.  The accepted short papers

    will be published in the Technical Communication Proceedings.

    pages, and will be presented during the conference.

-   Recently Published Research Track: provides a forum to discuss

    important recent results related to logic programming that have

    appeared (from January 2022 onward) in selective journals and

    conferences, but have not been presented at ICLP.

-   System Demonstrations. We invite submissions to showcase logic

    programming systems in a live setting. This track is not designed

    for sales pitches. Rather demonstrations are a way for the community

    to see the relevance, potential, and innovation of the system and to

    allow time for discussion with its creator(s).

-   Birds of a Feather (BoF) Sessions. We invite proposals for break-out

    sessions during ICLP to provide informal discussions for colleagues

    with similar interests in inclusive environments. BoFs are not

    intended to be presentations: proposers of BoF sessions should serve

    as discussion leaders only.

AFFILIATED EVENTS

-   2024 Autumn School in Computational Logic: October 11-12

-   Workshops: October 12-13, 2024

-   Doctoral Consortium and Mentoring Sessions: October 12-13, 2024

    provides students and early career researchers with the opportunity

    to present and discuss their research directions, obtain feedback

    from both peers and experts, and participate in mentoring sessions

    on how to prepare for and succeed in a research career. Leaders in

    logic programming research from academia and industry give invited

    talks on their research areas. The best paper from the DC will be

    given the opportunity to make a presentation in the main ICLP

    conference.

-   Logic Programming in Industry: October 14, 2024

For more information see https://www.iclp24.utdallas.edu

SUBMISSION DETAILS

All submissions must be written in English. Papers accepted at ICLP may

appear either in

-   The ICLP 24 Technical Communication Proceedings published by

    Electronic Proceedings in Theoretical Computer Science (EPTCS).

    EPTCS format is described at http://style.eptcs.org

-   The journal Theory and Practice of Logic Programming (TPLP):

    (the deadline for this kind of submissions has already expired)

All accepted papers will be presented during the conference. Authors of

accepted papers will by default be automatically included in the list of

ALP members, who will receive quarterly updates from the Logic

Programming Newsletter at no cost. The forms of submission are as

follows.

-   Main and Application Tracks All papers must describe original,

    previously unpublished research, and must not simultaneously be

    submitted for publication elsewhere. (These restrictions do not

    apply to previously accepted workshop papers with a limited audience

    and/or without archival proceedings.)

    Main and Application track submissions may have one of two forms.

    -   Short papers (7 pages in EPTCS format, including references).

        The accepted short papers will be published in the Technical

        Communication Proceedings.

    -   Regular papers in TPLP format: the deadline for this submission

        form is now expired.

-   Recently Published Research Track We invite extended abstracts

    describing previously published research (from January 2022 onwards)

    in selective journals and conferences, that has not been previously

    presented at ICLP. The extended abstract should be 2-3 pages in

    EPTCS format and accompanied by a title page with (i) details on

    where the original paper appeared, (ii) a link to the original

    paper, (iii) a paragraph describing why the authors believe this

    work warrants a presentation at ICLP. The extended abstracts will be

    published in the Technical Communication Proceedings.

-   System Demonstrations We invite extended abstracts (2 or 3 pages in

    EPTCS format) describing systems to be demonstrated in a session of

    ICLP. System demonstrations should provide highlights of the novel

    features of the system, along with information about how to access

    it. Accepted abstracts will be published in the Technical

    Communication Proceedings.

-   Birds of a Feather (BoF) Proposals Finally we invite extended

    abstracts (2-3 pages in EPTCS format) that propose breakout sessions

    that may take place during the ICLP 24 conference. BOF proposals

    should motivate the relevance of the topic to logic programming,

    describe the expected audience, identify discussion leaders and

    their expertise, and provide a brief description of the activities

    during the session. BoF proposals should also discribe the planned

    practices to promote inclusion and to foster attendee involvement.

    Accepted abstracts will be published in the Technical Communication

    Proceedings.

Submissions will be made via EasyChair. The submission Web page for

ICLP2023 is

https://easychair.org/conferences/?conf=iclp2024

ORGANIZATION:

Honorary General Chair: Doug DeGroot

Program Co-chairs: Pedro Cabalar and Theresa Swift

General Chair: Gopal Gupta

VENUE

ICLP’24 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.

Program Committee

Salvador  Abreu          NOVA-LINCS / University of Evora

Mario  Alviano                 University of Calabria

Nicos  Angelopoulos            The Pirbright Institute

Joaquín  Arias                 Universidad Rey Juan Carlos

Marcello  Balduccini           Saint Joseph's University

Mutsunori  Banbara             Nagoya University, JAPAN

Chitta  Baral                  Arizona State University

Roman  Barták                  Charles University

Elena  Bellodi                 University of Ferrara

Bart  Bogaerts                 Vrije Universiteit Brussel (VUB)

Roberta  Calegari              Alma Mater Studiorum–Università di Bologna

Francesco  Calimeri            University of Calabria

Manuel  Carro                  Technical University of Madrid and IMDEA Software Inst.

Angelos  Charalambidis         Harokopio University

Michael  Codish          Ben-Gurion University of the Negev

Stefania  Costantini           Università dell'Aquila

Alessandro  Dal Palù           Università degli Studi di Parma

Marina  De Vos                 University of Bath

Marc  Denecker                 Katholieke Universiteit Leuven

Agostino  Dovier         Univ. di UDINE

Thomas  Eiter                  TU Wien

Esra  Erdem                    Sabanci University

Wolfgang  Faber          Alpen-Adria-Universität Klagenfurt

Jorge  Fandinno          University of Nebraska Omaha

Johannes K.  Fichte            Linköping University

Fabio  Fioravanti              University of Chieti-Pescara

Andrea  Formisano              Università di Udine

Gerhard  Friedrich             Alpen-Adria-Universitaet Klagenfurt

Marco  Gavanelli         University of Ferrara

Martin  Gebser                 University of Klagenfurt

Laura  Giordano          DISIT, Università del Piemonte Orientale

Ricardo  Gonçalves             Universidade NOVA de Lisboa

Gopal  Gupta                   University of Texas at Dallas

Markus  Hecher                 Massachusetts Institute of Technology

Giovambattista  Ianni          University of Calabria, Italy

Daniela  Inclezan              Miami University

Tomi  Janhunen                 Tampere University

Matthias  Knorr          Universidade NOVA de Lisboa

Mark  Law                ILASP limited

Joao  Leite                    Universidade NOVA de Lisboa

Michael  Leuschel              University of Düsseldorf

Yuliya  Lierler          University of Nebraska at Omaha

Vladimir  Lifschitz            The University of Texas at Austin

Francesca Alessandra  Lisi     Università degli Studi di Bari ``Aldo Moro''

Yanhong A.  Liu          Stony Brook University

Marco  Maratea                 DIBRIS, University of Genova

Viviana Mascardi               DIBRIS, University of Genova

Laurent  Michel          University of Connecticut

Jose F.  Morales         IMDEA Software Research Institute

Johannes  Oetsch         Jönköping University

Manuel  Ojeda-Aciego           University of Malaga

Simona  Perri                  University of Calabria

Enrico  Pontelli         New Mexico State University

Francesco  Ricca         niversity of Calabria

Fabrizio  Riguzzi              University of Ferrara

Ricardo  Rocha                 University of Porto

Chiaki  Sakama                 Wakayama University

Vitor  Santos-Costa            DCC-FCUP

Zeynep G.  Saribatur           TU Wien

Torsten  Schaub          University of Potsdam

Konstantin  Schekotihin        Alpen-Adria Universität Klagenfurt

Tom  Schrijvers          Katholieke Universiteit Leuven

Tran Cao  Son                  New Mexico State University

Mohan  Sridharan         University of Edinburgh

Paul  Tarau                    University of North Texas

Hans  Tompits                  TU Wien

Mirek  Truszczynski            University of Kentucky

German  Vidal                  MiST, VRAIN, Universitat Politecnica de Valencia

Concepcion  Vidal              University of Coruña

Alicia  Villanueva             VRAIN - Universitat Politècnica de València

Kewen  Wang                    Griffith University

David  Warren                  SUNY Stony Brook

Felix  Weitkämper              Ludwigs-Maximilians-Universität München

Jan  Wielemaker          Vrije Universiteit Amsterdam

Stefan  Woltran          TU Wien

Roland  Yap                    National University of Singapore

Jia-Huai  You                  University of Alberta

Zhizheng  Zhang          Southeast University, Nanjing China

Yuanlin  Zhang                 Texas Tech University

Neng-Fa  Zhou                  CUNY Brooklyn College and Graduate Center