Recent and upcoming talks by Henry Towsner

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…

04/11/2013: Robin Tucker-Drob and Henry Towsner

DST Seminar Monday 4/11 —- Robin Tucker-Drob (Rutgers) Title: Stallings Foldings and Cost Logic Seminar at 5:00 Room 705 Monday 04/11 — Henry Towsner (UPenn) Title:Hypergraph Removal, Fubini’s Theorem, and Ultralimits continue reading…

This Week in Logic at CUNY

  Computational Logic Seminar Tuesday, April 30, 2013 2:00 pm rm. 3209, Graduate Center CUNY Speaker: Melvin Fitting Lehman College, CUNY Graduate Center Title: Realization Implemented Justification logics are connected to modal logics via realization theorems. continue reading…