Jiří Outrata received the Award of the Czech Academy of Sciences for outstanding results in science, experimental research and innovations based on his achieved results in mathematical analysis of the so-called non-smooth and multivalued mappings.
Workshop on Variational Analysis and Optimization is an annual workshop organized by members of the Czech Academy of Sciences. It is an informal meeting of people interested in various topics of optimization theory. It combines a mathematical program in the afternoon/evening with a free program in the morning/early afternoon, when one can enjoy the beautiful scenery, go hiking, skiing or just discuss mathematics. Because of its location on the Czech-German border, it is suited mainly for Czech and German researchers.
On Thursday, May 17, 2018, Ing. František Matúš, CSc., a Member and former Deputy Chair of the Board of the Institute of Information Theory and Automation, passed away. By his death, the Institute is losing a distinguished researcher in the field of Information Theory, whose professional interests covered not only Probability Theory but also Algebra, Cryptography, and Matroid Theory.
Mathematical logic develops and explores flexible formal languages and various concepts of consequence. Many of its results can be used in pratical applications, especially in modeling and solving problems in the field of (theoretical) computer science. The aim of this course is to introduce basic concepts of classical and non-classical logics and their potential for applications in computer science.