[FOM] Melvin Fitting 70 conference on Computational Logic

[Sergei Artemov]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20120920/36948ab3/attachment.html>