Category: Call for papers

CFP: PADL 2023

CFP: PADL 2023 Call for Papers 25th International Symposium on Practical Aspects of Declarative Languages (PADL 2023) https://popl23.sigplan.org/home/PADL-2023 Boston, Massachusetts, United States, January 16-17, 2023 Co-located with ACM POPL 2023  Conference Description Declarative languages comprise several well-established classes of formalisms,…

CFP: Celebrating 50 Years of Prolog

Call for position papers celebrating the 50 year anniversary of Prolog, to be published by Springer in the LNAI series. As part of the 2022: The Year of Prolog celebrations, we are planning to publish a Volume in the Springer…

ICLP 2022 Call for papers

The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Conferences/ICLP2022/ Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/   Abstract registration: January 21, 2022 Paper submission: January…

CFP: WOA 2020

21st Workshop “From Objects to Agents Bologna, Italy, 22-24 June 2020 http://woa2020.apice.unibo.it Call for Papers The twenty-first edition of the Workshop “From Objects to Agents” (WOA) will be held in Bologna to serve as a forum for researchers and practitioners…

CFP: Theory and Practice of Logic Programming: The 20th Anniversary Issue

Following the example of a highly successful and influential special issue of the Journal of Logic Programming, commemorating the 10th anniversary of the journal in 1994, the Editorial and Advisory Boards of TPLP propose to publish a special issue of…

INAP 2019: Call for Papers (Submission Deadline extended)

22nd International Conference on Applications ofDeclarative Programming and Knowledge Management Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration:…

WLP 2019: Call for Papers (Submission Deadline extended)

3rd Workshop on (Constraint) Logic Programming Cottbus, Germany, September 9-13, 2019(part of Declare 2019: www.declare19.de) Important Dates — EXTENDED DEADLINES — Paper submission: June 24, 2019Notification of acceptance: July 15, 2019Camera-ready papers: August 5, 2019Early registration: August 12, 2019Online Registration:…

SIGLOG/VCLA TRAVEL AWARDS FOR WOMEN IN LOGIC WORKSHOP 2019 (WiL 2019)

It is our pleasure to announce the call for the SIGLOG/VCLA Travel Awards for attendees of Women in Logic Workshop 2019 (WiL) associated with the 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) 2019. ELIGIBILITY Thanks to the…

CFP: WiL 2019: 3rd Women in Logic Workshop

Call for Talks and Papers           WiL 2019: 3rd Women in Logic Workshop                     Vancouver, Canada                       23 June 2019    https://sites.google.com/site/womeninlogic2019/home Affiliated with the Thirty-Fourth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 24-27 June 2019 (https://lics.siglog.org/lics19/). We are holding the third Women…