You are invited to the group Просеминар по математической логике и информатике. Click above to join.