The Logic@TXST Speaker Series will bring several logic speakers to Texas State University to give two talks, one aimed at all students and one aimed at faculty and advanced students. Speakers will also be available to meet with any interested student and faculty for further discussions.
The talks below are Spring 2024; previous talks (starting Fall 2022) are listed below that. Please send any suggestions for speakers to me at wb1011@txstate.edu.
Upcoming talks (flyers are available by clicking on the talk title):
Previous speakers:
2022-2023:
- Marcos Mazari-Armida, University of Colorado Boulder, Sep. 6-8, 2022
- Undergraduate talk: “Universal models for classes of abelian groups”, Slides
Wednesday, September 7, 6:30-8:00pm, DH 332 - Faculty talk: “Characterizing some classical rings via superstability”, Slides
Tuesday, September 6, 12:30-1:50pm, DH 325
- Undergraduate talk: “Universal models for classes of abelian groups”, Slides
- Spencer Unger, University of Toronto, Oct. 5-6, 2022
- Undergraduate talk: “Circle Squaring”
Wednesday, October 5, 6:30-8:00pm, DH 332 - Faculty talk: “Measurable combinatorics”
Wednesday, October 5, 3:30-4:50pm, DH 325
- Undergraduate talk: “Circle Squaring”
- Ronnie Nagloo, University of Illinois-Chicago, Nov. 16-18, 2022
- Undergraduate talk: “Fun with transcendental numbers and functions”
Thursday, November 17, 6:30-8:00PM, DH 333 - Faculty Talk: “Applications of model theory to functional transcendence”
Friday, November 18, 3:30-4:50pm
Math Department Colloquium
- Undergraduate talk: “Fun with transcendental numbers and functions”
- Jonathan Osinski, University of Hamburg
- Student Talk: “What is a large infinity?”
Wednesday, February 22, 6:30-8:00pm, DH 330
- Student Talk: “What is a large infinity?”
- Emily Riehl, John Hopkins University, March 2-4, 2023
- Student Talk: “A reintroduction to proofs”, slides
Thursday, March 2, 6:30-8:00pm, DH 330 - Topology Seminar: “Arrow induction and the dependent Yoneda lemma”
Friday, March 3, 11:00am-12:00pm, DH 333 - Faculty Talk: “Homotopy type theory and univalent foundations”
Friday, March 3, 3:30-4:50pm, DH 329
Math Department Colloquium
- Student Talk: “A reintroduction to proofs”, slides
- Caroline Terry, Ohio State Univeristy, March 28-29, 2023
- Student talk: “Graph Regularity and Model-theoretic Combinatorics”
Wednesday, March 29, 6:30-8:00pm, DH 330 - Faculty talk: “Dividing lines in hereditary properties via regularity lemmas”
Tuesday, March 28, 2:00-3:20pm, TBD
- Student talk: “Graph Regularity and Model-theoretic Combinatorics”
- Dima Sinapova, Rutgers University, April 26-28, 2023
- Student talk: “Set Theory and the Powerset Function”
Wednesday, April 26, 6:30-8:00pm, DH 330 - Faculty talk: “Infinite cardinals and the tree property”
Thursday, April 27, 5:00-6:00pm, DH 331
- Student talk: “Set Theory and the Powerset Function”
2024:
- Chris Kapulkin, University of Western Ontario, Jan. 25-26, 2024
- Undergraduate talk: “An Invitation to Constructive Mathematics”
Thursday, January 25, 5:00-6:30pm, DH 238 - Topology Seminar: “”
Friday, January 26, 11:00-12:30pm, DH 333
- Undergraduate talk: “An Invitation to Constructive Mathematics”
- Andy Zucker, University of Waterloo, Feb. 23-26 2024
- Student talk: “An Introduction to Infinite Structural Ramsey Theory”
Monday, February 26, 6:30-8:00pm, DH 229 - Topology Seminar: “Infinite-dimensional Ramsey theory for binary free amalgamation classes”
Friday, February 23, 11:00-12:30pm, DH 333
- Student talk: “An Introduction to Infinite Structural Ramsey Theory”
- Lynn Scow, California State University, San Bernardino, April 2-5, 2024
- Student talk: “What is the minimum number of colors needed to solve our puzzle?”
Thursday, April 4, 5:00-6:30pm, DH 120 - Math Department Colloquium: “Structural Ramsey Theory and Logic”
Friday, April 5th, 3:30-4:30pm, DH 329
- Student talk: “What is the minimum number of colors needed to solve our puzzle?”
- Monroe Eskew, Kurt Gödel Research Center, University of Vienna, April 15-16, 2024
- Student talk: “Coloring Pseudotrees”
Monday, April 15th, 5:00-6:30pm, DH 239 - Faculty talk: “Generic large cardinals and applications”
Tuesday, April 16th, 5:00-6:00pm, DH 234
- Student talk: “Coloring Pseudotrees”
Back to the Logic@TXST homepage.