The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training programme LogiCS@TUWien – Logics for Computer Science co-funded by the European Commission, will offer 20 full-time PhD positions. The program is hosted by TU Wien, one of the most successful technical universities…
ICLP 2021 Accepted Papers
Dear friends, the list of accepted papers and the link to their Arxiv version is published in https://www.cs.nmsu.edu/ALP/tplp/tplp-accepted-papers/Don’t forget to register to the conference!!!
Alain Colmerauer’s life and work: a movie
We are glad to share with the ALP community the link to a preview of the movie about the co-inventor of PROLOG and one of the fathers of our favourite research field. Have a nice view
FACULTY POSITION IN KU LEUVEN
PROFESSOR OF DECLARATIVE METHODS FOR COGNITIVE ROBOTICSKU Leuven Campus Diepenbeek There is a vacancy for a full-time academic position (tenured or tenure track) in the Computer Science Department at KU Leuven in the area of declarative methods for cognitive robotics.…
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
The Stanford Center for Legal Informatics today announced the recipients of the 2021 CodeX Prize. The prize this year was awarded to Robert Kowalski (AAAI Fellow), Fariba Sadri, and Marek Sergot of Imperial College in recognition of their groundbreaking work on…