Logic Seminar

Tuesdays at 2:55 PM and Wednesdays at 4:00 PM in Malott 206
Organized by: Slawomir Solecki

The topic for fall 2017 will be a new view of computable structure theory. Visit the seminar homepage for more information.

E.g., 2019 Apr 19
E.g., 2019 Apr 19
Tue Jan 22, 2019
2:55 PM
Malott 206
Speaker TBA
Organizational meeting
Wed Jan 23, 2019
4:00 PM
Malott 206
Slawomir SoleckiCornell University
Logic for metric structures
Tue Jan 29, 2019
2:55 PM
Malott 206
Slawomir SoleckiCornell University
Logic for metric structures
Wed Jan 30, 2019
4:00 PM
Malott 206
Brandon SewardCourant Institute
SEMINAR CANCELED
Tue Feb 5, 2019
2:55 PM
Malott 206
Slawomir SoleckiCornell University
Simplicial maps from partial orders
Wed Feb 6, 2019
4:00 PM
Malott 206
Philip SinkCornell University
Logic for metric structures
Tue Feb 12, 2019
2:55 PM
Malott 206
Justin MooreCornell University
Raghavan and Todorcevic's proof of a conjecture of Galvin
Wed Feb 13, 2019
4:00 PM
Malott 206
Jun Le GohCornell University
Metric Scott analysis
Tue Feb 19, 2019
2:55 PM
Malott 206
Justin MooreCornell University
Raghavan and Todorcevic's proof of a conjecture of Galvin
Wed Feb 20, 2019
4:00 PM
Malott 206
Jun Le GohCornell University
Metric Scott analysis
Wed Feb 27, 2019
4:00 PM
Malott 206
Brandon SewardCourant Institute
Folner tilings for actions of amenable groups
Tue Mar 5, 2019
2:55 PM
Malott 206
Slawomir SoleckiCornell University
Polishable equivalence relations
Wed Mar 6, 2019
4:00 PM
Malott 206
Ellie LauriCornell University
Logic for metric structures
Tue Mar 12, 2019
2:55 PM
Malott 206
F. Martin Schneider Technische Universitat Dresden
Concentration and dissipation in topological groups
Wed Mar 13, 2019
4:00 PM
Malott 206
Ellie LauriCornell University
Logic for metric structures
Wed Mar 20, 2019
4:00 PM
Malott 206
Zach NorwoodCornell University
A proof of completeness for continuous first-order logic after Ben Yaacov and Pedersen
Tue Mar 26, 2019
2:55 PM
Malott 206
Harold HodesCornell University
Modal logics, intuitionistic and classical, within moodal logics
Wed Mar 27, 2019
4:00 PM
Malott 206
Sebastian JungeCornell University
Metric Scott analysis
Tue Apr 9, 2019
2:55 PM
Malott 206
Harold HodesCornell University
Modal logics, intuitionistic and classical, within moodal logics; part 2
Wed Apr 10, 2019
4:00 PM
Malott 206
Sebastian JungeCornell University
Metric Scott analysis
Tue Apr 16, 2019
2:55 PM
Malott 206
Jan GrebikCzech Academy of Sciences
Vizing's theorem for graphings
Wed Apr 17, 2019
4:00 PM
Malott 206
Philip SinkCornell University
Logic for metric structures