Dyana Январь 2012

dyana@asvk.cs.msu.ru

1 участники
5 обсуждения

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

30 Янв '12

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

1 0

Совещания по ГК
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

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana Январь 2012