Computational Logic

A 70th Birthday Celebration Honoring Melvin Fitting

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.



Poster (2MB jpg) Leave a birthday greeting for Mel Fitting
   Read the submitted birthday greetings
Registration For questions, email Eva@Antonakos.net


SPEAKERS INCLUDE CONFERENCE ORGANIZERS
Patrick Blackburn Sergei Artemov
Michael Dunn Evangelia Antonakos
Melvin Fitting                             "If the shoe fits, try to find the other one!" Yegor Bryukhov
Arnold Koslow                                                 -MF on his research methodology Karen Kletter
Saul Kripke
Vladimir Lifschitz
Jan Plaza
Raymond Smullyan

Conference Schedule (pdf)

CONFERENCE SLIDES and VIDEOS (coming)



This conference made possible with the sponsorship of

CUNY Research Foundation

Lehman College, CUNY

CUNY Ph.D. Programs in Computer Science, Mathematics, and Philosophy

image courtesy of Joao Marcos