Logic List Mailing Archive

Memorial for Martin Davis

[ forwarded from the FOM List; https://cs.nyu.edu/mailman/listinfo/fom<https://urldefense.com/v3/__https:/cs.nyu.edu/mailman/listinfo/fom__;!!Mih3wA!Ao6oZOa3ns7NgIHynQ_e0O8YKveJxlYN5jSbKHSyZhulm3ghK-w8-goT347Jf5PuVlvggftyoEO79UjuuYYAcgI$> ]

Dear FOM,

I've been asked to post an announcement for a special event in memory of Martin and Virginia Davis to be held at the Courant Institute (NYU) on January 26, 2024. Martin Davis was a long-time moderator for FOM. The web page for the event is at


The event plans presentations by Allyn Jackson, Eugenio Omodeo and Wilfried Sieg and a session on Memories of Martin and Virginia Davis.

If you will attend, the organizers request you preregister online so that they can reserve an appropriate room and arrange for building access. The event will also be livestreamed.

People who cannot attend in person may submit a paragraph or two to the organizers to be read aloud at the event.
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php