By Paolo Baldan (1) and Roberto Bruni (2) (1) Univ. of Padova, Department of Pure and Applied Mathematics (2) Univ. of Pisa, Computer Science Department It’s the end of the extra time of the final the European football championship. It has been…
By Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. Communicated by Pedro Cabalar Fernandez and Michael Fink.
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