Category: Regular columns

Collection of theses in Computational Logic

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…

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…

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: …