Blog Archives

These are the items posted in this seminar, currently ordered by their post-date, rather than by the event date. We will create improved views in the future. In the meantime, please click on the Seminar menu item above to find the page associated with this seminar, which does have a more useful view order.

The second joint JAF/MAMLS (Journées sur les Arithmétiques Faibles and Mid Atlantic Mathematical Logic Seminar) will be held at the CUNY Graduate Center 7-9th of July 2015. Confirmed speakers include:
Sam Buss, Petr Glivický, Joel Hamkins, Karen Lange, James Schmerl, Jerzy Tomasik, and Henry Towsner.
The conference is organized by Roman Kossak (Chair), Patrick Cegielski, Alfred Dolich, and Kerry Ojakian. The conference website is here. Funding is available to support participant travel. Please write to to apply for support.


Rutgers 2013 MAMLS
The Fall 2013 MAMLS Meeting will take place at Rutgers University on October 19-20, 2013. The invited speakers include Paul Larson, Andrew Marks, Justin Moore, Itay Neeman, Trevor Wilson and Spencer Unger.

The lectures will take place in Room 221 in Scott Hall on College Avenue Campus. For those of you who are coming by train, Scott Hall is a short walk from the train station: Map showing route to Scott Hall, 43 College Ave.

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)

CUNY Logic Workshop

The CUNY Logic Workshop is a weekly seminar in mathematical logic at the CUNY Graduate Center.
(134 items)

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)

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)

Computational Logic Seminar

The seminar in computational logic at the CUNY Graduate Center
(88 items)


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)

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)

HoTT Reading Group

The goal of this group is to study this: 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

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

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

Welcome to New York Logic!

Oct 18 Wednesday Oct 19 Thursday Oct 20 Friday Oct 21 Saturday Oct 22 Sunday Oct 23 Monday Oct 24 Tuesday

go to the Calendar


Upcoming talks and events: