Dyana

dyana@asvk.cs.msu.ru

105 обсуждения

Совещания по ГК
by Dmitry Volkanov 23 Янв '12

23 Янв '12

Уважаемые коллеги! Совещание по проекту для группы по моделированию состоится завтра 24го января в 17:00. Совещание по проекту для группы по верификации состоится 24го января в 15:30. Как обычно совещания планируется проводить в аудитории 764. Напоминаю также аспирантам кафедры АСВК просьбу Андрея Николаевича Терёхина поучаствовать 24 и 26 января в приёме экзамена по курсу "Вычислительные системы" (профессор Томилин А.Н.). Подходить можно к 10.00 в П-5. -- С уважением, Дмитрий Волканов

1 0

Fwd: SYRCoSE 2012: Call for Papers
by Dmitry Volkanov 17 Янв '12

17 Янв '12

-------- Original Message -------- Subject: SYRCoSE 2012: Call for Papers Date: Tue, 17 Jan 2012 11:25:27 +0400 From: "Alexander Kamkin" <kamkin(a)ispras.ru> To: <syrcose(a)ispras.ru> CALL FOR PAPERS SYRCoSE 2012 Spring/Summer Young Researchers' Colloquium on Software Engineering May 30-31, Perm, Russia http://syrcose.ispras.ru SYRCoSE is a colloquium for young researchers specializing in software engineering. The goal of the colloquium is to help young researchers 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. TOPICS OF INTEREST * Software Development Processes * Object-Oriented Analysis and Design * Programming and Specification Languages * Component-Based Software * Distributed and Concurrent Software * Requirements Engineering * Visual Modeling * Reengineering and Reverse Engineering * Formal Methods * Quality Assurance * Software Safety and Security * Testing, Verification, and Validation * Functional Design and Verification of Hardware * Software Development and Analysis Tools * Software Engineering Education TYPES OF CONTRIBUTIONS We accept papers authored by students, PhD students or young researchers up to 35 years old. Researchers over this age limit are allowed as co-authors provided that the report is presented by a young author. Papers must be written and presented in English. We admit original papers of the following types: * Full research papers presenting the accomplished research up to 9 pages length. Such papers do not have limits on co-authors except that at least one of the co-authors is a young researcher making the presentation at the colloquium. * Research-in-progress reports which should contain an abstract describing a problem of interest and particular goals of the research, a short description of related work with analysis of differences between the existing methods and the approach proposed by the author, a summary of results achieved and future work directions. Normally, such papers should be solely authored (although the scientific supervisor should be specified). The length of such papers should not exceed 6 pages. * Industrial papers demonstrating novel or non-trivial applications of software engineering methods. Like full research papers, industrial papers should meet the requirement that at least one of the co-authors is a young person making the presentation at the colloquium. SUBMISSIONS All contributions to SYRCoSE have to be submitted electronically in PDF format via the conference website. All submissions have to follow double-column ACM/IEEE format: http://www.ieee.org/conferences_events/conferences/publishing/templates.html To submit an article, use the link below: https://www.easychair.org/account/signin.cgi?conf=syrcose2012 IMPORTANT DATES Paper Submission: April 1, 2011 Notification of Acceptance: April 20, 2011 Camera Ready Papers: May 10, 2011 Registration: May 15, 2011 Colloquium: May 30-31, 2012 CONFERENCE ORGANIZATION Program Committee Chairs * Alexander K. Petrenko (Institute for System Programming of RAS, Russia) * Andrey N. Terekhov (Saint-Petersburg State University, Russia) Organization Committee Chairs * Alexander S. Kamkin (Institute for System Programming of RAS, Russia) * Lyudmila N. Lyadova (Higher School of Economics, Russia) CONTACT INFORMATION E-mail: syrcose(a)ispras.ru Web-site: http://syrcose.ispras.ru Phone: +7 (495) 9125317 (4443) Fax: +7 (495) 9121524 __________ Information from ESET NOD32 Antivirus, version of virus signature database 6801 (20120116) __________ The message was checked by ESET NOD32 Antivirus. ------------------------------------------------------- -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 16 Янв '12

16 Янв '12

Уважаемые коллеги! Совещание по проекту для группы по моделированию состоится завтра 17го января в 17:00. Совещание по проекту для группы по верификации состоится 17го января в 15:30. Как обычно совещания планируется проводить в аудитории 764. Просьба к Василию, Виталию и Евгению к завтрашнему совещанию подготовить планы предлагаемых на Simultech'2012 статей (http://www.simultech.org/CallForPapers.aspx#A3) -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 08 Янв '12

08 Янв '12

Уважаемые коллеги! Прежде всего хотел бы ещё раз всех поздравить с прошедшими праздниками с Новым Годом и Рождеством и пожелать здоровья, а также творческих и научных успехов! 10го января заканчиваются наши длительные новогодние каникулы. Поэтому хотелось бы 10го января (вторник) встретиться и обсудить наши ближайшие планы. Предлагаю совещание по проекту для группы по моделированию провести 10го января в 11:00. Совещание по проекту для группы по верификации предлагаю провести 10го января в 14:30. Как обычно совещания планируется проводить в аудитории 761 или 764. Напишите, пожалуйста, удобно ли это время и сможете ли Вы присутствовать на совещании. -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 26 Дек '11

26 Дек '11

Уважаемые коллеги! Напоминаю, что завтра еженедельное совещание по проекту для группы по моделированию состоится в 16:00. Совещание по верификации состоится завтра в 15:00. Как обычно совещания планируется проводить в аудитории 761 или 764. -- С уважением, Дмитрий Волканов

1 0

Совещания по ГК
by Dmitry Volkanov 19 Дек '11

19 Дек '11

Уважаемые коллеги! Поскольку завтра 20го утром я буду занят на 1м курсе, то еженедельное совещание по проекту для группы по моделированию состоится в четверг в 13:30. Совещание по верификации состоится в четверг в 14:30. Как обычно совещания планируется проводить в аудитории 761 или 764. Завтра никаких совещаний по ГК не будет! -- С уважением, Дмитрий Волканов

1 0

Fwd: МОДЕЛИРОВАНИЕ-2012
by Dmitry Volkanov 15 Дек '11

15 Дек '11

Коллеги! Обращаю Ваше внимание на эту конференцию. ---------- Пересланное письмо ---------- Тема: МОДЕЛИРОВАНИЕ-2012 Дата: 12 декабря 2011 Отправитель: ipme(a)ipme.kiev.ua получатель: dorozhko(a)hlrs.de, kovalenko(a)hlrs.de, rabdikarimov(a)mail.ru, avagimova(a)so-ups.ru, Latifa(a)inbox.ru, tavdeenko(a)mail.ru, ata(a)osmf.sscc.ru, alla.albu(a)mail.ru, victor.babkov(a)gmail.com, seua(a)syunik.am, seua(a)mail.yandex.ru, avarus(a)rambler.ru, mailbox(a)dgasa.donetsk.ua, mixifox(a)mail.ru, begunw(a)ukr.net, roman(a)env.kiev.ua, romanbezhenar(a)gmail.com, bes(a)fpm.kubsu.ru, bshp(a)mail.ru, alexandruckin(a)rambler.ru, jurijjbulatv(a)rambler.ru, m7maxim7(a)rambler.ru, bos.knu(a)gmail.com, dml_vl(a)ukr.net, dml_(a)ukr.net, dimawolf(a)cs.msu.su, avolkov(a)istil.com.ua, volser(a)apec.com.ua, olga-gaidukova(a)mail.ru, onopchenko(a)mail.ru, antonov(a)ipu.rssi.ru, v_ter(a)ukr.net, and_vorobey(a)hotmail.com IV Международная научная конференция МОДЕЛИРОВАНИЕ-2012 (16-18 мая 2012, г. Киев) 16-18 мая 2012 года в Институте проблем моделирования в энергетике им. Г.Е. Пухова НАН Украины, г. Киев, состоится четвертая научная конференция <Моделирование-2012>, посвященная современным проблемам математического и компьютерного моделирования. ПРОГРАММА КОНФЕРЕНЦИИ предусматривает пленарные доклады ведущих ученых в области моделирования и секционные доклады по тематическим направлениям конференции. Рабочими языками конференции являются русский, украинский и английский. Труды конференции будут изданы до начала конференции. Правила оформления и шаблон для текстового редактора MS WORD 97-2003 доступны на сайте конференции. КОНЕЧНЫЕ ДАТЫ Заявка на участие, тезисы доклада 01.03.2012 Уведомление о принятии доклада 01.04.2012 Оплата оргвзноса 01.05.2012 Начало конференции 16.05.2012 Подробная, обновленная информация http://www.ipme.kiev.ua/rus/conference/c8.htm ------------------------------------------------------- -- С уважением, Дмитрий Волканов

1 0

Совещание по ГК
by Dmitry Volkanov 12 Дек '11

12 Дек '11

Уважаемые коллеги! Поскольку завтра 13го утром будет проходить зачёт по истории математики, а Виталий и Даниил завтра будут участвовать на семинаре <<Автоматическая генерация кода, верификация и сертификация систем управления и обработки сигналов в среде MATLAB и Simulink>>, то еженедельное совещание по проекту для группы по моделированию состоится в 18:30 (после научного семинара). Совещание по верификации предварительно планируется провести в четверг в 14:30. Как обычно совещания планируется проводить в аудитории 761 или 764. -- С уважением, Дмитрий Волканов

1 0

Совещание по ГК
by Dmitry Volkanov 05 Дек '11

05 Дек '11

Уважаемые коллеги! Завтра в 12:15, состоится еженедельное совещание по проекту для группы по моделированию. Как обычно совещание планируется проводить в аудитории 761 или 764. Обсудим планы по статьям, доработки по задачам. Группа по верификации на этой неделе совещается, как обычно в 14:30 также в аудитории 761 или 764. Планируется присутствие Даниила, который вернулся после отпуска с новыми силами :-) -- С уважением, Дмитрий Волканов

1 0

Генерация кода, верификация и сертификация в среде MATLAB и Simulink
by Dmitry Volkanov 30 Ноя '11

30 Ноя '11

Уважаемые коллеги! Ниже информация о семинаре, который нам может быть интересен. ---------- Пересланное сообщение ---------- От кого: news(a)sl-matlab.ru <news(a)sl-matlab.ru> Дата: 30 ноября 2011 г. 13:53 Тема: Генерация кода, верификация и сертификация в среде MATLAB и Simulink Кому: vasya007(a)lvk.cs.msu.su Семинар <<Автоматическая генерация кода, верификация и сертификация систем управления и обработки сигналов в среде MATLAB и Simulink>> Организаторы: Softline, MathWorks Город проведения: Москва Дата проведения: 13 декабря 2011 Уважаемые дамы и господа! Компании Softline и MathWorks приглашают вас 13 декабря 2011 года принять участие в БЕСПЛАТНОМ семинаре <<Автоматическая генерация кода, верификация и сертификация систем управления и обработки сигналов в среде MATLAB и Simulink>>. В ходе семинара инженеры компании MathWorks расскажут об использовании автоматической генерации кода для создания читабельного, портируемого кода C производственного качества из моделей Simulink. Будут освещены продукты компании MathWorks, которые помогают проводить верификацию и валидацию систем, а также последующую сертификацию. Слушатели семинара узнают, как Simulink и другие продукты компании MathWorks могут помочь сократить время и стоимость разработки, улучшить качество и создать системы с более высокими эксплуатационными характеристиками . Будут освещены следующие темы: * Крупномасштабное проектирование и командная работа в Simulink Project * Разработка систем с фиксированной точкой в среде Simulink/Stateflow * Генерация кода производственного качества с использованием Embedded Coder * Верификация системы с использованием методики Processor-in-the-Loop * Применения формальных методов для поиска ошибок с помощью Simulink Design Verifier * Тестирование системы и автоматизированное создание отчетов в SystemTest/Simulink Report Generator * Сертификация критических к безопасности систем: DO Qualification Kit/IEC Certification Kit * Автоматизация процесса рецензирования исходного кода при помощи Simulink Code Inspector На семинаре слушатели узнают, как с помощью продуктов MathWorks можно: * Использовать инструменты MathWorks для крупномасштабного проектирования и командной работы; * Автоматически генерировать код C производственного качества из моделей Simulink/Stateflow; * Проводить тестирование и сертификацию систем, используя продукты MathWorks. Семинар будет полезен как опытным инженерам, ведущим проектные разработки в MATLAB и Simulink, так и вновь открывающим для себя возможности этой среды. Приглашаются: * инженеры-разработчики электрических, механических, гидравлических систем; * разработчики систем управления; * инженеры-программисты, реализующие разработанные системы управления во встроенных системах; * разработчики программного обеспечения, работающего в реальном времени; * руководители проектов; * технические руководители и директора. На семинаре вы сможете задать вопросы по лицензированию представленного ПО менеджерам по продажам департамента MathWorks компании Softline. Участие бесплатное, обязательна предварительная регистрация. Регистрация участников осуществляется: на сайте http://seminars.softline.ru/form_seminar.php?id=5448 или по электронной почте mailto:MATLAB@softline.ru. Более подробную информацию об участии можно получить по телефону +7 495 232 00 65 доб.1455. ----------------------------------------------- Просим нас извинить, если данное письмо попало к Вам по ошибке или доставило неудобства. Если вы не хотите получать подобные письма в дальнейшем, просьба написать на E-Mail: mailto:info@softline.ru или воспользоваться сервисом отписки на сайте: http://softline.ru/unsubscribe.php. -- С уважением, Василий ------------------------------------------------------- -- С уважением, Дмитрий Волканов

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana