Graduate Logic Seminar: Difference between revisions
(instructors now Lempp and Zhu; topic now forcing constructions) |
|||
| Line 3: | Line 3: | ||
* '''When:''' Mondays 3:30-4:30 PM | * '''When:''' Mondays 3:30-4:30 PM | ||
* '''Where:''' Van Vleck B223 | * '''Where:''' Van Vleck B223 | ||
* '''Organizers:''' [https:// | * '''Organizers:''' [https://people.math.wisc.edu/~slempp/ Steffen Lempp] and [https://sites.google.com/view/hongyu-zhu/ 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. | The talk schedule is arranged at the beginning of each semester. If you would like to participate, please contact one of the organizers. | ||
| Line 11: | Line 11: | ||
== Spring 2024 == | == Spring 2024 == | ||
The seminar will be run as a 1-credit seminar Math 975 in | 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 [https://people.math.wisc.edu/~slempp/ Steffen Lempp] and [mailto:hongyu@math.wisc.edu Hongyu Zhu]. | ||
Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23) | Zoom link for remote attendance: https://uwmadison.zoom.us/j/96168027763?pwd=bGdvL3lpOGl6QndQcG5RTFUzY3JXQT09 (Meeting ID: 961 6802 7763, Password: 975f23) | ||
| Line 17: | Line 17: | ||
=== January 29 - Organizational Meeting === | === January 29 - Organizational Meeting === | ||
We will | Steffen Lempp will give an overview and present some very basic forcing construction. | ||
We will then assign speakers to dates and topics. | |||
Revision as of 14:56, 19 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.
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.
Previous Years
The schedule of talks from past semesters can be found here.