[submission deadline fast approaching]
[apologies for duplicate messages]
The 40th International Conference on Logic Programming
October 11-17, 2024
Dallas, Texas
https://iclp24.utdallas.edu/
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, Constraint 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
Paper Registration May 6, 2024
Submission deadline for regular papers, main/application tracks May 13, 2024
Notification to authors June 19, 2024
Revision deadline (when needed) July 8, 2024
Submission deadline for short papers, main/application tracks,
system demos, BOF meetings, and recently published research July 8, 2024
Final notification July 22, 2024
Final copy due August 5, 2024
Workshops and Autumn School October 11-13, 2024
Main conference October 14-17, 2024
TRACKS AND SPECIAL SESSIONS
In addition to the main track, ICLP 2024 will host:
-
Applications Track: invites submissions on emerging and deployed
applications of LP, describing aspects of the development,
deployment, and evaluation of logic programming systems to solve
real-world problems, including interesting case studies, benchmarks,
and lessons learned. -
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 journal Theory and Practice of Logic Programming (TPLP)
published by Cambridge University Press. TPLP format is described at
https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/information/instructions-contributors -
The ICLP 24 Technical Communication Proceedings published by
Electronic Proceedings in Theoretical Computer Science (EPTCS).
EPTCS format is described at http://style.eptcs.org
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.
-
Regular papers are at most 14 pages in TPLP format, including
references. Accepted regular papers will be published either in
a special issue of TPLP or in the Technical Communication
Proceedings of ICLP ’24. In the latter case, papers must be
reformatted into EPTCS format and must not exceed 14 pages.
Authors of Regular papers accepted as Technical Communications
can convert their submissions into extended abstracts (2 or 3
pages in EPTCS format) which should allow authors to submit a
long version elsewhere. -
Short papers (7 pages in EPTCS format, including references).
The accepted short papers will be published in the Technical
Communication Proceedings.
-
-
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 Log in to EasyChair for ICLP 2024
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 University 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