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
Communicated by Paul Tarau
Communicated by Fariba Sadri, IC London, (co-chair)