Background

This meeting aims at bringing together mathematicians and computer scientists from Portugal (but also elsewhere) with interests in Logic. It is specially directed for graduate students. It consists of four introductory courses and a small section for contributed talks.