Logic and Computation

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.