Logic and Computation Seminar 2025 @Pennsylvania