|
1
|
Goncharov S.S.
, Petrenko A.M.
, Kravtsov V.K.
, Khlestova E.I.
Strong constructibility of recursive ordinals
V Конференция математических центров России
11-16 Aug 2025
|
|
2
|
Гончаров С.С.
Логическая методология и методы доверенного искусственного интеллекта
Международная конференция «Марчуковские научные чтения 2025», посвященные 100-летию со дня рождения Г.И. Марчука
30 Jun - 4 Jul 2025
|
|
3
|
Goncharov S.S.
, Petrenko A.M.
, Kravtsov V.K.
, Khlestova E.I.
Strong constructibility of prime and saturated models of theory for recursive ordinal
Eighth International Conference "Kazakh-French Logical Colloquium"
24-28 Jun 2025
|
|
4
|
Гончаров С.С.
Логические проблемы в гарантированном и доверенном ИИ
Марчуковские научные чтения 2024
07-10 окт. 2024
|
|
5
|
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology in Turing-complete languages.
2024 IEEE International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON), Novosibirsk, Russian Federation, 2024
30 Sep - 2 Oct 2024
|
|
6
|
Goncharov S.
, Nechesov A.
, Sviridenko D.
Programming Methodology for Trusted Artificial Intelligence
14-я Международная мультиконференция «Биоинформатика Геномной Регуляции и Структурной/Системной Биологии» / 14th International Multiconference on “Bioinformatics of Genome Regulation and Structure / Systems Biology” – BGRS/SB-2024
05-10 Aug 2024
|
|
7
|
Гончаров С.С.
, Нечесов А.В.
Некоторые вопросы доверия и безопасности в искусственном интеллекте
XIV Международная молодежная научно-практическая конференция с элементами научной школы «ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА»
20-25 мая 2024
|
|
8
|
Goncharov S.S.
, Нечёсов А.В.
, Sviridenko D.I.
Hybrid Artificial Intelligence
Международная конференция «Математика в созвездии наук».
К юбилею ректора МГУ академика Виктора Антоновича Садовничего
01-02 Apr 2024
|
|
9
|
Goncharov S.
, Nechesov A.
AI-Driven Digital Twins for Smart Cities
10th International Electronic Conference on Sensors and Applications session Sensors and Artificial Intelligence
15-30 Nov 2023
|
|
10
|
Goncharov S.
, Nechesov A.
Task approach and semantic programming for AI
Program Semantics, Specification and Verification: Theory and Applications
November 3-4, 2023, in hybrid mode (at Innopolis and online)
03-04 Nov 2023
|
|
11
|
Гончаров С.
, Нечесов А.
Задачный подход в искусственном интеллекте: новые возможности и вызовы.
Третья конференция Математических центров России
10-15 окт. 2023
|
|
12
|
С.С. Гончаров
Математическая логика и доверительный ИИ
Всемирный конгресс «Теория систем, алгебраическая биология, искусственный интеллект: математические основы и приложения»
26-30 июн. 2023
|
|
13
|
Гончаров С.С.
, Нечесов А.В.
Семантическое программирование: новый подход в искусственном интеллекте
XIII МЕЖДУНАРОДНАЯ МОЛОДЕЖНАЯ НАУЧНО-ПРАКТИЧЕСКАЯ КОНФЕРЕНЦИЯ С ЭЛЕМЕНТАМИ НАУЧНОЙ ШКОЛЫ "ПРИКЛАДНАЯ МАТЕМАТИКА И ФУНДАМЕНТАЛЬНАЯ ИНФОРМАТИКА"
15-20 мая 2023
|
|
14
|
Nechesov A.
, Goncharov S.
Semantic Programming for AI and Robotics.
IEEE International Multi-Conference on Engineering, Computer and Information Sciences
11-13 Nov 2022
|
|
15
|
Goncharov S.S.
, Nechesov A.V.
Logic programming language Delta in AI and Robotics.
Current State and Development Perspectives of Digital Technologies and Artificial Intelligence
27-28 Oct 2022
|
|
16
|
Гончаров С.
, Свириденко Д.
, Нечесов А.
Логико-математическое описание полиномиальной вычислимости
International Scientific Conference on Mathematical Logic and Computer Science
07-08 окт. 2022
|
|
17
|
Goncharov S.
, Nechesov A.
Semantic programming in AI and Robotics.
Global Summit of Robotics and Artificial Intelligence, Robotics 2022
18-19 авг. 2022
|
|
18
|
Goncharov S.S.
«Computable models and Semantic Modeling in AI»
Lake Baikal Summit 2022 Beyond The Future of ICT Science and Technology
08-10 Aug 2022
|
|
19
|
Goncharov S.S.
“Computability over models and applications”
International school-seminar "Syntax and semantics of logical systems"
01-05 Aug 2022
|
|
20
|
Гончаров С.С.
Семантическое моделирование и применение в задачах управления
XII Международная молодежная научно-практическая конференция с элементами научной школы «Прикладная математика и фундаментальная информатика», посвященная 110-летию со дня рождения академика РАН Леонида Витальевича Канторовича
16-21 мая 2022
|