Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting October 3, 2012

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/