[FOM] Constructivity in Logic Conference

[Melvin Fitting]

A three-day conference devoted to Constructivity 
in Logic, and honoring Sergei Artemov on his 60th 
birthday, will be held at CUNY in May.  An 
announcement is attached.  Please feel free to 
disseminate it to any who might be interested.

Best,

Melvin Fitting
Anil Nerode



CONFERENCE ANNOUNCEMENT AND CALL FOR PARTICIPATION

THE CONSTRUCTIVE IN LOGIC AND APPLICATIONS.
A 60TH BIRTHDAY CELEBRATION HONORING SERGEI ARTEMOV
May 23­25, 2012, in the CUNY Graduate Center, 365 Fifth Avenue, New York City.
____________________

Constructivity is fundamental  to the application 
of mathematics to the real world, whether in the 
exact sciences, the social sciences, or 
engineering. Constructive logics  supporting this 
tradition have flourished over the last century. 
This conference is a celebration of the past and 
future of the constructive tradition.

Distinguished logician Sergei Artemov is 60.  He 
has made fundamental contributions exploring 
constructivity in logic, computer science, 
epistemology, game theory, and other areas.  With 
this conference we honor his work, and by 
extension a subject whose content he has 
elucidated and whose boundaries he has expanded.
____________________

Scientific Committee: Anil Nerode (Cornell) and Melvin Fitting (CUNY)
Web page: ConstructivityAtCUNY.com. Participants 
are invited to register, the registration is free.
Contact email: Info at ConstructivityAtCUNY.com.

Preliminary Program:
May 23, talks from 9.00am - 5pm, followed by a 
wine and cheese party and a piano recital by Harvey Friedman.
May 24, talks from 9:00am - 5:00pm, followed by the conference dinner.
May 25, talks from 9:00am - 4:00pm.

The confirmed speakers are:
Arnon Avron (Tel Aviv University)
Adam Brandenburger (New York University)
Sam Buss (University of California San Diego)
Robert Constable (Cornell University)
Solomon Feferman (Stanford University)
Melvin Fitting (City University of New York)
Harvey Friedman (Ohio State University)
Haim Gaifman (Columbia University)
Dexter Kozen (Cornell University)
Victor Marek (University of Kentucky)
Robert Milnikel (Kenyon College)
Joan Moschivakis (University of California Los Angeles)
Yiannis Moschovakis (University of California Los Angeles)
Pavel Naumov (McDaniel College)
Anil Nerode (Cornell University)
Rohit Parikh (City University of New York)
Vaughan Pratt (Stanford University)
Jeff Remmel (University of California San Diego)
Bryan Renne (University of Amsterdam)
Gerald Sacks (Harvard University /Massachusetts Institute of Technology)
Andre Scedrov (University of Pennsylvania)
Johan van Benthem (University of Amsterdam/Stanford University)




A three-day conference devoted to Constructivity 
in Logic, and honoring Sergei Artemov on his 60th 
birthday, will be held at CUNY in May.  An 
announcement is attached.  Please feel free to 
disseminate it to any who might be interested.

Best,

Melvin Fitting
Anil Nerode



CONFERENCE ANNOUNCEMENT AND CALL FOR PARTICIPATION

THE CONSTRUCTIVE IN LOGIC AND APPLICATIONS.
A 60TH BIRTHDAY CELEBRATION HONORING SERGEI ARTEMOV
May 23–25, 2012, in the CUNY Graduate Center, 365 Fifth Avenue, New York City.
____________________

Constructivity is fundamental  to the application 
of mathematics to the real world, whether in the 
exact sciences, the social sciences, or 
engineering. Constructive logics  supporting this 
tradition have flourished over the last century. 
This conference is a celebration of the past and 
future of the constructive tradition.

Distinguished logician Sergei Artemov is 60.  He 
has made fundamental contributions exploring 
constructivity in logic, computer science, 
epistemology, game theory, and other areas.  With 
this conference we honor his work, and by 
extension a subject whose content he has 
elucidated and whose boundaries he has expanded.
____________________

Scientific Committee: Anil Nerode (Cornell) and Melvin Fitting (CUNY)
Web page: 
<http://ConstructivityAtCUNY.com>ConstructivityAtCUNY.com. 
Participants are invited to register, the registration is free.
Contact email: 
<mailto:Info at ConstructivityAtCUNY.com>Info at ConstructivityAtCUNY.com.

Preliminary Program:
May 23, talks from 9.00am - 5pm, followed by a 
wine and cheese party and a piano recital by Harvey Friedman.
May 24, talks from 9:00am - 5:00pm, followed by the conference dinner.
May 25, talks from 9:00am - 4:00pm.

The confirmed speakers are:
Arnon Avron (Tel Aviv University)
Adam Brandenburger (New York University)
Sam Buss (University of California San Diego)
Robert Constable (Cornell University)
Solomon Feferman (Stanford University)
Melvin Fitting (City University of New York)
Harvey Friedman (Ohio State University)
Haim Gaifman (Columbia University)
Dexter Kozen (Cornell University)
Victor Marek (University of Kentucky)
Robert Milnikel (Kenyon College)
Joan Moschivakis (University of California Los Angeles)
Yiannis Moschovakis (University of California Los Angeles)
Pavel Naumov (McDaniel College)
Anil Nerode (Cornell University)
Rohit Parikh (City University of New York)
Vaughan Pratt (Stanford University)
Jeff Remmel (University of California San Diego)
Bryan Renne (University of Amsterdam)
Gerald Sacks (Harvard University /Massachusetts Institute of Technology)
Andre Scedrov (University of Pennsylvania)
Johan van Benthem (University of Amsterdam/Stanford University)