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.
Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan