Моделирование и анализ информационных систем: Объявления
https://www.mais-journal.ru/jour
Научный рецензируемый журнал "Моделирование и анализ информационных систем"ru-RUPSSV-2023, 3–4 ноября 2023 г.
https://www.mais-journal.ru/jour/announcement/view/13
<p><img src="https://www.mais-journal.ru/public/site/images/larionov/pssv.png" alt="" /></p><p>3–4 ноября 2023 года состоится Семинар по семантике, спецификации и верификации программ: теория и приложения (PSSV-2023).</p><p>Международный семинар PSSV имеет 12-летнюю историю. Он был запущен в 2010 году, чтобы стать площадкой для содействия сотрудничеству исследователей в области семантики спецификации и верификации программ. Мероприятие объединяет коллег из СНГ и других стран.</p><p>В 2023 году конференция пройдет в гибридном режиме: онлайн и очно в <a href="https://innopolis.university/">Университете Иннополис</a>, расположенном в IT-городе <a href="https://innopolis.ru/ru">Иннополисе</a> в Республике Татарстан, Россия.</p><p>Веб-сайт конференции <a href="https://persons.iis.nsk.su/en/PSSVfrom2022towards2023">https://persons.iis.nsk.su/en/PSSVfrom2022towards2023</a><br />Ссылка для представления тезисов <a href="https://easychair.org/conferences/?conf=pssv2023">https://easychair.org/conferences/?conf=pssv2023</a><br />Крайний срок регистрации аннотации: 16 сентября 2023 г.<br />Крайний срок подачи тезисов: 23 сентября 2023 г.</p><p>Основные темы семинара:</p><ul><li>формализмы для описания семантики, программ;</li><li>формальные модели и семантика программ и систем;</li><li>семантика языков программирования и спецификаций;</li><li>методы формального описания;</li><li>логики для формальной спецификации и верификации;</li><li>дедуктивная верификация программ;</li><li>автоматическое доказательство теорем;</li><li>верификация моделей программ и систем;</li><li>статический и динамический анализ программ;</li><li>формальные подходы к тестированию и валидации;</li><li>средства анализа и проверки программ;</li><li>теория языков программирования;</li><li>теория типов;</li><li>преобразование и синтез программ.</li></ul><p>Отобранные переработанные и расширенные статьи по материалам семинара будут опубликованы в № 4 (2023 г.) журнала <a href="https://www.mais-journal.ru/jour/">«Моделирование и анализ информационных систем»</a></p><p> </p>Моделирование и анализ информационных систем2023-07-12PSSV-2020, November 3-4, 2020
https://www.mais-journal.ru/jour/announcement/view/12
Моделирование и анализ информационных систем2020-12-21Статьи журнала МАИС на английском языке
https://www.mais-journal.ru/jour/announcement/view/11
<p><a href="/jour/issue/archive"><img title="МАИС" src="/public/journals/1/homeHeaderTitleImage_ru_RU.jpg" alt="" height="180" /></a> <a href="https://link.springer.com/journal/11950/53/7"><img title="МАИС" src="https://static-content.springer.com/cover/journal/11950/53/7.jpg" alt="" height="180" /></a><br />Вышел в свет 7-й номер (2019) <a href="https://link.springer.com/journal/11950/53/7" target="_blank">Automatic Control and Computer Sciences</a>, состоящий из 29-ти избранных статей нашего журнала МАИС, переведенных на английский язык.</p>Моделирование и анализ информационных систем2020-03-15SYRCoSE 2020
https://www.mais-journal.ru/jour/announcement/view/10
<img src="/public/site/images/larionov/2019-12-20_16-06-341.png" alt="" width="180" /><br /><p><strong>SYRCoSE 2020</strong><br />Spring/Summer Young Researchers’ Colloquium on Software Engineering<br />May 28-30, Saint Petersburg, Russia</p><p><strong>About SYRCoSE</strong><br />SYRCoSE is a colloquium on software engineering targeted at young researchers (students, postgraduates, and young PhDs). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops. In order to establish strong connection with software engineering industry, both research and industrial papers are allowed for submission. We hope that having researchers and practitioners together at the forum will contribute to narrowing the ever-existing gap between theory and practice and increase their mutual awareness of the developments made by others and problems each community is facing.<br /><strong>Topics of Interest</strong><br />We are interested in original papers on theory and/or applications of software engineering. The topics of interest include but are not restricted to:<br />• Software Development Processes<br />• Object-Oriented Analysis and Design<br />• Programming and Specification Languages<br />• Component-Based Software<br />• Distributed and Concurrent Software<br />• Requirements Engineering<br />• Visual Modeling<br />• Reengineering and Reverse Engineering<br />• Formal Methods<br />• Quality Assurance<br />• Software Safety and Security<br />• Testing, Verification, and Validation<br />• Hardware High-Level Design and Verification<br />• Software Development and Analysis Tools<br />• Software Engineering Education<br />• Mathematical Cybernetics and Algebraic Theory of Discrete Systems<br />• Mathematical Modeling of Complex Systems<br />• Big Data in Education: Algorithms, Technologies, and Prospectives</p><p>http://syrcose.ispras.ru/</p>Моделирование и анализ информационных систем2019-12-20PSSV-2019, July 1-2, 2019
https://www.mais-journal.ru/jour/announcement/view/7
Моделирование и анализ информационных систем2019-04-30Изменение периодичности выхода в свет
https://www.mais-journal.ru/jour/announcement/view/6
<p>Обращаем внимание наших авторов и читателей, что, по условиям учредителя журнала, с 2019 года периодичность выхода отдельных номеров изменяется: журнал будет выходить ежеквартально, 4 раза в год, в конце каждого квартала (в марте, в июне, в сентябре и в декабре).</p>Моделирование и анализ информационных систем2018-11-19PSSV 2018, June 21-22, 2018
https://www.mais-journal.ru/jour/announcement/view/5
<p><img src="/public/site/images/larionov/pssv.png" alt="" /><br />21-22 июня 2018 года в Ярославле будет проходить IX Международный семинар “Program Semantics, Specification and Verification: Theory and Applications” (”Семантика, спецификация и верификация программ: теория и приложения”, PSSV-2018).</p><p>Организатором мероприятия выступает кафедра теоретической информатики (зав. кафедрой, главный редактор журнала “Моделирование и анализ информационных систем” профессор А. В. Соколов) факультета информатики и вычислительной техники ЯрГУ в сотрудничестве с Университетом Иннополис и МГУ.</p><p>Международный семинар "Семантика, спецификация и верификация программ: теория и приложения" (PSSV) является ведущим событием в России в области применения формальных методов в разработке и анализе программного обеспечения.</p><p>Место проведения: г. Ярославль, Угличская ул., 36, компания Тензор.</p>Адрес сайта мероприятия: <a href="http://persons.iis.nsk.su/en/pssv2018">http://persons.iis.nsk.su/en/pssv2018</a>Моделирование и анализ информационных систем2018-05-30Круглый стол «МАИС: роль журнала в подготовке научно-педагогических кадров и поддержке развития научных школ региона»
https://www.mais-journal.ru/jour/announcement/view/4
<p><img src="/public/site/images/larionov/лого_outline1.png" alt="" /><em></em></p><p>21/12/17 в ЯрГУ состоится круглый стол «Моделирование и анализ информационных систем: роль журнала в подготовке научно-педагогических кадров и поддержке развития научных школ региона».</p><p>Основные темы мероприятия:</p><ul><li>презентация программы развития журнала и возможностей ученых, которые в нем публикуются;</li><li>обсуждение критериев к публикации и политики рецензирования;</li><li>представление экспертов журнала профессиональной публике.</li></ul><p>Программа мероприятия:</p><p>1. Соколов В.А., главный редактор журнала МАИС, д. ф.-м. н., проф., заведующий кафедрой теоретической информатики ЯрГУ.<br />«О программе развития журнала и взаимодействии со Scopus».</p><p>2. Глызин С.Д., заместитель главного редактора журнала МАИС, д. ф.-м. н., проф., заведующий кафедрой компьютерных сетей ЯрГУ.<br />«Об экспертах журнала, политике и критериях рецензирования».</p><p>3. Кузьмин Е.В., ответственный секретарь журнала МАИС, д. ф.-м. н., проф. кафедры теоретической информатики ЯрГУ.<br />«О поступающих в редакцию статьях и работе с авторами».</p><p>4. Аладьева А.А., заведующий редакцией журнала МАИС.<br />«О работе редакции журнала МАИС».</p><p>5. Толбей А.О., технический редактор журнала МАИС, к. ф.-м. н., доцент кафедры компьютерных сетей ЯрГУ.<br />«О работе технического редактора журнала МАИС».</p><p>6. Парамонов И.В., к. ф.-м. н., доцент каф. компьютерных сетей ЯрГУ.<br />«Предложения по модернизации стилевого файла журнала МАИС».</p><p>7. Круглый стол. Обсуждение целей и задач развития журнала МАИС.</p><p>Место проведения: Ярославль, ул. Советская, 14, ауд. 213<br />Начало мероприятия: 16:00</p><table width="16"><tbody><tr><td> </td><td> </td></tr></tbody></table>Моделирование и анализ информационных систем2017-12-19Серия вебинаров для авторов, которые собираются публиковаться в международных журналах
https://www.mais-journal.ru/jour/announcement/view/3
<p><img src="/public/site/images/larionov/Clarivate_Analytics.png" alt="" /><br />Компания Clarivate Analytics приглашает принять участие в серии онлайн-семинаров, посвященных актуальным вопросам научных публикаций, которая пройдет в период <strong>с</strong> <strong>25 октября по 2 ноября 2017 года</strong>.<br /> <br /> – Какие функции наших информационных ресурсов могут быть вам полезны на разных этапах подготовки статей и отчетов?<br />– Как найти самые актуальные и влиятельные публикации в своей предметной области? <br />– Как выглядит процесс публикации в международном журнале? <br />– Какие требования предъявляются к научным статьям? <br />– Как избежать публикации в недобросовестных изданиях? <br />– Как найти все публикации одной организации? <br />– Как оценить публикационную активность организации и сопоставить ее эффективность с организациями сходной направленности?<br /> <br /> <strong>Расписание (указано Московское время):</strong><br /> <br /> <strong>Серия 1: Информационные инструменты для авторов научных публикаций</strong><br /> <br /> <strong>25 октября, среда</strong><br /> 10:00 – 11:00 <strong> </strong>Подбор актуальных источников для написания научной работы (Web of Science) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=5a734dad9c&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 12:00 – 13:00 Оформление статей по ГОСТу и требованиям международных журналов (EndNote Online) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=d4ac5c99b8&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 15:00 – 16:00<strong> </strong>Создание персонального авторского профиля в Web of Science (ResearcherID) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=3357e0a189&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>27 октября, пятница</strong><br /> 10:00 – 11:00 Поиск и анализ научных журналов с импакт-фактором (Journal Citation Reports) - <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=40bce3a35b&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>30 октября, понедельник</strong><br /> 09:00 – 10:00 Подбор актуальных источников для написания научной работы (Web of Science) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=4ce32e4df2&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 11:00 – 12:00 Оформление статей по ГОСТу и требованиям международных журналов (EndNote Online) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=70c6c6b38d&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 13:00 – 14:00 Создание персонального авторского профиля в Web of Science (ResearcherID) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=d6e18847b5&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>31 октября, вторник</strong><br /> 09:00 -10:00<strong> </strong>Поиск и анализ научных журналов с импакт-фактором (Journal Citation Reports) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=6509522a6d&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>Серия 2: Информационные инструменты для анализа научной деятельности</strong><br /> <br /> <strong>27 октября, пятница</strong><br /> 12:00 – 13:00<strong> </strong>Работа с международной патентной информацией (Derwent Innovation Index) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=99c9925bd6&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>31 октября, вторник</strong><br /> 11:00 – 12:00<strong> </strong>Создание и поддержка профиля организации в Web of Science – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=75daf6eace&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>1 ноября, среда</strong><br /> 11:00 – 12:00<strong> </strong>Эффективные техники поиска и анализа информации в Web of Science – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=a6418b954e&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 13:00 – 14:00 <strong> </strong>Профессиональная оценка публикационной активности (InCites) – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=65da52c2f8&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> <br /> <strong>Серия 3: Практические рекомендации по публикации в международных журналах</strong><br /> <br /> <strong>2 ноября, четверг</strong><br /> 10:00 – 11:00<strong> </strong>Как избежать публикации в недобросовестном журнале – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=09c648e5c0&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 12:00 – 13:00 Основные требования к публикациям в международных журналах – ч. 1 – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=46afc73d8d&e=a4bd14494c">РЕГИСТРАЦИЯ</a><br /> 14:00 – 15:00 <strong> </strong>Основные требования к публикациям в международных журналах – ч. 2 – <a href="https://wokinfo.us15.list-manage.com/track/click?u=f5d8b2284540258eeb087121f&id=5ba0b9901a&e=a4bd14494c">РЕГИСТРАЦИЯ</a></p>Моделирование и анализ информационных систем2017-10-20Международная конференция «Новые тенденции в нелинейной динамике»
https://www.mais-journal.ru/jour/announcement/view/2
<p><img src="/public/site/images/larionov/NTND.jpg" alt="" /></p><p>С 5 по 7 октября 2017 г. в Ярославском государственном университете им. П.Г. Демидова будет проходить Международная конференция «Новые тенденции в нелинейной динамике».</p><p><br />Научные направления конференции:</p><ul><li>нелинейная динамика;</li><li>динамика сингулярно возмущенных распределенных систем;</li><li>асимптотические методы в задачах нелинейной динамики и в системах с запаздыванием;</li><li>неголономная механика.</li></ul><p>Website: <a href="http://agora.guru.ru/display.php?conf=NTND-2017">http://agora.guru.ru/display.php?conf=NTND-2017</a></p><p>E-mail: <a href="mailto:a.tolbey@uniyar.ac.ru">a.tolbey@uniyar.ac.ru</a>, <a href="mailto:d.glazkov@uniyar.ac.ru">d.glazkov@uniyar.ac.ru</a></p> <br />Организаторы:<br /><ul><li>Ярославский государственный университет им. П.Г. Демидова;</li><li>Математический институт им В.А. Стеклова РАН;</li><li>Институт компьютерных исследований.</li></ul> <br />Программный комитет:<br />В.В. Козлов (Москва, сопредседатель), С.А. Кащенко (Ярославль, сопредседатель), <br />А.В. Борисов (Ижевск), С.Д. Глызин (Ярославль), <br />Н.А. Кудряшов (Москва), Г.А. Леонов (Санкт-Петербург), <br />Л.М. Лерман (Нижний Новгород), Н.Н. Нефедов (Москва), <br />Д.В. Трещев (Москва), Д.В. Тураев (Лондон).Моделирование и анализ информационных систем2017-10-03Журнал включен в MathSciNet
https://www.mais-journal.ru/jour/announcement/view/1
<p><img src="/public/site/images/larionov/1231.png" alt="" /></p><p>Журнал МАИС включен в базу данных Американского математического общества <a title="MathSciNet" href="http://www.ams.org/mathscinet/search/journaldoc.html?id=8677">MathSciNet</a>.</p>Моделирование и анализ информационных систем2017-10-03