Melvin Fitting received the 2012 Herbrand Award for
Distinguished Contributions to Automated Deduction.
Leave a birthday greeting for Mel Fitting
Read the submitted birthday greetings
Registration For questions, email [email protected]
SPEAKERS INCLUDE
Patrick Blackburn
Michael Dunn
Melvin Fitting
Arnold Koslow
Saul Kripke
Vladimir Lifschitz
Jan Plaza
Raymond Smullyan
CONFERENCE ORGANIZERS
Sergei Artemov
Evangelia Antonakos
Yegor Bryukhov
Karen Kletter
Official Website: http://cslogic.info/ComputationalLogicFitting70/
Added by NYC-Phil on September 28, 2012