By Eugenio Omodeo and Alberto Policriti with a foreword by Domenico Cantone. Martin Davis (March 8, 1928-January 1, 2023) and his beloved wife Virginia passed away yesterday. They had been married for over 71 years. Martin was one of the…
Open Call: 39th International Conference on Logic Programming [Short, TC, BoF, Demo,Recent Pubs]
Open CALL FOR PAPERSThe 39th International Conference on Logic Programming (ICLP 2023)https://iclp2023.imperial.ac.uk/ London, UKJuly 9-15, 2023 ICLP 2023 will be an in-person event in London, UK. Scope Since the first conference held in Marseille in 1982, ICLP has been…
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,…