Recent and upcoming talks by Leszek Kołodziejczyk

Logic Colloquium 2014, July 14-19, 2014

Logic Colloquium 2014 will take place during the Vienna Summer of Logic. The Program Committee members are: Z. Adamowicz, J. Avigad (Chair), M. Bezem, S. Friedman, J. Koenigsman, K. Lodaya, P. continue reading…

Mostowski 100, October 11-13, 2013

The Andrzej Mostowski Centenary Conference will take place at the University of Warsaw on 11-13 October 2013. Here is the list of speakers. Heritage track Mikołaj Bojańczyk, University of Warsaw. Computation in Sets With Atoms. continue reading…