Recent and upcoming talks by Alex Wilkie

2014 North American Annual ASL Meeting, May 19 – 22, 2014

2014 ASL North American Annual Meeting. May 19–22, 2014, Boulder, Colorado. The invited speakers are: L. Barto, B. Csima, V. de Paiva, J. Hirst, M. Hrusak, A. Kolesnikov, A. Marks, M.C. continue reading…

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…