ёр»нфо– >>> ¬се новости >>>

¬се новости по информационным технологи€м

22/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности поддержки интерпретаций модальных операторов в виде абстрактных объектов, сохранени€ внутреннего состо€ни€ моделирующей системы с использованием механизма событий, а также способы генерации печатного представлени€ баз знаний моделирующих систем средствами TeX.
19/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности абстрагировани€ способов обработки объектов моделирующих систем в виде именованных сценариев, а также вопросы тестировани€ систем при осуществлении навигации между объектами системы.
15/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. –ассматривались вопросы снабжени€ моделирующих систем звуковым сопровождением, а также вопросы типизации библиотеки работы с ламбда-термами средствами TypeScript и представлени€ внутренних данных библиотеки при помощи зависимых типов.
12/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности множественного выбора объектов в моделирующих системах, использование CI/CD дл€ поддержки библиотек €зыка диаграмм, управление видимостью отдельных элементов проекта в зависимости от ролей пользовател€, а также техника сертификации docker-образов при добавлении на сервер.
08/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы сериализации вопросов в моделирующих системах, техника взаимных ссылок диаграмм, текстовое и внутреннее представление ссылок, а также разыменовани€ ссылок на диаграммы в €зыке диаграмм.
05/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались синтаксические средства задани€ объектов в модели предметной области семейного права, способы задани€ углублЄнных стратегий тестировани€ моделирующих систем, а также возможности множественного выбора объектов.
01/09/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалась организаци€ каталога объектов дл€ многофункциональных порталов, предполагающа€ хранение произвольного числа признаков объектов, вопросы генерации комментариев в объ€снительной подсистеме моделирующих систем, а также возможности усечени€ модели семейного права дл€ генерации информационных элементов моделирующих систем.
29/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались варианты организации каталога объектов дл€ многофункциональных порталов, вопросы автоматизации выкладывани€ версий моделирующих систем на сервер, вопросы переработки трансл€тора дл€ €зыка диаграмм, а также вопросы обработки статистических распределений методами фреймовых систем.
25/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалась возможность использовани€ протокола SSL дл€ организации электронной почты, а также вопросы конфигурировани€ контента дл€ получени€ демонстрационных версий моделирующих систем.
22/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы организации электронной почты на многофункциональных порталах, вопросы резервного копировани€ с использованием ssh, вопросы развити€ интерфейсов моделирующих систем, а также возможности использовани€ модельного времени в модели предметной области семейного права.
18/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы организации каталога объектов дл€ многофункциональных порталов, вопросы переноса и синхронизации изменений между репозитори€ми, вопросы определени€ типов сигнатур дл€ €зыка графовых запросов, а также способы генерации задач дл€ предметной области семейного права.
15/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства семантического конфигурировани€ моделирующих программ и необходимое дл€ этого представление информации, а также способ типизации €зыка графовых запросов за счЄт введени€ сигнатуры дл€ различных вариантов задани€ классов переменных.
11/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы использовани€ git дл€ одновременной поддержки различных версий различных моделирующих программ, а также варианты определени€ синтаксиса и семантики €зыка графовых запросов.
10/08/2022
¬ышла нова€ компьютерна€ обучающа€ система Ёкологический поход (¬ерси€ 1.0с), 2022".  онтент программы учитывает все последние изменени€ в экологическом законодательстве –‘. јвтор контента »смаилова Ё.ё. ѕредлагаема€ разработка включает в себ€ широкий круг теоретических и практических вопросов, посв€щенных системе экологического права, предмету, методу, объектам, субъектам, механизмам охраны окружающей среды, ответственности за несоблюдение экологических норм и многое другое. ¬озможно использование программы под WINDOWS и LINUX. ћожет быть использована как студентами вузов, так и практикующими юристами. ѕрограмма учитывает последние изменени€ в законодательстве и правоприменительной практике.
10/08/2022
«арегистрировано электронное издание - нова€ компьютерна€ обучающа€ программа Ёкологический поход (¬ерси€ 1.0с), 2022". ѕрограмма включает актуализированный контент. ѕрограмма допускает использование под WINDOWS и LINUX. ќбучающа€ программа полезна студентам, практикующим юристам и всем, интересующимс€ российским семейным правом. јвтор контента »смаилова Ё. ё. ѕоставка дл€ вузов. є госрегистрации 0322201634 ƒата регистрации 01.07.2022
08/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђƒоказательства свойств конечных типов в €зыке Idrisї. ќбсуждалась также модель предметной области семейного права и возможности включени€ в неЄ информации о собственности, св€занной с профессиональной де€тельностью.
04/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалась семантика €зыка графовых запросов и св€занных с ними выражений над графами, допускающих использование рекурсии, а также модель предметной области семейного права, включающа€ разнотипные св€зи.
03/08/2022
«арегистрировано электронное издание - нова€ компьютерна€ обучающа€ программа —емейный совет(¬ерси€ 1.0с), 2022". ѕрограмма включает актуализированный контент. ѕрограмма допускает использование под WINDOWS и LINUX. ќбучающа€ программа полезна студентам, практикующим юристам и всем, интересующимс€ российским семейным правом. јвторы контента к.ю.н. Ѕаженова ќ. »., к.ю.н. ∆уравлева ќ. ќ. ѕоставка дл€ вузов. є госрегистрации 0322201642 ƒата регистрации 01.07.2022
01/08/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ√рафовый ассистент в задаче формализации процессов взаимодействийї. ќбсуждалась также модель разнотипных св€зей дл€ задач из области семейного права.
28/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы генерации термов контекстно-зависимого €зыка, представлени€ данных на многофункциональных порталах, в том числе рекурсивно определЄнных данных.
25/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалось место статистических методов при генерации термов контекстно-зависимого €зыка на примере типового ламбда-исчислени€, а также некоторые вопросы написани€ рекурсивных программ.
21/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђќсобенности и недостатки среды разработки на Idris (верси€ 0.5.1.)ї. ќбсуждались возможности автоматизации составлени€ доказательств.
18/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались €зыки описани€ сценариев поведени€ активных объектов на многофункциональных порталах, а также возможности их расширени€ дл€ описани€ взаимодействи€ с внешними объектами.
14/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему ЂЋогика и конечные множества в доказательном программированииї. ќбсуждались также вопросы св€зи многофункциональных порталов с мессенджерами.
11/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности семантически ориентированного управлени€ файловой системой дл€ поддержки многофункциональных порталов, типизаци€ €зыка управлени€ тестированием, а также возможности постепенной типизации при ведении разработки на JavaScript.
07/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались модели данных дл€ представлени€ документируемых сущностей дл€ многофункциональных порталов и возможностей их согласовани€ с требовани€ми законодательства –‘ о персональных данных, а также €зык управлени€ тестированием моделирующих систем.
04/07/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности использовани€ €зыка Markdown дл€ описани€ документов, представленных на многофункциональных порталах, вопросы автоматизированной отладки, а также способы использовани€ TypeScript дл€ вывода типов в компил€торе.
03/07/2022
√отовитс€ к выпуску нова€ верси€ компьютерной обучающей программы "ёридическа€ психологи€ 2.0б"
01/07/2022
«арегистрировано электронное издание - нова€ верси€ компьютерной обучающей программы  риминологическое прогнозирование (¬ерси€ 1.0б), 2022". ѕрограмма включает актуализированный контент. ѕрограмма допускает использование под WINDOWS и LINUX. ќбучающа€ программа полезна студентам, практикующим юристам и всем, интересующимс€ криминологией и ее приложени€ми на практике. јвторы контента д.ю.н. ћаксимов —.¬., к.ю.н. ¬асин ё.√. ѕоставка дл€ вузов и личного использовани€. є госрегистрации 0322201644 ƒата регистрации 01.07.2022
30/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы представлени€ наследуемых атрибутов в информационных модел€х дл€ многофункциональных порталов, вопросы автоматической обработки протоколов тестировани€, а также способы обнаружени€ ошибок на основе типовых аннотаций.
27/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности создани€ прототипных €зыков дл€ описани€ настраиваемых полей в документах, представленных на многофункциональных порталах, а также способы представлени€ пошагового интерактивного взаимодействи€ информационных систем средствами теории категорий.
23/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности конструировани€ типов внешних документов при проектировании функциональных порталов, а также способы определени€ конструкторов классов и способы представлени€ очередей в соответствии со спецификацией EcmaScript.
20/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности отделени€ данных от представлени€ при проектировании функциональных порталов, а также варианты интеграции изменений в проект при помощи различных систем контрол€ версий.
17/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности использовани€ TypeScript, включающие использование прототипов объектов, дл€ проверки и поддержки корректности трансл€тора €зыка диаграмм.
13/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалось выделение из трансл€тора части, отвечающей за загрузку пакетов и диаграмм, обработку ссылок на пакеты и диаграммы. ќбсуждались также возможности использовани€ TypeScript с проверкой типов и задани€ аннотаций типов средствами Visual Studio Code.
09/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались варианты механизмов настройки в их св€зи со схемой базы данных дл€ многофункциональных порталов.
06/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. –ассматривались возможности использовани€ технологии SSH-туннелей с учЄтом возможностей развертывани€ в контейнере, а также возможности выполнени€ backup-ов средствами borg.
02/06/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались трактовки путей в рамках €зыка диаграмм, в том числе путей как доказательств, использование диаграмм в модульном режиме, а также управление сигнатурами диаграмм.
30/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались методы документировани€ ошибок, вы€вл€емых в процессе трансл€ции функциональных €зыков, способы преобразовани€ данных при помощи концептуальных фильтров, а также способы использовани€ локальных пакетных определений.
26/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. –ассматривались методы управлени€ сообщени€ми в трансл€торе €зыка диаграмм, возможности тестировани€ разработанных библиотек, а также возможности разработки аппликативного €зыка дл€ описани€ контрактов.
23/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. –ассматривались методы использовани€ механизма передачи сообщений при синтаксическом анализе €зыка диаграмм, а также способы управлени€ проверкой типов.
19/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались методы автоматизированной подготовки документации, а также методы выполнени€ текстовых преобразований средствами Linux.
16/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы представлени€ графической информации различной подробности, техника автоматизации создани€ документации, а также €зыковые возможности обработки исключительных ситуаций.
12/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались технологии генерации маскота, соответствующего состо€нию информационной системы, а также представление эмоциональной модели комбинаторами и возможность создани€ специализированного отладчика эмоциональной модели.
12/05/2022
¬ышла нова€ компьютерна€ обучающа€ программа ”головный закон (¬ерси€ 1.0с)". јктуализирован контент программы. ѕрограмма допускает использование под WINDOWS и LINUX. ќбучающа€ программа полезна студентам, практикующим юристам и всем, интересующимс€ криминологией и ее приложени€ми на практике. јвторы контента д.ю.н.  олодкин Ћ.ћ., к.ю.н. ¬асин ё.√. ѕоставка дл€ вузов и личного использовани€.
09/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы формализации эмоционального состо€ни€ пользовател€, включающие звуковое сопровождение, в виде эмоциональной модели, а также способы определени€ следующего состо€ни€ игры на основе весовых функций.
05/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы управлени€ звуковым сопровождением различных типов в св€зи с моделированием эмоционального состо€ни€ пользовател€ информационной системы, а также методы автоматизации управлени€ вычислени€ми в JavaScript.
02/05/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы обеспечени€ стабильности среды функционировани€ информационной системы, выделение классов пользователей €зыка диаграмм, а также способы добавлени€ звукового сопровождени€ в информационные системы.
29/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы представлени€ информации об экономической де€тельности предпри€ти€ в моделирующих системах, поддерживающих взаимодействие с пользователем, а также возможности анализа изображений дл€ определени€ границ окрашенных областей.
25/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались методы редукции термов €зыка процессов с учЄтом их рекурсивной структуры, а также способы определени€ процессов, манипулирующих другими процессами.
21/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы поддержки стилистического единообрази€ специализированных информационных систем, а также способы комбинаторного представлени€ преобразований функций, выражающих семантику диаграмм.
18/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы конфигурировани€ пользовательских интерфейсов специализированных информационных систем, вопросы автоматизированного сбора информации дл€ подготовки документации, а также вопросы поддержки задач планировани€ средствами €зыка диаграмм.
14/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы миграции средств поддержки работы с базой данных, способы организации параллельных процессов, допускающих объединение пользовательских форм дл€ ввода, а также варианты типизации процессов на основе типового ламбда-исчислени€.
12/04/2022
¬ышла нова€ верси€ компьютерной обучающей программы ”головное право (¬ерси€ 2.0)".  онтент программы учитывает все последние изменени€ в уголовном законодательстве –‘. ¬озможно использование под WINDOWS и LINUX. ћожет быть использована как студентами вузов, так и практикующими юристами. ѕрограмма учитывает последние изменени€ в законодательстве и правоприменительной практике.
11/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства отладки €зыка диаграмм, вопросы семантической пагинации, параллельного исполнени€ фрагментов диаграмм, средства поддержки документировани€ диаграмм, а также способы представлени€ фрагментов диаграмм ламбда-термами.
07/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы идентификации объектов информационной системы с различным поведением, параметризации конструкций €зыка диаграмм, а также вопросы отладки диаграмм и организации взаимодействи€ субъектов в св€зи с масштабированием контекстов.
04/04/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности организации параллельной работы пользователей с разных компьютеров, возможности агрегации групп субъектов, а также вопросы создани€ €зыка конфигурировани€ взаимодействи€ между управл€ющей компонентой и интерфейсом информационной системы.
31/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы преобразовани€ данных при работе с базой данных, методы оценки энтропии генерируемых данных, а также вопросы безопасности.
28/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы абстрагировани€ интерфейса информационной системы с базой данных, а также управл€ющие механизмы системы тестирующего типа.
24/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы выбора элементов визуальной информации, а также вопросы автоматизированной генерации термов ламбда-исчислени€.
21/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы задани€ семантически согласованной модели управлени€ визуальной информацией, а также вопросы генерации слов контекстно-зависимого €зыка.
17/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы организации баз данных информационных систем, средства анализа log-файлов, а также вопросы работы в облаке.
14/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы сборки графической информации из базовых примитивов средствами формата SVG, организации голосовой и видеосв€зи через »нтернет, а также вопросы безопасности.
10/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности семантической параметризации графической информации, управлени€ отображением различных значений параметров, а также вопросы безопасности.
07/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности автоматизации загрузки программ на сервер, автоматизированного тестировани€ и подготовки дистрибутивов, а также вопросы безопасности.
03/03/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности работы с подпиской на обновлЄнные версии программ, возможности размещени€ демонстрационных версий на сервере и их запуска, а также возможности генерации заставок методом трассировки лучей.
28/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы поддержки асинхронного взаимодействи€ со средствами поддержки информационных систем, а также средства обнаружени€ ошибок в данных.
24/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности защиты информации в базах данных информационных систем, проблемы безопасности, а также возможности представлени€ объектов, объедин€ющих код JavaScript и вывод в виде одного документа, в интерактивном виде.
21/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности XML-форматов дл€ представлени€ отдельных атрибутов объектов моделей предметной области (возможность комментировани€), а также особенности графического представлени€ отдельных объектов и возможности их анимации.
17/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались особенности €зыков описани€ моделей предметной области, требующих создани€ специализированных конверторов. Ѕыл также представлен доклад относительно предполагаемого набора команд цикла read-eval-print дл€ €зыка процессов.
14/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности автоматизированной генерации графической информации дл€ объектов моделирующих систем, представленных в сети »нтернет, а также возможности использовани€ поисковых систем дл€ создани€ концептуальной модели видеоинформации.
10/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности использовани€ технических средств (библиотеки REACT, регул€рные выражени€), а также возможности абстрагировани€ отдельных типов управл€ющей информации моделирующих систем.
07/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. –ассматривались способы представлени€ поддерживающих средств €зыка процессов средствами пакетов JavaScript, а также возможности совместного использовани€ €зыка процессов со средствами работы с XML.
03/02/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались методы использовани€ динамических объектов в интерфейсе информационных систем и способы их представлени€ средствами DHTML.
31/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы генерации отчЄтов по автоматизированному тестированию библиотеки LambdaJS, а также способы поддержки моделей эмоционального состо€ни€ персонажей деловых игр.
27/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности реализации рекурсивно представленных термов средствами библиотеки LambdaJS и соответствующие техники работы со свободными и св€занными переменными.
24/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности реализации интерфейсов дл€ многофункциональных порталов в их св€зи с интерфейсами обучающих систем, а также способы автоматизации генерации тестов.
20/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались подходы к реализации многофункциональных порталов, их информационное моделирование и реализаци€, а также способы тестировани€ на основе свойств с использованием библиотеки LambdaJS.
17/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства отображени€ кода, типизированного в системе зависимых типов (Idris), на JavaScript на примере задачи трассировки лучей.
13/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы представлени€ версионированной документации средствами HTML и CSS, а также возможности рел€ционного представлени€ конструкций €зыков описани€ взаимодействи€ с пользователем.
10/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕоддержка типовой корректности кода на JavaScript с использованием средств функционального программировани€ с зависимыми типами (Idris)ї.
06/01/2022
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы дополнени€ формул линейной временной логики информацией, необходимой дл€ генерации взаимодействи€ с пользователем (случай дизъюнкции).
27/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалось техническое задание на разработку программы получени€ статистики и визуализации дл€ программных средств на €зыке JavaScript.
23/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђћетоды описани€ анимации контента HTML-страниц с помощью модальной временной логикиї. ќбсуждались также средства ведени€ журнала запуска скриптов дл€ обработки информации из сети »нтернет.
20/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы создани€ экранных форм в св€зи с запросами GET и POST дл€ представлени€ объектов, загружаемых из сети »нтернет, а также вопросы создани€ специализированных €зыков обработки данных.
16/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы обработки ключевых слов, св€зываемых с объектами, загружаемыми из сети »нтернет, а также техника запуска задач обработки данных.
13/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы импорта и экспорта объектов, загружаемых из сети »нтернет, а также проблемы интеграции системы управлени€ объектами с Git.
09/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы определени€ критериев классификации материалов, загружаемых из сети »нтернет, а также вопросы экспорта материалов.
06/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы организации модели данных дл€ информации, загружаемой из сети »нтернет.
02/12/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы функционировани€ средств загрузки информации из »нтернет, а также особенности используемых сред программировани€.
29/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались текущие результаты загрузки информации из »нтернет, а также задачи по развитию средств поддержки извлечени€ информации из »нтернет.
25/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждалс€ состав инструментальных средств дл€ поддержки извлечени€ информации из »нтернет, а также вопросы миграции на новую версию GitLab.
22/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы логического проектировани€ баз данных дл€ информационных систем, средства сопр€жени€ с Web-интерфейсом, а также техника вложени€ управл€ющих структур информационных систем.
18/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ—емантика операции разыменовани€ї. Ѕыл также заслушан и обсуждЄн доклад на тему ЂGlobular - веб-ассистент построени€ доказательств в категори€х специального видаї. ќбсуждались синтаксические возможности средств поиска, а также возможности использовани€ рефлексии.
15/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства поиска дл€ моделирующих систем, содержащих большой объЄм текстовой информации, а также использование линейной временной логики дл€ формализации условий, накладываемых на поведение системы.
11/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства работы с эффектами дл€ информационных систем, способы контрол€ доступа к контенту системы, а также вопросы формального описани€ вариантов поведени€ информационной системы, осуществл€ющей пошаговое взаимодействие с пользователем.
10/11/2021
08/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы отладочного представлени€ ламбда-термов дл€ системы тестировани€, а также информаци€, подлежаща€ формальному описанию при спецификации информационной системы, осуществл€ющей пошаговое взаимодействие с пользователем.
04/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы формального описани€ выбора содержани€ шагов дл€ информационной системы, осуществл€ющей пошаговое взаимодействие с пользователем.
01/11/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ√енератор ламбда-термов дл€ системы тестировани€ на основе свойствї. ќбсуждались также способы генерации стратегий диалога дл€ пошагового взаимодействи€ с пользователем.
28/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы интеграции поисковых механизмов дл€ массивов данных, извлекаемых из сети »нтернет, и фреймовых механизмов представлени€ знаний, а также задачи доказательства свойств функций, определ€емых в функциональном €зыке с зависимыми типами.
25/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы параметризации и объектно-ориентированного представлени€ автоматизированных средств извлечени€ информации дл€ моделирующих систем из сети »нтернет, а также форматы представлени€ контента дл€ обучающих моделирующих систем.
21/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы отладки автоматизированных средств извлечени€ информации дл€ моделирующих систем из сети »нтернет дл€ конкретных поисковых систем, а также вопросы создани€ распростран€емых версий систем.
18/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы регистрации (logging) событий при извлечении информации дл€ моделирующих систем из сети »нтернет, а также возможности повышени€ их семантической мощности.
14/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ“естирование, основанное на свойствахї. ќбсуждались также вопросы построени€ автоматизированных средств извлечени€ информации дл€ моделирующих систем из сети »нтернет.
11/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему ЂЋинзы в €зыке Haskellї (часть 2). ќбсуждались также вопросы формализации спецификации моделирующих систем средствами линейной временной логики.
07/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему ЂЋинзы в €зыке Haskellї (часть 1). ќбсуждались также вопросы характеризации систем, поддерживающих различные типы взаимодействи€ с пользователем.
04/10/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности представлени€ драйверов автоматизированной загрузки данных средствами объектно-ориентированного программировани€ в Scala (в том числе implicit). ќбсуждались также вопросы использовани€ линейной временной логики дл€ спецификации поведени€ информационных систем.
30/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђќбзор технологии RPCї. ќбсуждались также неподвижные точки комбинаторов и вопросы формализации спецификации средствами линейной временной логики.
27/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы автоматизации создани€ моделирующих систем специального вида, а также их автоматизированной отладки. ќбсуждались также вопросы уточнени€ спецификации моделирующей системы в ходе взаимодействи€ с пользователем.
23/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы использовани€ протокола LSP. ќбсуждались также статически верифицируемые системы, взаимодействующие с пользователем по спецификации, заданной формулой линейной временной логики. –ассматривались способы выделени€ состо€ний системы и определени€ переходов между ними.
20/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы прототипировани€ системы генерации вопросов средствами линейной временной логики, а также вопросы настройки редактора (Language Server Protocol).
16/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы типизации программ дл€ автоматизированного сбора информации дл€ моделирующих систем.
13/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы построени€ статически верифицируемых систем взаимодействи€ с пользователем и построени€ доказательства корректного функционировани€ таких систем.
09/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались альтернативные подходы к проектированию моделирующих систем, описание семантики модели на основе генераторов, типизации представл€ющих конструкций, а также вопросы нагрузочного тестировани€.
06/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы автоматизации генерации комментариев, вопросы использовани€ автоматов Ѕучи (Büchi) дл€ описани€ семантики линейной временной логики, а также способы уточнени€ измерений временных характеристик программ.
02/09/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались представлени€ структур данных моделирующих систем в рел€ционной модели данных, особенности отладки и анимационного оформлени€ систем.
30/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы идентификации объектов в системе, способы автоматизации генерации комментариев, а также вопросы автоматизации сборки системы.
26/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы построени€ и пополнени€ модели пользовател€ моделирующей системы, а также вопросы оценки параметров производительности системы.
23/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались механизмы оценки работы пользовател€ с моделирующей системой, вопросы управлени€ локальным реестром пакетов npm, а также архитектура средств поддержки €зыка процессов.
19/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы использовани€ React дл€ построени€ интерфейса с моделирующей системой, а также вопросы генерации термов дл€ тестировани€ поддерживающих библиотек системы.
16/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались проблемы, возникающие при обновлении состо€ни€ отдельных файлов на сервере вручную. Ѕыли выделены: быстрые локальные изменени€, изменени€, которые не были перенесены на сервер, и изменени€, св€занные с удалением файлов.
12/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы типизации задач в св€зи с техникой экземпл€рных запросов, вопросы сериализации объектов, а также возможности использовани€ библиотек Selenium и Puppeteer дл€ отладки.
09/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсужден доклад на тему Ђѕрограмма измерени€ сортировки случайного массива как источник экспериментальных данныхї. ќбсуждались также вопросы обслуживани€ сервера (проксирование, мониторинг), на котором развЄрнуты модели.
05/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы преобразовани€ семантически ориентированных форматов, а также вопросы автоматизации тестировани€ модели.
02/08/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕрограмма измерени€ сортировки случайного массива как источник экспериментальных данныхї.
29/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы асинхронного запуска тестирующих скриптов в ходе нагрузочного тестировани€.
26/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы автоматизации нагрузочного тестировани€, а также продолжалось обсуждение поддержки аппликативного €зыка описани€ редукций.
22/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы копировани€ разделенных ссылок при сериализации объектов, а также вопросы поддержки аппликативного €зыка описани€ редукций.
19/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы сжати€ информации при передаче между клиентом и сервером, вопросы администрировани€ базы комментариев, а также функци€ автоматического сбора скриншотов и вопросы автоматизации резервных копий.
15/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы модульности представлени€ €зыка описани€ модели, возможность вывода дополнительной информации о контексте в ходе моделировани€, а также варианты представлени€ информации, в том числе в таблицах.
12/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства поиска комментариев по контексту, а также загрузки и выгрузки комментариев.
08/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались способы внешнего представлени€ контекста моделирующей системы, а также способы указани€ контекста при работе с таблицами.
05/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы создани€ административной компоненты дл€ комментариев, а также способы хранени€ кода, общего дл€ клиента и сервера.
01/07/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы обработки генерируемых данных в контексте расширени€ набора функций дл€ различных классов пользователей.
28/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы прив€зки сессий к пользователю и отдельные вопросы администрировани€ контрольных точек.
24/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможные технологии подготовки контрольных точек, а также вопросы использовани€ документов различных уровней, регламентирующих именование объектов предметной области.
21/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы создани€ и поддержки контрольных точек.
14/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы администрировани€ пользователей в деловых играх.
10/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы организации нагрузочного тестировани€ деловых игр.
07/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались возможности использовани€ headless browser дл€ сбора данных и вопросы автоматизации генерации документации к программам деловых игр.
03/06/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ онцепци€ потенциально бесконечного списка в перезаписываемых модел€х данныхї.
27/05/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ»спользование переменных в €зыке блоков и €зыке диаграммї.
24/05/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы организации ввода данных и определени€ структур данных предметной области, а также возможности создани€ универсальных управл€ющих механизмов.
17/05/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались параметры управлени€ модальными окнами субъектов, способы идентификации и администрировани€ пользователей деловой игры Ђѕолу Ё–ї, вопросы представлени€ и передачи внутреннего состо€ни€ игры.
12/05/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались средства представлени€ контекста деловой игры Ђѕолу Ё–ї при взаимодействии с виртуальными моделируемыми субъектами, а также способы представлени€ данных в иерархии объектов Ђчасть-целоеї.
06/05/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы оформлени€ npm-пакетов на €зыке JavaScript с обеспечением возможности их использовани€ как в браузере, так и в Node.
03/05/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы проверки типов ламбда-термов в €зыке диаграмм, а также вопросы практической поддержки модульности в соответствии со стандартом ECMAScript 6.
29/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы обновлени€ визуализатора дл€ второй версии €зыка диаграмм, а также некоторые проблемы поддержки необходимых динамичных объектов.
26/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы реализации табличного интерфейса пользовател€.
22/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕараметры компил€тора второй версии €зыка диаграммї. ќбсуждалось также портирование существующих программ на вторую версию €зыка диаграмм.
22/04/2021
ѕроведЄн научный семинар Ђ огнитивна€ система комбинаторной логики. Ёмпирика обнаружени€, добычи и гранулировани€ знани€ї.
15/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕоддержка стабильности внешнего окружени€ дл€ деловой игры Ђѕолу Ё–її.
12/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ онтекст блока дл€ второй версии €зыка диаграммї.
08/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы использовани€ результатов работы с экспертами дл€ деловой игры Ђѕолу Ё–ї.
05/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ¬спомогательные инструменты сборки дл€ деловой игры Ђѕолу Ё–її.
01/04/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ–еализаци€ семантики импортируемых блоковї.
29/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ–абота с таблицами технологических показателей в деловой игре Ђѕолу Ё–її.
25/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ»спользование специальных режимов подсказки Ђ—оветникї и Ђ оллегаї в деловой игре Ђѕолу Ё–її.
18/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ“ипизаци€ параметров диаграмм дл€ новой версии компил€тораї.
15/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕереход на новую версию компил€тора €зыка диаграммї.
11/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ¬озможность комментировани€ хода игры экспертом дл€ деловой игры Ђѕолу Ё–її.
09/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђќрганизаци€ работы с экспертом дл€ деловой игры Ђѕолу Ё–її.
04/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ—оединение видеофрагментов с управл€ющей компонентой дл€ деловой игры Ђѕолу Ё–її.
03/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ—истема управлени€ сервисами дл€ деловой игры Ђѕолу Ё–її.
01/03/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕакеты динамической типизации дл€ деловой игры Ђѕолу Ё–її.
25/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕредставление конструкции €зыка процессов в виде объекта зависимого типаї.
22/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕереход деловой игры Ђѕолу Ё–ї на систему модульности дл€ EcmaScript 6ї.
20/02/2021
√отовитс€ к изданию в апреле 2021 г. монографи€ профессора ¬.Ё.¬ольфенгагена "ћодели вычислений в информационных технологи€х".
18/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы практической поддержки динамичных объектов в деловой игре Ђѕолу Ё–ї.
11/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ“аблицы в €зыке диаграммї.
10/02/2021
ћы поздравл€ем »смаилову Ћарису ёсифовну с присвоением в 2020 г. звани€ Senior Members ј—ћ. Senior Members Grade присваиваетс€ членам ACM за продемонстрированные ими за последние 10 лет техническое лидерство, эффективность и профессиональный вклад.
09/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕодсказки как динамичные объекты. »спользование подсказок дл€ ведени€ пользовател€ по игре Ђѕолу Ё–її.
08/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы использовани€ динамичных объектов при реализации деловой игры Ђѕолу Ё–ї.
04/02/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ»спользование €зыка диаграмм при реализации деловой игры Ђѕолу Ё–її.
28/01/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему ЂCSS и методологии работы с ним (продолжение)ї.
28/01/2021
¬ышла нова€ верси€ компьютерной контрольно-обучающей программы ”головное право (¬ерси€ 2.0)"
25/01/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђћеханизм декаррировани€ дл€ систем с зависимыми типамиї.
18/01/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ–абота с концептуальными иерархи€ми при подготовке дайджестаї.
14/01/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы динамического управлени€ правами доступа в деловой игре Ђ–обосборї.
07/01/2021
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕоддержка состо€ни€ игрока в деловой игре Ђ–обосборїї.
31/12/2020
30/12/2020
ѕроведен научный семинар "»нформационные системы взаимодействи€ с окружени€м. Ёлементы линейной временной логики"
24/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы абстрагировани€ механизмов описани€ предметной области дл€ деловой игры Ђ–обосборї.
21/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы моделировани€ предметной области при работе с дайджестом.
17/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы автоматизации аннотировани€ при работе с дайджестом.
10/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕоддержка динамичных объектов при работе с —”Ѕƒї.
07/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. ќбсуждались вопросы практической поддержки динамичных объектов в существующих проектах.
03/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђѕоддержка версий на примере разработки ”ћ ї.
02/12/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ»спользование динамичных объектов при получении справки дл€ обучающей компонентыї. ќбсуждались вопросы динамичной поддержки реализации ”ћ .
30/11/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ¬озможности €зыка диаграмм дл€ деловой игры Ђ–обосборїї.
25/11/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ√енераци€ последовательных шагов деловой игры Ђ–обосборїї.
23/11/2020
Ёксперты и сотрудники јќ "÷ентр ёр»нфо–" прин€ли участие c докладами и презентаци€ми в международной конференции BICA 2020: 2020 Annual International Conference on Biologically Inspired Cognitive Architectures for Artificial Intelligence (BICA*AI 2020), the Eleventh Annual Meeting of the BICA Society, Natal, Brazil, held on October 10-11 and November 10-15 as a virtual-only event
19/11/2020
ѕроведен научно-практический семинар "ћетодологии использовани€ CCS"
16/11/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ»спользование средств распознавани€ речи при реализации динамичных объектовї.
12/11/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ»спользование редактора диаграмм дл€ подготовки контента деловых игрї.
09/11/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ онцептуальное моделирование динамичных объектов. ѕоиск концептов с заданными свойствамиї.
05/11/2020
—осто€лось очередное заседание семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђ онцептуальное моделирование динамичных объектов. ”чЄт зависимости концептов от параметраї. ќбсуждалось также расширение €зыка процессов €зыком LambdaJS.
02/11/2020
—осто€лось заседание посто€нно действующего семинара Ђ—пособы и средства поддержки реализации концептуального моделировани€ динамичных объектовї. Ѕыл заслушан и обсуждЄн доклад на тему Ђƒайджест как динамический объектї.
18/09/2020
ѕроведен научный семинар «ћодели поддержки версионировани€ данных».
04/09/2020
ѕроведен научный семинар «ћетоды и средства поддержки версионировани€ данных».
30/04/2020
ћы поздравл€ем коллег с опубликованием результатов исследований в соавторстве с сотрудниками Ќ»я” ћ»‘» Wolfengagen, V., Kosikov, S., Ismailova, L., Zaytsev, V.: Semantic framework for data flow control in the network of information graphs. Procedia Comput. Sci. 169, 16Ц22 (2020). Postproceedings of the 10th Annual International Conference on Biologically Inspired Cognitive Architectures, BICA 2019 (Tenth Annual Meeting of the BICA Society), held 15Ц19 August 2019 in Seattle, Washington, USA
16/04/2020
30/03/2020
ѕроведен научный семинар «ѕочему паутина спутываетс€?». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
10/03/2020
ѕроведен научный семинар «–азработка системы семантических признаков объектов данных информационных систем: средства навигации».
18/02/2020
ѕроведен научный семинар «–азработка системы семантических признаков объектов данных информационных систем: базовые свойства».
28/01/2020
ѕроведен научный семинар «ћодель детерминированного пошагового взаимодействи€ объектов данных».
14/01/2020
ѕроведен научный семинар «—войства детерминированных пошаговых интерактивных систем со скрытым состо€нием».
26/12/2019
ѕроведен научный семинар «ѕодход к построению формальной теории деловых игр».
20/08/2019
ѕроведен научный семинар «јнализ конкурентных систем. ѕост-правда и фейковые новости». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
13/08/2019
ѕроведен научный семинар «јнализ конкурентных систем. «адача о продвижении информации». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
06/08/2019
ѕроведен научный семинар «јнализ конкурентных систем. «адача о фишинге». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
30/07/2019
ѕроведен научный семинар «јнализ конкурентных систем. ‘орсинг: задача о головастике ’ьюго». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
23/07/2019
ѕроведен научный семинар «јнализ конкурентных систем. «адача о наследовании свойств». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
16/07/2019
ѕроведен научный семинар «јнализ конкурентных систем. ѕеременные домены». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
09/07/2019
ѕроведен научный семинар «јнализ конкурентных систем. ѕроцесс во времени». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
02/07/2019
ѕроведен научный семинар «јнализ конкурентных систем. »нформационные процессы». ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
05/03/2019
—отрудники »нститута Уёр»нфо–-ћ√”Ф прин€ли участие в р€де научных меропри€тий, поддержанных IEEE и ACM. ѕредставлены доклады на конференци€х: -- International Conference On Recent Trends In Engineering & Sciences (ICRTES-2018), февраль 2018;†-- International Conference on Recent Innovations in Electrical, Electronics & Communication Engineering (ICRIEECE-2018), июль 2018, Bhubaneswar, India; -- International Conference on Advanced Computation and Telecommunication (ICACAT-2019), декабрь 2018, Bhopal, India.
14/02/2019
ѕроведЄн научный семинар "ќбеспечение семантической устойчивости Web-ориентированных систем за счЄт эмул€ции системы типов".
15/01/2019
–азработан и запущен новый портал дл€ российско-германского проекта "климатически-нейтральное обращение с отходами" otxod.com
28/11/2018
ѕоздравл€ем проф. ¬ольфенгагена ¬.Ё., награжденного медалью "«а вклад в развитие Ќ»я” ћ»‘»" 28 но€бр€ 2018 г.
31/10/2018
«апущен новый сайт, разработанный дл€ германо-российской конференции " лиматически нейтральное обращение с отходами" otxod.online
20/09/2018
ѕроведЄн научный семинар "Ѕлокчейн как smart contract".
14/08/2018
ѕроведЄн научный семинар "јрхитектура блокчейн-проектов".
23/07/2018
ѕроведЄн научный семинар "јвтоматизаци€ подготовки программной документации в соответствии с ≈—ѕƒ".
19/07/2018
ѕроведЄн научный семинар "¬озможности моделировани€ элементов технологии блокчейн".
30/03/2018
ѕроведЄн научный семинар "‘ундаментальные основы информационных технологий. ѕрограммна€ инженери€: —емантически безопасное информационное моделирование". ƒокладчик д.т.н. проф. ¬ольфенгаген ¬.Ё.
20/02/2018
ѕроведЄн научный семинар "ћодели описани€ семантики имитационных деловых игр".
23/01/2018
¬ рамках реализации проекта "ƒ “».  лиматически нейтральна€ хоз€йственна€ де€тельность. ¬недрение Ќƒ“ в –‘" јќ "÷ентр ёр»нфо–" разработаны и применены новые технологии генерации элементов контента дл€ портала good-climate.com.
02/08/2017
Ёксперты јќ "÷ентр ёр»нфо–" и сотрудники »нститута ёр»нфо–-ћ√” прин€ли участие в международной конференции BICA 2017: 2017 Annual International Conference on Biologically Inspired Cognitive Architectures
23/12/2015
ѕо заказу проекта "ƒ “».  лиматически нейтральна€ хоз€йственна€ де€тельность. ¬недрение Ќƒ“ в –‘" јќ "÷ентр ёр»нфо–" разработан портал и система управлени€ контентом - good-climate.com.
10/09/2015
ѕо заказу Ќемецкого общества технического сотрудничества јќ "÷ентр ёр»нфо–" разработал сайт √ермано-российский семинара "Ќовации в экологическом праве, обмен опытом в области правоприменительной практики по внедрению Ќаилучших доступных технологий (Ќƒ“)" и систему администрировани€ см. здесь
08/09/2015
–азработана нова€ верси€ обучающей игры " онституционное право –‘"
28/07/2015
ѕо заказу јЌќ организации содействи€ развитию спорта ЂќЋ≈√–»ї разботаны сайты olegri.moscow см. здесь и olegri.com см. здесь. »спользованы авторские технологии генерации схем.
24/07/2014
ѕроект "“вой основной закон" ѕополнен пилотный вариант раздела "√лоссарий - видеоматериалы" интерактивного информационного ресурса
28/03/2014
ћосква 21 марта 2014 года в »нституте "ёр»нфо–-ћ√”" (офис 37, 15.00) состо€лось заседание рабочей группы проекта "“вой основной закон" с привлечением приглашенных экспертов. “ема: ќценка прототипа »нтерактивного информационного ресурса. ѕри реализации проекта используютс€ средства господдержки, выделенные в качестве гранта в соответствии с распор€жением ѕрезидента –‘ от 29.03.2013 є 115-рп и на основании конкурса, проведенного ‘ондом »—Ёѕ».
07/01/2014
√руппа компаний "ёр»нфо–" приглашает вас прин€ть участие в 4-й ћеждународной конференции "јппликативные вычислительные системы (ј¬—'2014)". ƒата проведени€ уточн€етс€. ћесто проведени€: ћосква.
ѕредыдущие конференции: ј¬—'2012, ј¬—'2010, ј¬—'2008.
24/06/2013
¬ышла нова€ верси€ компьютерной деловой игры "”бийство".
23/12/2012
√руппа компаний "ёр»нфо–" подготовила и провела 3-ью ћеждународную конференцию "јппликативные вычислительные системы (ј¬—'2012)" 14 декабр€ 2012 г. ћесто проведени€: ћјЅи” (јдрес: 129594, ћосква, 5-й проезд ћарьиной –ощи, д. 15-а).
12/09/2012
√руппа компаний "ёр»нфо–" приглашает вас прин€ть участие в 3-й ћеждународной конференции "јппликативные вычислительные системы (ј¬—'2012)". ƒата проведени€: но€брь 2012 г. ћесто проведени€: ћосква.
27/07/2012
¬ разделе сайта сервисы размещена демонстрационна€ верси€ обучающей программы "WEB-сервисы".
12/07/2012
—отрудники ёр»нфо– выступили с докладами на конференции с международнымм участием "»нформационные и математические технологии в науке и управлении", »ркутск
02/04/2012
¬ышла нова€ электронна€ книга: ¬ольфенгаген ¬.Ё., »смаилова Ћ.ё.,  осиков —.¬. ѕарадигма функционального программировани€ (электронна€ книга на CD)

19/12/2011
¬ышла нова€ книга: ¬ольфенгаген ¬.Ё. ѕарадигма функционального программировани€

21/10/2011
¬ышла нова€ верси€ компьютерной программы "—ледователь".
20/10/2011
—отрудники ёр»нфо– выступили с докладами и презентаци€ми на V ћеждународной научно-методической конференции "—овременные проблемы техносферы и подготовки инженерных кадров", 06-15 окт€бр€ 2011 г. в городе “абарка (“унис)
10/10/2011
”спешно прошла 13-а€ ћеждународна€ конференци€ " омпьютерные науки и информационные технологии" (CSIT'2011). ƒаты проведени€: 27 сент€бр€ - 2 окт€бр€ 2011 г. ћесто проведени€: √армишЦѕартенкирхен, √ермани€.
02/09/2011
√отовитс€ к изданию: ¬ольфенгаген ¬.Ё. ѕарадигма функционального программировани€

08/06/2011
√отовитс€ III ¬сероссийска€ научна€ конференци€ с международным участием "“ехнологии информатизации профессиональной де€тельности (в науке, образовании и промышленности)". ƒата проведени€: 8-12 но€бра 2011 года. ћесто проведени€: г. »жевск.
25/03/2011
¬ышла нова€ игра ”головное право –‘ "
16/02/2011
—отрудники ёр»нфо– представили серию докладов по аппликативным вычислительным технологи€м на XV конференции "“елекоммуникации и новые информационные технологии в образовании" (ћосква, Ќ»я” ћ»‘», февраль 2011 года).
31/10/2010
28/10/2010
11/10/2010
15/09/2010
—отрудники ёр»нфо– представили доклады по проблематике семантического WEBа на международной конференции "»нновационные информационные технологии: теори€ и практика" (√ермани€, с 4 по 12 сент€бр€ 2010 года).
09/08/2010
03/08/2010
29/07/2010
12/07/2010
—отрудники "ёр»нфо–" прин€ли участие с докладами в 15-ой конференции "»нформационные и математические технологии" (1-9 июл€ 2010 г., »ркутск-Ѕайкал).
09/06/2010
07/06/2010
√руппа компаний "ёр»нфо–" приглашает вас прин€ть участие во 2-й ћеждународной конференции "јппликативные вычислительные системы" (ј¬—'2010). ƒата проведени€: 29-31 окт€бр€ 2010 г. ћесто проведени€: ћосква.
25/05/2010
28/02/2010
—отрудники "ёр»нфо–" прин€ли участие с докладами в German-Russian Workshop on Engineering and Information Sciences: New Methods and Solutions for Emerging Technologies по проекту G7: OV 88/7-1 (23-28 феврал€ 2010 г., √ермани€).
19/02/2010
27/01/2010
—отрудники "ёр»нфо–" прин€ли участие c докладами в Ќаучной сессии выставке-конференции Ќ»я” ћ»‘» "“елекоммуникационные и новые информационные технологии в образовании", прошедшей 26-27 €нвар€ 2010 г.
12/01/2010
18/12/2009
03/12/2009
¬ рамках московского семинара "‘ундаментальные основы информационных технологий" (научный руководитель проф. ¬.Ё. ¬ольфенгаген) сотрудниками ёр»нфо– сделан доклад по теме "ћодели л€мбда-исчислени€". —еминар организован ‘»¬“ ћ‘“» на территории компании 1—. ѕодробнее о предсто€щих семинарах - info@jurinfor.ru.
25/11/2009
05/11/2009
—отрудники "ёр»нфо–" прин€ли участие с докладами в ћеждународной конференции-выставке "»нформационные технологии в образовании" »“ќ-2009, прошедшей в Ќ»я” "ћ»‘»".
09/10/2009
Ќа международной конференции CSITТ2009, Crete, Greece, 2009 cотрудниками института представлена сери€ докладов об использовании аппликативных вычислительных технологий (ј¬—) дл€ построени€ обучающих сред.
10/08/2009
¬ разделе "Ёлектронна€ библиотека: компьютерные науки" размещена нова€ стать€:
¬ольфенгаген ¬.Ё. ѕерспективные формы компьютинга
18/05/2009
18 ма€ 2009 г. »нститут "ёр»нфо–-ћ√”" совместно ‘»¬“ ћ‘“» провели семинар в рамках проекта “ј—»—.
16/05/2009
ёр»нфо– поздравл€ет профессора, д.т.н. ¬ольфенгагена ¬.Ё. с признанием его Senior Member of ACM 2009.
16/10/2008
31/08/2008
24/04/2008
ƒоступна демонстрационна€ верси€ обучающей программы
"–оссийское право в терминах и выражени€х"
10/04/2008
12/02/2008
ƒоступна демонстрационна€ верси€ обучающей программы "Ћатинский €зык дл€ юристов"