Invited speakers

Florin Gheorghe Filip Academician Florin Gheorghe Filip is the President of the "Information Science and Technology" section of Romanian Academy and the director of the Romanian Academy Library. His fields of scientific interest are the following: decision support systems, large-scale systems control and optimization, technology management and foresight. Prof. Filip is one of the founding members of the International Academy for IT and Quantitative Management (IAITQM), founded in 2012 at University of Nebraska in Omaha, USA. Read more

Vladik Kreinovich Vladik Kreinovich is Vice President for Publications of IEEE Systems, Man, and Cybernetics Society; Vice President for Publicity of the International Fuzzy Systems Association (IFSA); Vice President of the European Society for Fuzzy Logic and Technology (EUSFLAT); Fellow of IFSA, Fellow of Mexican Society for Artificial Intelligence (SMIA); He served as President of the North American Fuzzy Information Processing Society 2012-14; He is a foreign member of the Russian Academy of Metrological Sciences; He was the recipient of the 2003 El Paso Energy Foundation Faculty; Achievement Award for Research awarded by the University of Texas at El Paso; as a co-recipient of the 2005 Star Award from the University of Texas System. Read more

Ievgen Ivanov Ievgen Ivanov is an assistant professor at Taras Shevchenko National University of Kyiv. He has a degree of doctor from University Toulouse 3 - Paul Sabatier (France) and candidate of physico-mathematical sciences from Taras Shevchenko National University of Kyiv (Ukraine). His research topics include the theory of programming, formal methods, mathematical systems theory, in particular, abstract dynamical models with partial behaviors, and formalization and proof of correctness of software and cyber-physical systems in proof assistants.

Michael Kohlhase Michael Kohlhase is a German computer scientist and professor at Friedrich-Alexander University Erlangen-Nürnberg, where he is head of the KWARC research group (Knowledge Adaptation and Reasoning for Content. Read more