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 Eva@Antonakos.net

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/