SPEAKERS AND TITLES On Gödel numbering Abraham Lim Ken Zhi, Institute of Philosophy of Mind and Cognition, National Yang-Ming University, Taipei, TAIWAN On the problem of preserving finite axiomatizability of a finite matrix under term-equivalence Aleksandra Samonek, Logic, Jagiellonian University, Krakow, POLAND
Do infinitely often equal trees add Cohen reals? Yurii Khomskii, Kurt Gödel Research Center (KGRC), University of Vienna, Vienna, AUSTRIA Giorgio Laguzzi, University of Freiburg, Freiburg, GERMANY Justifying Deductive Inference Mathieu Beirlaen, Institute for Philosophy II, Ruhr University Bochum, Waregem, BELGIUM