Category: ALP ISSUE

The Alpha Solver for Lazy-Grounding Answer-Set Programming

Antonius Weinzierl1, Bart Bogaerts2, Jori Bomanson3, Thomas Eiter1,Gerhard Friedrich4, Tomi Janhunen3;5, Tobias Kaminski1, Michael Langowski1, Lorenz Leutgeb1, Gottfried Schenner6, Richard Taupe4;61 Institute of Logic and Computation, Vienna University of Technology, Austria2 Department of Computer Science, Vrije Universiteit Brussel (VUB), Belgium3…

In memoriam: Jan Małuszyński

Our friend, colleague and mentor Jan Małuszyński, age 79, passed away in his home on June 27th, 2020, after an extended battle with cancer. Our thoughts go, in particular, to Jan’s wife Gizela and their children Ania and Chris and…

In Memoriam: Jan Maluszynski

It is with a heavy heart that we announce that Professor Jan Maluszynski and passed away after fighting a fatal illness for over a year. Prof. Maluszynski was one of the pioneers of logic programming, with important contributions in a…

In Memoriam: Christian Schulte

We are saddened to learn of the passing of Christian Schulte – an amazing researcher whose work has impacted many of us in the logic programming community. Maria Garcia de la Banda wrote a nice note about Christian for ACP…

Polyvariant program specialisation and its application in program analysis and verification

By John P. Gallagher, Roskilde University, Denmark and IMDEA Software Institute, Madrid, Spainjpg@ruc.dk Abstract: Specialisation is a program transformation that transforms a program with respect to given constraints that restrict its behaviour. Typically, the goal is to optimise a program, but specialisation can also…

Call for Participation: ICLP 2019

CALL FOR PARTICIPATION – ICLP 2019 – https://www.cs.nmsu.edu/ALP/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…

Editorial, Volume 32, No. 2, August 2019

Are you back in office after vacation? Or are your still holding your feet into the sea or climbing mountains? In both cases, you can enjoy reading the contents of your favorite newsletter.  We have three feature articles: Dynamic and…

An Arboriculture Approach for Parallel SMT and Symbolic Model Checking

by M. Marescotti, A.E.J. Hyvärinen, N. SharyginaFormal Verification and Security LabUniversità della Svizzera ItalianaSwitzerland FULL PAPER Abstract: The inherent complexity of parallel computing makes development, resource monitoring, and debugging for parallel constraint-solving-based applications difficult. This paper presents SMTS, a framework for parallelizing sequential constraint…