Recent and upcoming talks by Julia Knight

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

  Models of Peano Arithmetic Monday, March 12, 2012 7:00 pm Room 4214-03 Professor Alfred Dolich (Kingsborough Community College) The D’Auquino Knight Starchenko Theorem   Computational Logic Seminar Time 2:00 – 4:00 PM, March 13, Room 3209. continue reading…