OpenLab НИЛ "Лаборатория алгоритмических методов, алгебры и логики"