Dear Logic Programming Colleagues, welcome to a new issue of your favorite ALP Newsletter! First of all, we need to apologize for the slight delay in the recent publications of the newsletter – new administrative appointments have taken a toll…
Report on ICLP 2018
By Alessandro Dal Palu’ and Paul Tarau,
University of Parma and University of North Texas,
Italy and USA
CFP: Practical Aspects of Declarative Languages 2019
By Moa Johansson
Chalmers University of Technology
Sweden
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…
Luxembourg Logic for AI Summit
Early registration deadline is on August 09 2018. Registration is open via EasyChair
System Announcement: EZSMT
by Yuliya Lierler
University of Nebraska Omaha
USA