World Logic Prizes Contest
What is the World Logic Prizes Contest ?
What is the World Logic Prizes Contest ?
The World Logic Prizes Contest is a competition that will take place during UNILOG 2025 between winners of Logic Prizes from many countries. Each winner of a given country will have 30 mn (including discussion) to present the work for which he/she has won the prize in his/her country. A Jury of about 10 important logicians from all over the world will at the end of the presentations decide who is the winner of the Universal Logic Prize.
The World Logic Prizes Contest is a competition that will take place during UNILOG 2025 between winners of Logic Prizes from many countries. Each winner of a given country will have 30 mn (including discussion) to present the work for which he/she has won the prize in his/her country. A Jury of about 10 important logicians from all over the world will at the end of the presentations decide who is the winner of the Universal Logic Prize.
Schedule for the 3rd World Logic Prizes Contest
Schedule for the 3rd World Logic Prizes Contest
Here is a suggested schedule for the organization of a Logic Prize in a given country, say Smurfland, in view of the World Logic Prizes Contest:
Here is a suggested schedule for the organization of a Logic Prize in a given country, say Smurfland, in view of the World Logic Prizes Contest:
(1) Circulation of the Call for Papers for the Logic Smurfland Prize: As soon as possible
(1) Circulation of the Call for Papers for the Logic Smurfland Prize: As soon as possible
(2) Deadline for submitting a paper for the Logic Smurfland Prize: May 1st 2025
(2) Deadline for submitting a paper for the Logic Smurfland Prize: May 1st 2025
(3) Proclamation of the Winner of the Logic Smurfland Prize: June 1st, 2025
(3) Proclamation of the Winner of the Logic Smurfland Prize: June 1st, 2025
(4) The paper is published in the journal Logica Universalis in September 2025
(4) The paper is published in the journal Logica Universalis in September 2025
(5) The Winner of the Logic Smurfland Prize goes to UNILOG 2025 to present his/her work at the World Logic Prizes Contest
(5) The Winner of the Logic Smurfland Prize goes to UNILOG 2025 to present his/her work at the World Logic Prizes Contest
The First World Logic Prizes Contest took place at UNILOG 2018 in Vichy, France. The papers presented at this contest were published in a special issue of Logica Universalis (vol.12. issue 3-4, 2018). The Winner of the Prize was Ivan Varzinczak, Participant of the Contest was the Winner of the Louis Couturat Prize of Logic, France
The First World Logic Prizes Contest took place at UNILOG 2018 in Vichy, France. The papers presented at this contest were published in a special issue of Logica Universalis (vol.12. issue 3-4, 2018). The Winner of the Prize was Ivan Varzinczak, Participant of the Contest was the Winner of the Louis Couturat Prize of Logic, France
To have a better understanding regarding the procedure of Logic Prizes, have a look at A PRIZE OF LOGIC IN EVERY COUNTRY! and also watch the video below with Ivan's report and explanation:
To have a better understanding regarding the procedure of Logic Prizes, have a look at A PRIZE OF LOGIC IN EVERY COUNTRY! and also watch the video below with Ivan's report and explanation:
For the 2nd Word Logic Prizes Contest at the 7th UNILOG in Crete in Abril 2022, 15 countries took part :
For the 2nd Word Logic Prizes Contest at the 7th UNILOG in Crete in Abril 2022, 15 countries took part :
> Zvonimir Šikić, University of Zagreb, winner of the Georgius Benignus Logic Prize (Croatia) with the paper "Kneale's natural deductions as a notational variant of Beth's tableaus".
> Zvonimir Šikić, University of Zagreb, winner of the Georgius Benignus Logic Prize (Croatia) with the paper "Kneale's natural deductions as a notational variant of Beth's tableaus".
> Bama Srinivasan and Ranjani Parthasarath, Anna University, Chennai, winners of the Bimal Krishna Matilal Logic Prize (India) with the paper “A formalism to specify unambiguous instructions inspired by Mimamsa in computational settings”.
> Bama Srinivasan and Ranjani Parthasarath, Anna University, Chennai, winners of the Bimal Krishna Matilal Logic Prize (India) with the paper “A formalism to specify unambiguous instructions inspired by Mimamsa in computational settings”.
> Víctor Aranda Utrero, Autonomous University of Madrid, winner of the Spanish Prize of Logic with the paper "Completeness: From Husserl to Carnap".
> Víctor Aranda Utrero, Autonomous University of Madrid, winner of the Spanish Prize of Logic with the paper "Completeness: From Husserl to Carnap".
> Sérgio Marcelino, University of Lisbon, winner of the Amilcar Sernadas Logic Prize (Portugal) with the paper "An unexpected Boolean connective".
> Sérgio Marcelino, University of Lisbon, winner of the Amilcar Sernadas Logic Prize (Portugal) with the paper "An unexpected Boolean connective".
> Ievgen Ivanov, Taras Shevchenko National University of Kyiv, winner of the Ukrainian Logic Society Prize with the paper "On Induction Principles for Partial Orders".
> Ievgen Ivanov, Taras Shevchenko National University of Kyiv, winner of the Ukrainian Logic Society Prize with the paper "On Induction Principles for Partial Orders".
> Rafael Félix Mora Ramirez, National University of San Marcos , Lima , Peru, winner of the Francisco Miró Quesada Cantuarias Logic Prize (Peru) with the paper "A pragmatic dissolution of Curry’s paradox".
> Rafael Félix Mora Ramirez, National University of San Marcos , Lima , Peru, winner of the Francisco Miró Quesada Cantuarias Logic Prize (Peru) with the paper "A pragmatic dissolution of Curry’s paradox".
> Yana Rumenova Georgieva and Tinko Tinchev, Sofia University, Bulgaria, winner of the Ivan Soskov Logic Prize (Bulgaria) with the paper "Modal definability: two commuting equivalence relations".
> Yana Rumenova Georgieva and Tinko Tinchev, Sofia University, Bulgaria, winner of the Ivan Soskov Logic Prize (Bulgaria) with the paper "Modal definability: two commuting equivalence relations".
> Tomasz Jarmuzek and Mateusz Klonowski, Nicolaus Copernicus University, Toruń, Poland, winners of the Alfred Tarski Logic Prize (Poland) with the paper "Tableaux for logics of content relationship and set-assignment semantics".
> Tomasz Jarmuzek and Mateusz Klonowski, Nicolaus Copernicus University, Toruń, Poland, winners of the Alfred Tarski Logic Prize (Poland) with the paper "Tableaux for logics of content relationship and set-assignment semantics".
> Alexandra Pavlova, Technical University of Vienna, Austria, winner of the Vasiliev Logic Prize (Russia) with the paper "From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Godel Logic".
> Alexandra Pavlova, Technical University of Vienna, Austria, winner of the Vasiliev Logic Prize (Russia) with the paper "From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Godel Logic".
> Costas Dimitracopoulos, National and Kapodistrian University of Athens, Greece, winner of the Aristotle Logic Prize (Greece) with the paper "Analytics vs. Stoicheia".
> Costas Dimitracopoulos, National and Kapodistrian University of Athens, Greece, winner of the Aristotle Logic Prize (Greece) with the paper "Analytics vs. Stoicheia".
> Ioachim Drugus, Vladimir Andrunachievici Institute of Mathematics and Computer Science, Chisinau, Moldova, winner of the Moldovan Logic Prize (Moldova) with the paper "A Universal Algebraic Set Theory Built on Mereology with Applications".
> Ioachim Drugus, Vladimir Andrunachievici Institute of Mathematics and Computer Science, Chisinau, Moldova, winner of the Moldovan Logic Prize (Moldova) with the paper "A Universal Algebraic Set Theory Built on Mereology with Applications".
> Guillaume Aucher, University of Rennes, IRISA and CNRS, France, winner of the Louis Couturat Logic Prize (France) with the paper "On the Universality of Atomic and Molecular Logics via Protologics".
> Guillaume Aucher, University of Rennes, IRISA and CNRS, France, winner of the Louis Couturat Logic Prize (France) with the paper "On the Universality of Atomic and Molecular Logics via Protologics".
> Šejla Dautović, Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, winner of the Serbian Prize of Logic with the paper "A probabilistic logic between LPP1 and LPP2".
> Šejla Dautović, Mathematical Institute of the Serbian Academy of Sciences and Arts, Serbia, winner of the Serbian Prize of Logic with the paper "A probabilistic logic between LPP1 and LPP2".
> María del Rosario Martínez-Ordaz, winner of the Mexican Academy of Logic (AML) Prize of Logic with the paper "A methodological shift in favor of (some) paraconsistency in the sciences".
> María del Rosario Martínez-Ordaz, winner of the Mexican Academy of Logic (AML) Prize of Logic with the paper "A methodological shift in favor of (some) paraconsistency in the sciences".
> Ciro Russo, Federal University of Bahia, Salvador, Brazil, winner of The Newton da Costa Prize of Logic (Brazil), "Coproduct and amalgamation of deductive systems by means of ordered algebras".
> Ciro Russo, Federal University of Bahia, Salvador, Brazil, winner of The Newton da Costa Prize of Logic (Brazil), "Coproduct and amalgamation of deductive systems by means of ordered algebras".
These papers are being published in a special issue of the journal Logica Universalis. Most of them are already on-line. Click on the title of a paper to access it.
These papers are being published in a special issue of the journal Logica Universalis. Most of them are already on-line. Click on the title of a paper to access it.
The Winner of the 2nd World Logic Prizes Contest was
The Winner of the 2nd World Logic Prizes Contest was
Ciro Russo, Federal University of Bahia, Salvador, Brazil
Ciro Russo, Federal University of Bahia, Salvador, Brazil
Participant of the Contest as the Winner of the Newton da Costa Prize of Logic, Brazil
Participant of the Contest as the Winner of the Newton da Costa Prize of Logic, Brazil
The Universal Logic Prize is sponsored by
The Universal Logic Prize is sponsored by
