On May 28, 2018, the institute hosted Yuri Gurevich, Professor Emeritus of the University of Michigan, the former employee of our institute.

The Guest gave the lecture:

Logic in Computer Science, Engineering, Industry and (time permitting) Math.