The Winner of the 2nd World Logic Prizes Contest was announced Friday, April 8, 2022 at 18h15 

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.

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.

Jury of the 2nd World Logic Prizes Contest

> Ivan Varzinczak (President),  Université d’Artois and CNRS, France

> Alexei Muravitsky, Louisiana Scholars’ College, Northwestern State University, USA

> Andrzej Indrzejczak, University of Łódz, Poland

> Roy T.Cook,  University of Minnesota, USA

> Francine F. Abeles, Kean University, USA 

> Peter Verdée, Université de Louvain-la-Neuve, Belgium

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.

(P) 9h00-9h15 Presentation of the contest by Jean-Yves Beziau, the Organizer 

(1) 9h15-9h45 Russia 

(2) 9h45- 10h15 Ukraine 

(3) 10h15- 10h45 Brazil   

10h45-11h00 Coffee Break

(4) 11h00- 11h30 Poland   

(5)  11h30- 12h00  Greece 

(6)   12h00- 12h30 Bulgaria 

(7)  12h30- 13h00 France  

13h00-14h00 Lunch

(8) 14h00- 14h30  Serbia  

(9) 14h30- 15h00  Moldova 

(10) 15h00-15h30 Spain 

(11) 15h30- 16h00 India  

 16h00-16h30 Coffee Break

(12) 16h30 -17h00 Peru

 (13) 17h00-17h30 Mexico

( 14 ) 17h30-18h00 Portugal 

18h -19h Break 

19h-20h Dinner

(15) 20h00-20h30 Croatia 

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 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:

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". 

>  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".

> 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".  

> 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".  

> 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".  

> 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".  

> 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". 

> 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". 

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

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

(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 

(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