Category: Regular columns
Recognition CodeX 2021 Prize
TPLP Changes
Call for Participation: ICLP 2019
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