We are glad to announce the winner of the Teo Grünberg Logic Prize for Turkey 2025 https://www.uni-log.org/logic-prize-turkey-2025 --------------------------------------------------------------------------------------------- Ezgi Iraz Su (Department of Computer Engineering, Sinop University, Turkey) Title of the paper: Splitting Property for Epistemic Equilibrium Logics Abstract: Answer-set programming (ASP) is a declarative logic programming paradigm that provides an efficient problem-solving approach in logic-based artificial intelligence. In ASP, problems are represented as logic programs, and solutions are identified through their answer sets. --------------------------------.........................................................................-- The winner of the prize is a woman ("Ezgi" is a feminine name with roots in Turkish culture and music, It is associated with creativity and artistic expression.) We organized the 5th UNILOG in Istanbul in 2015 and it was quite a success. Here is a photo of the closing session: https://www.uni-log.org/UNILOG2015-closing-session.JPG --------------------------------------------------------------------------------- The Turkish logic prize bears the name of Teo Grünberg (1927 - 2025), of an Ashkenazi Jewish family who moved from Germany to Turkey. He had a crucial role in the development of logic in Turkey after the 2nd World War. Turkey is the only country in the world where logic is mandatory at high school. Teo took part to the 2nd edition of the World Logic Day, January 14, 2020: https://mantik.istanbul.edu.tr/tr/duyuru/communique-for-world-logic-day-by-teo-grunberg-350057006A004D004F0035004D003600350058006A0039007900700046006200610041004F003200370077003200 My colleague Michael Genesereth from Stanford University is also promoting logic at secondary schools: http://intrologic.stanford.edu/homepage/index.html and he is developing in this spirit the ILO (International Logic Olympiad) of which I am a member of the Board of Advisors https://www.logicolympiad.org/ Comme aime à le dire le Baron Chambourcy du Miaou: "Dans un monde sans logique, ce qui domine c'est la folie, ou au mieux, la bêtise" https://sites.google.com/view/miaou-rio/proverbs ------------------------------------------------------------------------------------------------------- This paper will be published in the journal Logica Universalis and will represent the USA at the 3rd edition of the World Logic Prizes Contest which will take place during the 8th UNILOG in Cusco: https://sites.google.com/view/unilog2025/logic-prizes ----------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- Prof. Dr. Dr. Jean-Yves Beziau Federal University of Rio de Janeiro, Brazil https://philpeople.org/profiles/jean-yves-beziau Director of the project A PRIZE OF LOGIC IN EVERY COUNTRY ! https://www.uni-log.org/logic-prize-world
-- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <[email protected]> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para ver esta conversa, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLADxO4g2SosQtrsbYqUMs3tyWYkj3Y2aN_8TEwEUss82w%40mail.gmail.com.
