This book constitutes the proceedings of the 19th International Conference on Logic for Programmi...