By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.
By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
By Agostino Dovier and Enrico Pontelli
Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
By Yuliya Lierler and Peter Schüller. Communicated by Paul Tarau.
By André Freitas and João C. Pereira da Silva. Communicated by Alessandra Mileo and Thomas Kreenwalner