World Logic Prizes Contest
The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15
The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15
The Winner is
The Winner is
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
2nd Logic Prizes Contest: Thursday 7 of April
2nd Logic Prizes Contest: Thursday 7 of April
Result of the order of lectures after the draw at the opening session: 1.Russia, 2.Ukraine, 3.Brazil, 4.Poland, 5.Greece, 6.Bulgaria, 7.France, 8.Serbia, 9.Moldova, 10.Spain, 11.India, 12.Croatia, 13.Peru, 14 Mexico, 15. Portugal. All contestants confirmed that the timing was OK, except the contestant from Croatia, who will arrive only at 18h at Chania airport. He agreed to be the last to speak, after dinner at 20h00. It is important to have all the contestants presenting the same day.
Result of the order of lectures after the draw at the opening session: 1.Russia, 2.Ukraine, 3.Brazil, 4.Poland, 5.Greece, 6.Bulgaria, 7.France, 8.Serbia, 9.Moldova, 10.Spain, 11.India, 12.Croatia, 13.Peru, 14 Mexico, 15. Portugal. All contestants confirmed that the timing was OK, except the contestant from Croatia, who will arrive only at 18h at Chania airport. He agreed to be the last to speak, after dinner at 20h00. It is important to have all the contestants presenting the same day.
The contest will run on Thursday Apri 7 from 9h15 to 20h30 (Greek Time) with two coffee-breaks, a lunch break and a dinner break. See precise schedule below.
The contest will run on Thursday Apri 7 from 9h15 to 20h30 (Greek Time) with two coffee-breaks, a lunch break and a dinner break. See precise schedule below.
Everybody in the world can watch the contest!
Everybody in the world can watch the contest!
Join Zoom Meeting
Join Zoom Meeting
https://us02web.zoom.us/j/6649229661
https://us02web.zoom.us/j/6649229661
Meeting ID: 664 922 9661
Meeting ID: 664 922 9661
Passcode: 2030
Passcode: 2030
NB: You can join but not speak, turn off your microphone and camera.
NB: You can join but not speak, turn off your microphone and camera.
Jury of the 2nd World Logic Prizes Contest
Jury of the 2nd World Logic Prizes Contest
Precise Schedule of the Contest, April 7
Precise Schedule of the Contest, April 7
The contest will run from 9h15 to 20h30 (Greek Time), on Thursday Apri 7. Each contestant will have exactly 30mn for her/his presentation, including discussion. We advise to leave 5 to 10mn for questions of the members of the jury. Other people attending are not allowed to ask questions. The timing is very strict.
The contest will run from 9h15 to 20h30 (Greek Time), on Thursday Apri 7. Each contestant will have exactly 30mn for her/his presentation, including discussion. We advise to leave 5 to 10mn for questions of the members of the jury. Other people attending are not allowed to ask questions. The timing is very strict.
(P) 9h00-9h15 Presentation of the contest by Jean-Yves Beziau, the Organizer
(P) 9h00-9h15 Presentation of the contest by Jean-Yves Beziau, the Organizer
(1) 9h15-9h45 Russia
(1) 9h15-9h45 Russia
(2) 9h45- 10h15 Ukraine
(2) 9h45- 10h15 Ukraine
(3) 10h15- 10h45 Brazil
(3) 10h15- 10h45 Brazil
10h45-11h00 Coffee Break
10h45-11h00 Coffee Break
(4) 11h00- 11h30 Poland
(4) 11h00- 11h30 Poland
(5) 11h30- 12h00 Greece
(5) 11h30- 12h00 Greece
(6) 12h00- 12h30 Bulgaria
(6) 12h00- 12h30 Bulgaria
(7) 12h30- 13h00 France
(7) 12h30- 13h00 France
13h00-14h00 Lunch
13h00-14h00 Lunch
(8) 14h00- 14h30 Serbia
(8) 14h00- 14h30 Serbia
(9) 14h30- 15h00 Moldova
(9) 14h30- 15h00 Moldova
(10) 15h00-15h30 Spain
(10) 15h00-15h30 Spain
(11) 15h30- 16h00 India
(11) 15h30- 16h00 India
16h00-16h30 Coffee Break
16h00-16h30 Coffee Break
(12) 16h30 -17h00 Peru
(12) 16h30 -17h00 Peru
(13) 17h00-17h30 Mexico
(13) 17h00-17h30 Mexico
( 14 ) 17h30-18h00 Portugal
( 14 ) 17h30-18h00 Portugal
18h -19h Break
18h -19h Break
19h-20h Dinner
19h-20h Dinner
(15) 20h00-20h30 Croatia
(15) 20h00-20h30 Croatia
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 2022 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 2022 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 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:
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:
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, 15 countries already have declared their winners, who will take part to the contest:
For the 2nd Word Logic Prizes Contest, 15 countries already have declared their winners, who will take part to the contest:
> 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.
Timing for the Organization of the 2nd Logic Prizes Contest
Timing for the Organization of the 2nd 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: December 1st, 2021
(2) Deadline for submitting a paper for the Logic Smurfland Prize: December 1st, 2021
(3) Proclamation of the Winner of the Logic Smurfland Prize: December 21, 2021
(3) Proclamation of the Winner of the Logic Smurfland Prize: December 21, 2021
(4) The Winner of the Logic Smurfland Prize goes to UNILOG 2022 to present his/her work at the World Logic Prizes Contest
(4) The Winner of the Logic Smurfland Prize goes to UNILOG 2022 to present his/her work at the World Logic Prizes Contest
The Universal Logic Prize is sponsored by
The Universal Logic Prize is sponsored by
