Новости

Организаторы конференции Институт математики им. С.Л. Соболева СО РАН и Новосибирский государственный университет.

Программа конференции состоит из пленарных докладов по приглашению и коротких сообщений в секциях:

• алгебро-логических методов в информационных технологиях,
• неклассических логик,
• теории вычислимости,
• теории групп,
• теории колец,
• теории моделей и универсальной алгебры.