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…
Category: Regular columns
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…
TPLP Changes
On behalf of the TPLP Editor in Chief, Mirek Truszczynski. Effective January 1st, 2021, the following changes will take place on the areas of TPLP: The area of “Theory” will be renamed to “Theoretical Foundations” The area of “Inductive Logic…
Call for Participation: ICLP 2019
CALL FOR PARTICIPATION – ICLP 2019 – https://logicprogramming.org/iclp2019/ The 35th International Conference on Logic Programming September 20-25, 2019, Las Cruces, New Mexico, USA ———————————————————- Since the first conference held in Marseille in 1982, ICLP has been the premier international event…
Promotional access to ICLP 2018 proceedings
Cambridge University press have just launched a promotional access offer to the Volume 18 – Special Issue 3-4 – July 2018 of Theory and Practice of Logic Programming. Have a nice reading! Thanks to CUP for the fundamental role for…
Feetbook Profiling (or (bi)simulation in disguise)
By Paolo Baldan University of Padova Roberto Bruni Universtity of Pisa A new social network has become extremely popular. It is called Feetbook. Users share stories, anecdotes and pictures about their feet. What is (especially) peculiar is that posts…
Mosquitos reloaded
By Paolo Baldan, University of Padova and
Roberto Bruni, University of Pisa
Book Announcement: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
ALP members Eugenio Omodeo and Alberto Policriti just finished editing abook titled “Martin Davis on Computability, Computational Logic, and Mathematical Foundations” in the Springer series “Outstanding Contributions to Logic”. The book is available at from which front and back matters…
Pick the Right Fence
By Paolo Baldan and Roberto Bruni. In a park there is an area including some rare trees. Such trees are planted very regularly at the points of a grid: …
Book Announcement: Programming Machine Ethics
By Luis Moniz Pereira and Ari Saptawijaya