We have a variety of logic seminars and logic-friendly seminars at the CUNY Graduate Center.
Set theory seminar
The set theory seminar meets Fridays (10:00 - 11:45 am, GC room 6417) during the semester and holds talks on all aspects of set theory and its connection with other parts of logic and mathematics. Topics especially include forcing, large cardinals and infinite combinatorics. Talks are given by distinguished visitors, as well as by members of the New York logic community.
(135 items)
No posts found
CUNY Logic Workshop
The CUNY Logic Workshop is a weekly seminar in mathematical logic at the CUNY Graduate Center.
(134 items)
No posts found
Model theory seminar
The Model theory seminar meets weekly at the CUNY Graduate Center on Fridays 12:30 until 1:45, covering a broad collection of topics in model theory. The seminar is organized by Alfred Dolich, Roman Kossak, Hans Schoutens and Philipp Rothmaler.
(100 items)
No posts found
Models of PA
The Models of PA seminar meets regularly at the CUNY Graduate Center, holding talks on models of the Peano Axioms and related theories. It meets on (most) Mondays 6:30 - 8 PM at the CUNY Graduate Center in room 4214.03. It is organized by Roman Kossak and Erez Shochat.
(93 items)
No posts found
Computational Logic Seminar
The seminar in computational logic at the CUNY Graduate Center
(88 items)
No posts found
MAMLS
The Mid-Atlantic Mathematical Logic Seminar sponsors conferences several times yearly at universities mostly on the US east coast.
(12 items)
No posts found
NY Philosophical Logic Group
The New York Philosophical Logic Group, founded and organized by Hartry Field and Graham Priest, organizes talks and discussions in philosophical logic, interpreted in a generous sense. Meetings are held at NYU.
(11 items)
No posts found
NY Graduate Student Logic Conference
The New York Graduate Student Logic Conference has met every few years at various locations, sponsoring talks by graduate students from all around the world.
(9 items)
No posts found
Logic and Games Seminar
The Logic and Games seminar focuses on a variety of topics in the logic of games, including social semantics and social software.
(8 items)
No posts found
HoTT Reading Group
The goal of this group is to study this: http://homotopytypetheory.org/book/
Homotopy type theory is a new foundation for mathematics based upon type theory and the univalence axiom. This is a topic that unifies the foundations of mathematics, computer science, algebraic topology, and type theory.
(8 items)
No posts found
GC Philosophy Colloquium
The CUNY Graduate Center Philosophy Colloquium has talks on topics a variety of philosophical topics, including logic, and some of those talks are listed here at nylogic.
(3 items)
No posts found
Hello,
You used to have bibliography list on your site at http://nylogic.org/Publications . Do you have it somewhere else now?
Thanks.
We’re planning to re-do it, using a bibtex based system, which will be more thorough. Sorry for the inconvenience.