The CUNY Logic Workshop

CUNY Logic Workshop

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

Friday, November 25 is the day after Thanksgiving, so there will be no seminars at the Graduate Center that day.

Since CUNY will follow a Tuesday schedule on Friday, October 14, we will not have any of the usual Friday logic seminars that day. However, there will be a talk by George Metcalfe at 4 pm, described below.

We do not have a speaker for Friday, March 4, so there will be no Logic Workshop that day. (The Set Theory and Model Theory Seminars will meet as usual.)

Our prospective speaker has had to postpone her talk, so there will be no CUNY Logic Workshop on May 8.

CUNY’s spring vacation is April 3-11, 2015. Therefore, no seminars will meet at the Graduate Center on April 3, nor on April 10.

Neither the Logic Workshop nor the Model Theory Seminar will meet on Friday, Feb. 13, 2015. Both Feb. 12 and Feb. 16 are CUNY holidays. We will resume on Friday, Feb. 20.

CUNY will have holidays on two consecutive Fridays, September 26 and October 3, 2014, so the Logic Workshop and other seminars will not meet on those days.

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:

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)

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)

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: 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

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