Recent and upcoming talks by Russell Miller

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…

18/Feb/2013: Simon Thomas, Russel Miller

Rutgers Logic Seminars Spring 2013 Room 423, Hill Center NOTE CHANGE OF ROOM Descriptive Set Theory Seminar Monday Feb 18th, 3:20-4:40 pm Simon Thomas, Rutgers Invariant random subgroups II Rutgers Logic Seminar Monday Feb 18th, 5:00-6:20 pm Russell Miller, CUNY Independent sets in free groups and fields continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Time 2:00 – 4:00 PM, September 11, Room 3309 Can Baskent, IHPST, Université Paris 1 Panthéon-Sorbonne Some Logical Approaches to Lakatos’s ‘Proofs and Refutations’ Abstract. Lakatos’s seminal work ‘Proofs and Refutations’ presents a rational analysis of theorem improvement. continue reading…