We are glad to announce the winner of the 2018 Alfred Tarski Logic Prize: Zalán Gyenis http://www.uni-log.org/alfred-tarski-prize-of-logic-2018
This prize is part of a series of logic prizes promoting logic in the world: A PRIZE OF LOGIC IN EVERY COUNTRY ! http://www.uni-log.org/logic-prize-world The winners of these prizes will present their works at the 6th World Congress and School on Universal Logic UNILOG'2018, in Vichy next June http://www.uni-log.org/vichy2018 and their papers will be published in a special issue of Logica Universalis. Jean-Yves Beziau Editor-in-Chief Logica Universalis https://link.springer.com/journal/volumesAndIssues/11787
_______________________________________________ Om-announce mailing list Om-announce@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce