Recent and upcoming talks by Andrej Bauer

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…

This Week in Logic at CUNY

Computational Logic Seminar October 16, Time 2:00 – 4:00 PM, Room 3309. Speaker: Giorgi Japaridze, Villanova Title: Give Caesar what belongs to Caesar Abstract: In this talk I will discuss the possibility and advantages of basing applied theories (e.g. continue reading…