Graduate Logic Seminar: Difference between revisions
| Line 23: | Line 23: | ||
We will then assign speakers to dates and topics. | We will then assign speakers to dates and topics. | ||
=== '''February 5 - Taeyoung Em''' === | |||
'''Title:''' TBA | |||
'''Abstract:''' TBA | |||
<!-- Template | <!-- Template | ||
=== '''September 18 - | === '''September 18 - xxx''' === | ||
'''Title:''' | '''Title:''' TBA ([https://wiki.math.wisc.edu/images/***.pdf Slides]) | ||
'''Abstract:''' | '''Abstract:''' TBA | ||
--> | --> | ||
Revision as of 00:10, 30 January 2024
The Graduate Logic Seminar is an informal space where graduate students and professors present topics related to logic which are not necessarily original or completed work. This is a space focused principally on practicing presentation skills or learning materials that are not usually presented in a class.
- When: Mondays 3:30-4:30 PM
- Where: Van Vleck B223
- Organizers: Steffen Lempp and Hongyu Zhu
The talk schedule is arranged at the beginning of each semester. If you would like to participate, please contact one of the organizers.
Sign up for the graduate logic seminar mailing list: join-grad-logic-sem@lists.wisc.edu
Spring 2024
The seminar will be run as a 1-credit seminar Math 975 . In Spring 2024, the topic will be forcing constructions in computability theory. If you are not enrolled but would like to audit it, please contact Steffen Lempp and Hongyu Zhu.
Presentation Schedule: https://docs.google.com/spreadsheets/d/1JC6glG_soNLtaMQWaAuADlUu8dh2eJ0NL-MaUr7-nOk/edit?usp=sharing
Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23)
January 29 - Organizational Meeting
Steffen Lempp will give an overview and present some very basic forcing construction.
We will then assign speakers to dates and topics.
February 5 - Taeyoung Em
Title: TBA
Abstract: TBA
Previous Years
The schedule of talks from past semesters can be found here.