Recent and upcoming talks by Barbara Csima

South-Eastern Logic Colloquium 2015, February 28 – March 1, 2015

The South-Eastern Logic Colloquium 2015 will take place during the weekend of February 28/ March 1, 2015, at University of Florida, Gainesville, FL. We will also have a colloquium talk on Friday February 27 4pm by Henry Towsner.   continue reading…

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…