[Logica-l] Avi Wigderson, Complexity Theory Pioneer, Wins Turing Award

https://www.quantamagazine.org/avi-wigderson-complexity-theory-pioneer-wins-turing-award-20240410/ JM -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos

[Logica-l] Fwd: CfNominations: Beth Dissertation Prize 2024 for dissertations in Logic / Language and Information, deadline: 30 April 2024

-- Forwarded message - E W BETH DISSERTATION PRIZE 2024 = Since 2002, the Association for Logic, Language, and Information (FoLLI) has been awarding the annual E.W. Beth Dissertation Prize to outstanding Ph.D.

[Logica-l] Fwd: CfNomination: 'Dov Gabbay Prize" for Logic and Foundation, deadline: 30 April 2024

-- Forwarded message - The ''Dov Gabbay Prize for Logic and Foundations'' is an international research prize aimed at outstanding and inspirational contributions in Logic and Foundations. It targets active researchers combining foundational insight and conceptual innovation with so

[Logica-l] Fwd: CfNominations: Ackermann Award 2024 PhD Dissertation in Logic in CS, deadline: 1 July 2024.

-- Forwarded message - ACKERMANN AWARD 2024 EACSL OUTSTANDING DISSERTATION AWARD FOR LOGIC IN COMPUTER SCIENCE CALL FOR NOMINATIONS Nominations are now invited for the 2024 Ackermann Award. PhD dissertations in topics specified by the CSL an