Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting
http://cslogic.info/ComputationalLogicFitting70/
October 4 & 5, 2012
Graduate Center, City University of New York
365 Fifth Avenue, New York City
Melvin Fitting received the 2012 Herbrand Award for
Distinguished Contributions to Automated Deduction.
SPEAKERS INCLUDE
Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan
http://cslogic.info/ComputationalLogicFitting70/
October 4 & 5, 2012
Graduate Center, City University of New York
365 Fifth Avenue, New York City
Melvin Fitting received the 2012 Herbrand Award for
Distinguished Contributions to Automated Deduction.
SPEAKERS INCLUDE
Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan