Logic List Mailing Archive

New York City Logic Conference 2005 (May 2005)

Announcing the New York City Logic Conference 2005

    Enjoy a weekend of logic in the city!

The third NYC Logic Conference will be held May 20-21, 2005 at the CUNY 
Graduate Center in midtown Manhattan. This conference is organized by Joel
 
David Hamkins, Roman Kossak, Hans Schoutens and Sergei Artemov, and 
sponsored with generous support of the MidAtlantic Mathematical Logic 
Seminar, funded by the National Science Foundation, and The City 
University of New York.

In addition to the distinguished plenary speakers, the conference will 
hold special sessions in Model Theory, Set Theory, Models of Arithmetic 
and the Logical Foundations of Computer Science. Please consult the 
conference web page at http://nylogic.org/Conference for further 
information, including directions and links to hotels.

A current partial list of talks and speakers includes:

Leibnizian and anti-Leibnizian themes in set theory
Professor Ali Enayat  American University

Mutual Stationarity
Professor Philip Welch  University of Bristol

Professor Philipp Rothmaler  Ohio State University

Professor Charles Steinhorn  Vassar College

Professor Ivo Herzog  Ohio State University

Professor Hans Schoutens  NYC College of Technology of CUNY

Professor James Cummings  Carnegie Mellon University

Professor Elizabeth Theta Brown  James Madison University

The lifting property for large cardinal embeddings
Professor Joel David Hamkins  The City University of New York

Alfred Tarski: Life and Logic
Ms. Anita Burdman Feferman

Alfred Tarski: Life and Logic
Professor Solomon Feferman  Stanford University

Phase transitions in logic and combinatorics
Professor Andreas Weiermann  Universit?t M?nster

Nonstandard Models for Inverse Problems in Additive Number Theory
Professor Renling Jin  College of Charleston

Professor James Schmerl  University of Connecticut

Mr. Ermek Nurkhaidarov  University of Connecticut

Mr. Fredrik Engstr?m  Chalmers University of Technology

Professor Andrei Morozov  Novosibirsk State University

LP - The Family
Professor Mel Fitting  The City University of New York

Beyond sequent calculus
Professor Giorgi Japaridze  Villanova University

The Category-Theoretic Solution of Recursive Program Schemes
Professor Lawrence S. Moss  Indiana University

Making Knowledge Explicit
Mr. Roman Kuznets  Graduate Center of the City University of New York

Self reference
Professor Haim Gaifman  Columbia University

There will a party Friday evening at the home of J. Hamkins. The 
conference will conclude on Saturday with a musical performance by T. G. 
Vanini (aka Laurie Kirby) and the Princes of Serendip.

Speakers: please send titles and abstracts to hamkins@nylogic.org.

In order to encourage the participation of graduate students, it is the 
policy of MAMLS to reimburse graduate student (non-speaker) conference 
attendees a flat amount of $35 per meeting for expenses, with special 
cases handled on an individual basis. In addition, it is the policy of 
MAMLS to provide support for young researchers, female mathematicians, and
 
members of other groups traditionally underrepresented in mathematics, on
 
a case by case basis. Inquiries should be directed to the conference 
organizers.