Formals

A new research group in mathematical logic will be established, with the aim of collaboration between researchers whose previous results were mainly in pure logic and those who previously focused on applications. An obstacle to this communication is the narrow specialization of researchers, which is very often an inevitable consequence of rapid development and the advancement of scientific disciplines. Therefore the emphasis of the project is on mutual communication and dissemination, and training of doctoral students who will be encouraged to develop this interdisciplinary approach from the very beginning of their career.