Month: August 2022

Editorial Vol. 34, No. 1, August 2022

Dear LPers, Welcome back to a long overdue update from your favorite ALP. Apologies for the long delay – many changes have taken place and we are now ready to entertain you again with all the interesting news from the world of…

Collection of theses in Computational Logic

The ALP website is trying to build the list of theses (bachelor, master, PhD) in Computational Logic.    See, for instance,  PhD Dissertations Master’s Theses   Please, consider to report your work for inclusion in the list by sending the…

A New, Embeddable In-Browser Ciao Playground

  We are excited to announce a new, embeddable playground for Ciao Prolog that runs locally in your browser thanks to WebAssembly: https://ciao-lang.org/playground/ The Ciao Prolog Playground offers a very easy way to run and share Prolog code, directly from any modern…

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…