4-5 Oct 2012
New York NY, U.S.A.
CALL FOR REGISTRATION AND PARTICIPATION Conference: 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. SPEAKERS: Patrick Blackburn, Michael Dunn, Melvin Fitting, Arnold Koslow, Saul Kripke, Vladimir Lifschitz, Jan Plaza, Raymond Smullyan ORGANIZERS: Sergei Artemov, Evangelia Antonakos, Yegor Bryukhov, Karen Kletter PRELIMINARY SCHEDULE. Thursday, October 4: Mel Fitting's talk 4:15 - 5:30pm, room 9204. A wine and cheese reception, conference dinner. Friday, October 5: seven talks 9am - 6pm, room C197. CONFERENCE WEBSITE: http://cslogic.info/ComputationalLogicFitting70/ REGISTRATION. Please register. Registration is free and helps the organizers to estimate the number of participants. You may also leave your birthday greetings to Mel there.