Please post at FOM: Online conference "Fitting at 80," Saturday, January 28

[Artemov, Sergei]

Fitting at 80
Saturday, January 28
Call For Participation.

A prominent logician Melvin Fitting has turned 80. This online conference is a special event in his honor. Melvin Fitting was in the departments of Computer Science, Philosophy, and Mathematics at the CUNY Graduate Center and in the department of Mathematics and Computer Science at Lehman College. He is now Professor Emeritus. He has authored 11 books and over a hundred research papers with staggering citation figures. In 2012 Melvin Fitting was given the Herbrand Award by the Conference on Automated Deduction (CADE) for distinguished contributions to the field.

Greetings, congratulations, photos for posting, and ZOOM link requests could be sent to Sergei Artemov by sartemov at gmail.com or sartemov at gc.cuny.edu.

Conference website https://sartemov.ws.gc.cuny.edu/fitting-at-80/

Program (the times are given in the Eastern Day Time zone EST).

January 28, Saturday

8:00-8:45 am Arnon Avron (Tel Aviv), “Breaking the Tie: Benacerraf’s Identification Argument Revisited”
8:45-9:30 am Junhua Yu (Beijing), "Exploring Operators on Neighborhood Models"

9:30-9:45 am Break

9:45-10:30 am Sara Negri (Genoa), "Faithful Modal Embedding: From Gödel to Labelled Calculi"
10:30-11:15 am Heinrich Wansing (Bochum), “Remarks on Semantic Information and Logic. From Semantic Tetralateralism to the Pentalattice 65536_5”

11:15-11:30 am Break

11:30 am -12:15 pm Roman Kuznets (Vienna), "On Interpolation"
12:15-1:00 pm Walter Carnielli (Campinas), “Combining KX4 and S4: A Logic That Encompasses Factive and Non-factive Evidence”

1:00-1:15 pm Break

1:15-2:00 pm Eduardo Barrio and Federico Pailos (Buenos Aires), “Meta-classical Non-classical Logics”
2:00-2:45 pm Graham Priest (New York), "Jaśkowski and the Jains: a Fitting Tribute"

2:45-4:00 pm Session of memories and congratulations featuring Sergei Artemov, Hiroakira Ono, Anil Nerode, Melvin Fitting, and others.