[PlanetKR] ICLP 2023: FINAL call; Logic Programming, London (UK), 9-15 July 2023 (CFP)

Tue Apr 25 15:50:11 UTC 2023

Please circulate within your networks. Apologies for multiple postings.
________________

FINAL CALLS FOR PAPERS
(short papers, technical communications, recently published, demo, BoF)
________________

The 39th International Conference on Logic Programming (ICLP 2023)
        https://iclp2023.imperial.ac.uk/
London, UK, July 9-15, 2023

ICLP 2023 will be an in-person event

PLEASE NOTICE THAT PAPER SUBMISSION DEADLINE for:

* Short Papers
* Technical communications
* Recently Published Journal/Conference Research
* Demos
* Proposals for Birds of a Feather Sessions

IS APRIL 28, 2023

* Final notifications (all paper kinds): May 19, 2023
* Camera-ready copy due (all paper kinds): May 26, 2023
(Deadlines expire at the end of the day, anywhere on earth.)

SUBMISSION DETAILS
All submissions must be written in English.
Accepted papers will be published by Electronic Proceedings in Theoretical Computer Science (EPTCS). EPTCS format is described at  http://style.eptcs.org/

Submissions must be done via EasyChair. The submission Web page for ICLP2023 is
https://easychair.org/conferences/?conf=iclp2023

EXPECTED SUBMISSIONS:

* Technical Communications (14 pages in EPTCS format, including references)
   The accepted TC papers will be published in the Technical Communication Proceedings.
* 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 (2-3 pages in EPTCS format)
   Extended abstract describing previously published research (from January 2021 onwards) in selective journals and conferences, but that have not been previously presented at ICLP.
   A title page should be appended to the submission with (i) details on the venue, 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 and BoF Proposals (2-3 pages in EPTCS format)
   System demonstrations should provide highlights of the novel features of the system, along with information about how to access it.
   BoF proposals should motivate the choice of the topic and its relevance to logic programming, describe the expected audience, identify discussion leaders and their expertise, and provide a brief description of the activities during the BoF session. We expect BoFs to be inclusive and involve active participation for attendees. Describe how your BoF will use inclusive practices and foster attendees involvement. The extended abstracts will be published in the Technical Communication Proceedings.

****** CONFERENCE: July 9-15, 2023

SCOPE
Since the first conference held 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.
* Language Design and Programming Methodologies.
* Program Analysis and Optimization.
* Implementation Methodologies.
* Related Paradigms, Integration, and Synergies.
* Applications of Logic Programming.

TRACKS AND SPECIAL SESSIONS
Besides the main track, ICLP 2023 will host additional tracks:

* Technical Communications and Short Papers:
  these submissions represent an opportunity to present results which may be more preliminary and discuss cutting-edge ideas which are relevant to the domain of logic programming.
* Recently Published Research Track:
  this track provides a forum to discuss important results related to logic programming that appeared recently (from January 2021 onwards) in selective journals and conferences, but have not been previously presented at ICLP.
* System Demonstrations:
  we invite submissions showcasing logic programming systems and implementations in a live setting. This track is not designed to be sales pitches, demonstrations are a way for the community to see the relevance, potential, and innovation of the tool and allow time for discussion with its creator.
* Birds-of-a-Feather (BoF) sessions:
  we invite proposals for sessions meant to provide an inclusive environment for colleagues with similar interests to meet for informal discussion. Proposers of BoF sessions should serve as discussion leaders only. BoFs are not intended to be presentations.

In addition,  ICLP 2023 will host:

* Doctoral Consortium and Mentoring Sessions:
  the Doctoral Consortium (DC) on Logic Programming provides 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 and succeed for a research career. We will have leaders in logic programming research from academia and industry to give invited talks on their research areas. The best paper from the DC will be given the opportunity to make a presentation in a session of the main ICLP conference.
* Tutorials.
* Co-located Workshops.
* Summer School on Logic Programming.
* Logic Programming Contest.

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.

ORGANIZATION
** General Chairs
   Alessandra Russo and Francesca Toni, Imperial College London, UK
** Program Chairs
   Stefania Costantini, University of L’Aquila, Italy
   Enrico Pontelli, New Mexico State University, USA
** Publicity Chair
   Guilherme Paulino-Passos and Alex Spies, Imperial College London, UK
** Workshop Chair
   Wolfgang Faber, University of Klagenfurt, Austria
** Tutorials Chairs
   Agostino Dovier, University of Udine, Italy
   Esra Erdem, Sabanci University, Turkey
** Doctoral Consortium Chairs
   Francesco Fabiano, University of Udine, Italy
   Alessandra Mileo, DCU, Ireland
** Programming Contest Chairs
   Martin Gebser, Graz University of Technology, Austria
   Mario Alviano, University of Calabria, Italy
** Recently Published Research Track Chair
   Sarah Gaggl, TU Dresden, Germany
** Application and Systems/Demo Chair
   Carmine Dodaro, University of Calabria, Italy
** Summer School Organizers
   Simona Perri, University of Calabria, Italy
   Bart Bogaerts, Vrije Universiteit Brussel, Belgium
** Thematic Tracks Chairs:
   - LP and Explainability, Ethics and Trustworthiness
     Roberta Calegari, University of Bologna, Italy
   - LP and Machine Learning
     Artur Garcez, City University of London, UK
** BoF Chair
   Luciano Serafini, Fondazione Bruno Kessler Trento, Italy

Program Committee
Abreu, Salvador, University of Evora, Portugal
Alviano, Mario, University of Calabria, Italy
Artikis, Alexander, NCSR "Demokritos", Greece
Balduccini, Marcello, Saint Joseph’s University, USA
Baral, Chitta, Arizona State University, USA
Bartak, Roman, Charles University, Czech Republic
Bellodi, Elena, University of Ferrara, Italy
Ben-Eliyahu-Zohary, Rachel, Jerusalem College of Engineering, Israel
Bogaerts, Bart, Vrije Universiteit Brussel, Belgium
Cabalar, Pedro, University of Corunna, Spain
Calegari, Roberta, University of Bologna, Italy
Calimeri, Francesco, University of Calabria, Italy
Codish, Michael, Ben-Gurion University of the Negev, Israel
Daggit, Matthew, Heriot-Watt University, Israel
De Gasperis, Giovanni, University of L’Aquila,  Italy
De Vos, Marina, University of Bath, UK
Dodaro, Carmine, University of Calabria, Italy
Dovier, Agostino, University of Udine, Italy
Dutra, Ines, University of Porto, Portugal
Dyoub, Abeer, University of L’Aquila, Italy
Eiter, Thomas, Vienna University of Technology, Austria
Erdem, Esra, Sabanci University, Turkey
Fabiano, Francesco, University of Parma, Italy
Fandinno, Jorge, University of Nebraska Omaha, USA
Fioravanti, Fabio, University of Chieti-Pescara, Italy
Formisano, Andrea, University of Udine, Italy
Gaggl, Sarah Alice, University of Dresden, Germany
Garcez, Artur, City University of London, UK
Gavanelli, Marco, University of Ferrara, Italy
Gebser, Martin, University of Klagenfurt, Austria
Gelfond, Michael, Texas Tech University, USA
Giordano, Laura, University of Piemonte Orientale, Italy
Gupta, Gopal, University of Texas at Dallas, USA
Hermenegildo, Manuel, IMDEA Software Institute Madrid, Spain
Iclezan, Daniela, Miami University, USA
Inoue, Katsumi, NII, Japan
Kampik, Timotheus, Umeå Universitet, Sweden
Katzouris, Nikos, National Center for Scientific Research "DEMOKRITOS", Greece
Kiziltan, Zeynep, University of Bologna, Italy
Lamma, Evelina, University of Ferrara, Italy
Lifschitz, Vladimir, University of Texas at Austin, USA
Lisi, Francesca, University of Bari, Italy
Liu, Y. Annie, State University of New York at Stony Brook, USA
Manhaeve, Robin, KLU, Belgium
Mascardi, Viviana, University of Genova, Italy
Michel, Laurent, USA
Mileo Alessandra, Dublin City University, Ireland
Morales, Jose, IMDEA Software Institute, Spain
Nicolosi-Asmundo, Marianna, University of Catania, Italy
Oikarinen, Emilia, University of Helsinki, Finland
Patsantzis, Stassa, Imperial College, UK
Pimentel, Elaine, UCL, UK
Piazza, Carla, University of Udine, Italy
Pozzato, Gianluca, University of Torino, Italy
Ramakrishnan, CR, State University of New York at Stony Brook, USA
Ricca, Francesco, University of Cosenza, Italy
Riguzzi, Fabrizio, University of Ferrara, Italy
Rocha, Ricardo, University of Porto, Portugal
Sabuncu, Orkunt, Ted University Ankara, Turkey
Sakama, Chiaki, Wakayama University, Japan
Saribatur, Zeynep, TU Wien, Austria
Md Kamruzzaman, Sarker, University of Hartford, UK
Schaub, Torsten, University of Potsdam, Germany
Son, Tran Cao, New Mexico State University, USA
Swift, Theresa, Universidade Nova de Lisboa, Portugal
Tarau, Paul, University of North Texas, USA
Truszczynski, Mirek, University of Kentucky, USA
Vidal, German, Universitat Politècnica de València, Spain
Villaneuva, Alicia, Universitat Politècnica de València, Spain
Warren, David, State University of New York at Stony Brook, USA
Weitkamper, Felix, Ludwig-Maximilians University of Munich, Germany
Wielemaker, Jan, Vrije University of Amsterdam, The Netherlands
Yap, Roland, National University, Singapore
Zaverucha, Gerson, UFRJ, Brazil
Zhang,Yuanlin, Texas Tech University, USA
Zhou, Neng-Fa, Brooklyn College, New York, USA

Any additional question can be directed towards the ICLP Chairs:
  iclp2023 at easychair.org

--
CLArg/Imperial College London<https://clarg.doc.ic.ac.uk/> |
github<https://github.com/GPPassos/> | [cid:25761bfa-0e73-4c57-93f3-1df30567c343] <https://orcid.org/0000-0003-3089-1660>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://kr.org/pipermail/planetkr/attachments/20230425/7a2d3c4a/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Outlook-2tifqtlh.png
Type: image/png
Size: 1261 bytes
Desc: Outlook-2tifqtlh.png
URL: <http://kr.org/pipermail/planetkr/attachments/20230425/7a2d3c4a/attachment-0001.png>