This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.