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…
Author: Editors
Postdoc Opportunity
Postdoc applications are accepted for an RA position with Dr. Veronica Dahl (SFU) and Dr. Salvador Abreu (Universidade de Evora) for research and programming duties. Theme: Declarative and Constraint Modelling for Generating Socially and Environmentally Responsible Action Plans Application Deadline:…
50 Years of Prolog
The programming language Prolog saw the light of day fifty years ago.
To celebrate this anniversary, we declare 2022 Year of Prolog!
ICLP 2022 Call for papers
The 38th International Conference on Logic Programming (ICLP 2022) https://software.imdea.org/Conferences/ICLP2022/ Haifa, Israel August 2-8, 2022 ICLP 2022 will be a physical event in Haifa, Israel Part of the FLOC 2022 https://floc2022.org/ Abstract registration: January 21, 2022 Paper submission: January…
Doctoral program LogiCS@TUWien: 20 PhD positions
Call for Applications: 20 PhD (university assistant, pre-doc) positions, 40 hours/week, limited for 4 years. The novel interdisciplinary Marie Skłodowska-Curie COFUND doctoral training program LogiCS@TUWien – Logics for Computer Science, http://www.vcla.at/msca co-funded by the European Commission, will offer 20 full-time…
Scientific Tribute Day, Alain Colmerauer
The LIS laboratory from the university of Marseilles organizes a Scientific Tribute Day to Alain Colmeraueur on october 8th at the campus of Luminy (Marseilles). Alain Colmerauer is known as a pioneer of Artificial Intelligence and the author of the famous programming language…
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.…