Workshop ``Mathematical logic in computer science''Семинар (workshop)