<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr">The Decision Problem for Effective Procedures - Celebration of the 120th anniversary of Alonzo Church<br></div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr">Nathan Salmon (University of California at Santa Barbara), Gary Mar (State University of New York, Stony Brook), Melvin Fitting (CUNY Graduate Center)<br>Logica Universalis Webinar 2023<br>---------------------------------------------------------------------------------------------------------------------<br>June 14, 2023 at 4pm CET (Paris-Geneva-Rome) we will have one more session of the Logica Universalis Webinar (LUW).<br>Nathan Salmón will present his recently published paper in Logica Universalis <br>"The Decision Problem for Effective Procedures"</div><div dir="ltr"><a href="https://www.springer.com/journal/11787/" target="_blank">https://www.springer.com/journal/11787/</a><br><br>Salmón was a former PhD student of the famous logician and founder of computer science Alonzo Church.<br>Church was born June 14, 1903. We will therefore commemorate his 120th anniversary with a preliminary presentation by his last PhD student Gary R.Mar.<br>The chair of the session will be Melvin Fitting.<br><br>Nathan Salmón was also a long time friend and collaborator of Saul Kripke:<br><a href="https://www.simplycharly.com/read/interviews/naming-names-a-deep-dive-into-saul-kripkes-philosophy-with-nathan-salmon/" target="_blank">https://www.simplycharly.com/read/interviews/naming-names-a-deep-dive-into-saul-kripkes-philosophy-with-nathan-salmon/</a><br><br>At LUW we have before the main talk the presentation of an association related to the author or/and topic of the talk.<br>The Kripke center was presented at  the LUW session of August 11, 2021:</div><div dir="ltr"><a href="https://youtu.be/piyvWZ5nOik" target="_blank">https://youtu.be/piyvWZ5nOik</a></div><div dir="ltr"><br>This next LUW session June 14 will initiate a series where the preliminary talk is related to the anniversary of a famous logician.<br>This is not indeed completely new, considering that the first session of LUW was for the celebration of the World Logic Day, January 14, 2021,<br>the 120th anniversary of Alfred Tarski:<br><a href="http://www.logica-universalis.org/wld3" target="_blank">http://www.logica-universalis.org/wld3</a><br><br>Everybody is welcome to attend the next LUW session June 14, register here:<br><a href="https://www.springer.com/journal/11787/updates/23910922" target="_blank">https://www.springer.com/journal/11787/updates/23910922</a><br><br>Jean-Yves Beziau<br>Editor-in-Chief  Logica Universalis<br>President of LUA (Logica Universalis Association)<br></div><div dir="ltr"><a href="http://www.logica-universalis.org/LUAD" target="_blank">http://www.logica-universalis.org/LUAD</a><br></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>