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 fathers of Computability, to which he contributed with a model of Post–Turing…
Category: ALP ISSUE
Editorial Vol. 34, No. 1, August 2022
Collection of theses in Computational Logic
A New, Embeddable In-Browser Ciao Playground
SECOND CALL FOR APPLICATIONS FOR DOCTORAL CANDIDATES
FACULTY POSITION IN KU LEUVEN
In memoriam: Jack Minker
By Dietmar Seipel and Carolina Ruiz. It is with great sadness that we inform the CS community of Jack Minker’s passing on April 9, 2021. Jack was a pioneer in deductive databases and the leading researcher in disjunctive deductive databases.…
Recognition CodeX 2021 Prize
RTEC: Run-Time Event Calculus
In memoriam: Francisco Bueno
By Manuel Carro, María García de la Banda, Manuel Hermenegildo, Pedro López, José F. Morales It is with the deepest sorrow that we write these lines to share with you the news of the passing away of our very dear…