Logic and Computation: Essays in Honour of Amilcar Sernadas

This volume celebrates Amílcar Sernadas' (1952--2017) highly significant and original scientific contributions, as well as his outstanding academic career. This compilation of articles by colleagues, former students and friends was prepared in the months that followed the Conference in Honour of Amílcar, which was held at the Instituto Superior Técnico in April 2016, to celebrate his 64th birthday.