Patrick Blackburn
  • Home
  • Biography
  • Books
  • Publications
  • Editorial
  • Courses
  • LPN!
  • C.A.D.I.L.L.A.C.
  • Events
  • Links

Computational Logic: A 70th Birthday Celebration Honoring Melvin Fitting

4/10/2012

 
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

Comments are closed.

    Archives

    May 2016
    October 2015
    June 2015
    December 2014
    November 2014
    May 2014
    April 2014
    December 2013
    October 2013
    August 2013
    June 2013
    April 2013
    March 2013
    November 2012
    October 2012
    August 2012
    June 2012
    May 2012
    April 2012
    December 2011
    November 2011

    Categories

    All

    RSS Feed