Logic and Computation

This volume celebrates AmIlcar 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 AmIlcar, which was held at the Instituto Superior TEcnico in April 2016, to celebrate his 64th birthday.

Acest volum celebreaza contributiile stiintifice extrem de semnificative si originale ale lui AmIlcar Sernadas (1952-2017), precum si cariera sa academica remarcabila. Aceasta compilatie de articole ale colegilor, fostilor studenti si prieteni a fost pregatita in lunile care au urmat Conferintei in onoarea lui AmIlcar, care a avut loc la Institutul Superior TEcnico in aprilie 2016, pentru a sarbatori 64 de ani.