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…
Apply for the ALP Alain Colmerauer Prolog Heritage Prize
Please circulate the announcement of the upcoming nominations to the Alain Colmerauer Prolog Heritage Prize. The deadline for submission is September 2nd, 2022. For more information: https://prologyear.logicprogramming.org/ColmerauerPrize.html
SECOND CALL FOR APPLICATIONS FOR DOCTORAL CANDIDATES
The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien – Logics for Computer Science http://www.vcla.at/msca is offering a further 10 full-time PhD positions. The program is co-funded by the European Commission and hosted by TU Wien, one of the…