CONTEST LOGIC PRIZES at UNILOG'2018
Sunday June 24 2018 Afternoon, Vichy, France

 SCHEDULE 

In the previous editions of UNILOG, we had a prize based on a contest with a theme,
for this edition this has evolved in the contest "logic prizes",
see details in the paper Universal Logic: Evolution of a Project
and to understand how the prize works, have a look at the page A Prize of Logic in Every Country !
Each winner of a prize will present his/her work in 30mn including discussion Sunday 24 afternoon

The jury will then give the universal logic prize to the best of them
Besides receiving this honorific prize,
the winner will be invited speaker at the next UNILOG
and will receive a purchase voucher of Birkhäuser/Springer-Nature

                       


JURY MEMBER
Hartry Field
Department of Philosophy, New York University, New York, USA


JURY MEMBER
Michèle Friend
Department of Philosophy, George Washington University,
Washington, USA


JURY MEMBER
Grzegorz Malinowski
Department of Logic,
University of Łódź,
Łódź, Poland


JURY MEMBER
Ahti-Veikko Pietarinen
Nazabayev University, Astana
Republic of Kazakhstan


JURY MEMBER
Peter Schroeder-Heister
Department of Computer Science, University of Tübingen, Germany


PRESIDENT O THE JURY
Göran Sundholm
Dpt of Philosophy
University of Leiden,
Leiden, The Netherlands


JURY MEMBER
Leon van der Torre
Computer Science and Communication Lab, University of Luxembourg, Luxemburg


ORGANIZER OF THE CONTEST
Jean-Yves Beziau
University of Brazil, Rio de Janeiro
and ENS, Paris, France




Zalán Gyenis
Jagiellonian University, Kraków, Poland
“On the modal logic of Jeffrey conditionalization”
Winner of the Alfred Tarski Logic Prize




Stefano Bonzio
Marche Polytechnic University, Ancona, Italy
“Dualities for Płonka Sums”
Winner of the SILFS Logic Prize




Jonas R. Becker Arenhart
Federal University of Santa Catarina Florianópolis, Santa Catarina, Brazil
“New logics for quantum non-individuals?”
Winner of the Newton da Costa Logic Prize




Tin Perkov
University of Zagreb, Croatia
“Abstract logical constants”
Winner of the Georgius Benignus Logic Prize




Takis Hartonas
University of Applied Sciences of Thessaly, Greece
“Canonical Extensions and Kripke-Galois Semantics for Non-Distributive Propositional Logics”
Winner of the Aristotle Logic Prize




Jeff Pelletier and Allen Hazen
University of British Columbia and University of Alberta, Canada
“K3, L3, LP, RM3, A3, FDE, M:
How to make many valued logics work for you”

Winners of the Schotch-Jennings Logic Prize





Yaroslav Petrukhin
Lomonosov Moscow State University, Moscow, Russia
“Proof Theory for Genuine Paraconsistent Logics L3A and L3B”
Winner of the Vasiliev Logic Prize





Jolly Thomas
International Institute of Information Technology, Hyderabad, India
“Developing Metalogic to Formalize Ontological Disputes of the Systems in Metaphysics by Introducing the Notion of Functionally Isomorphic Quantifiers”
Winner of the Bimal Krishna Matilal Logic Prize






Ivan Varzinczak
Université d’Artois and CRIL lab, France
“A note on a description logic of concept and role typicality”
Winner of the Louis Couturat Logic Prize










All presentations will have a duration of 30 mn (including discussion)