Ezgi Iraz Su, winner of Teo Grünberg Logic Prize for Turkey 2025

[jean-yves beziau]

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