Department of Logical Systems and Models organizes a workshop with international participation