I am the organizer of a logic reading group at the Graduate Center. In the Fall ’23 semester, we are working on higher-order logics.
Meetings are on Friday from 3 p.m. at the Philosophy Department of the Graduate Center.
If you are interested, drop me an email.