УНИВЕРСИТЕТ ИТМО
Кафедра «Технологии программирования»



Главная

Новости
 Новости науки
 Важное
 Почетные доктора
 Инновации
 Культура
 Люди
 Разное
 Скартел-Yota
 Стрим
 Смольный
Учебный процесс
 Образование
 Дипломы
 Курсовые проекты
 Лабораторные работы
 Учебные курсы
 Визуализаторы
 Unimod-проекты
 Семинары
 Стипендии
Наука
 События и факты
 Госконтракты
 Статьи
 Диссертации
 Книги
 Презентации
 Свидетельства
 Сотрудничество
Исследования
 Автоматы
 Верификация
 Биоинформатика
 Искусственный интеллект
 Генетические алгоритмы
 Движение
 UniMod
 Роботы и агенты
 Нейронные сети
 ФЦП ИТМО-Аалто
 Разное

О нас
 Премии
 Сертификаты и дипломы
 Соревнования по программированию
 Прорыв
 Автографы
 Рецензии

Беллетристика
 Мотивация
 Мысли
Медиа
 Видео
 Фотографии
 Аудио
 Интервью

English
 Home

 Articles
 Posters
 Automata-Based Programming
 Initiatives
 Projects
 Presentations
 UniMod
 UniMod Projects
 Visualizers


Поиск по сайту

Яndex



   Главная / События и факты (версия для печати)


События и факты



Научная работа в 2005 году

Научная работа в 2006 году

Научная работа в 2007 году

Научная работа в 2008 году

Научная работа в 2009 году

Научная работа в 2010 году

Научная работа в 2011 году

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2011 году (PDF)

Научная работа в 2012 году

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2012 году (PDF)

Научная работа в 2013 году

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2013 году (PDF)

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2014 году (PDF)

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2015 году (PDF)

Основные показатели научно-педагогической деятельности кафедры «Компьютерные технологии» в 2016 году (PDF)

Персональная страничка Максима Буздалова (внешняя ссылка: rain.ifmo.ru)

Персональная страничка Арины Буздаловой (внешняя ссылка: rain.ifmo.ru)

Персональная страничка Владимира Ульянцева (внешняя ссылка: rain.ifmo.ru)

Персональная страничка Даниила Чивилихина (внешняя ссылка: rain.ifmo.ru)

Персональная страничка Игоря Бужинского (внешняя ссылка: rain.ifmo.ru)

Персональная страничка Алексея Сергушичева (внешняя ссылка: rain.ifmo.ru)

Anatoly Shalyto - Google Scholar Citations (внешняя ссылка: scholar.google.ru)

Работы по биоинформатике и вычислительной биологии сотрудников, аспирантов и студентов кафедры «Компьютерные технологии» Университета ИТМО (PDF)

Заявка на конкурс исследовательских проектов в области автоматизации проектирования интегральных схем, проводимый компанией "Intel" и Московским физико-техническим институтом (техническим университетом)

Результаты конкурса CAD - Intel

Письмо с конкурса Intel (PDF)

Диплом с конкурса Intel (PDF)

Министерство образования Российской Федерации в 2000 г. открыло в СПбГИТМО (ТУ) научно-исследовательскую работу по теме "Разработка технологии создания программного обеспечения систем управления на основе автоматного подхода". Научный руководитель - доктор технических наук, профессор Шалыто А.А.

В СПбГИТМО (ТУ) получен грант Российского фонда фундаментальных исследований №02-07-90114 на проведение научно-исследовательской работы по теме "Разработка технологии автоматного программирования". Научный руководитель - доктор технических наук, профессор Шалыто А.А.

В СПбГУ ИТМО получен грант Российского фонда фундаментальных исследований №05-07-90011 на проведение научно-исследовательской работы по теме "Разработка технологии объектно-ориентированного программирования с явным выделением состояний". Научный руководитель - доктор технических наук, профессор Шалыто А.А.

Shalyto A.A. Cognitive Properties of Hierarchical Representations of Complex Logical Structures (PDF)

Результаты конкурса исследовательских проектов в области автоматизации проектирования интегральных схем, 2003 год (PDF)

International Conference on Integration of Knowledge Intensive Multi-Agent System, 2003 (KIMAS03)

Программа конференции (PDF)

Оглавление трудов конференции (PDF)

Automata Theory for Multi-Agent Systems Implementation (PDF)

Theoretical Aspects of Multi-Agent Systems (PDF)

International Conference on Integration of Knowledge Intensive Multi-Agent System, 2005 (KIMAS05)

Приглашение

Фрагмент программы конференции

Methods of Object-Oriented Reactive Agents Implementation on the Basis of Finite Automata (KIMAS 2005) (PDF)

Automata-Based Programming of the Reactive Multi-Agent Control Systems (KIMAS 2005) (PDF)

Microsoft Research Academic Days in St. Petersburg, April 21-23, 2004

Новая инициатива в программировании. Движение за открытую проектную документацию (PDF)

Язык автоматного программирования с компиляцией в Microsoft CLR (PDF)

Аннотация докторской диссертации Шалыто А.А.

2005 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - CIMSA 2005

2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications - CIMSA 2006

Программа конференции CIMSA 2006 (PDF)

CIMSA-2006 (PDF)

Уведомление о принятии доклада «Executable UML for Eclipse Platform» в качестве стендового (PDF)

Тезисы доклада «Executable UML for Eclipse Platform» (PDF)

OpenSource Forum

Выступление на OpenSource Forum

Proceedings of St. Petersburg IEEE Chapters. Year 2005. International Conference 110 Anniversary of Radio Invention. SPb ETU LETI

Программа

UniMod: Method and Tool for Development of Reactive Object-Oriented Programs with Explicit States Emphasis (PDF)

Журнал «Известия Уральского государственного университета». Серия «Компьютерные науки и информационные технологии»

Всероссийская научно-техническая конференция «Методы и средства обработки информации». МГУ МСО

МСО 2003 (внешняя ссылка: old.lvk.cs.msu.su)

МСО 2005: Программа конференции (внешняя ссылка: old.lvk.cs.msu.su)

Метод преобразования программ в систему взаимодействующих конечных автоматов (PDF)

UniMod: Метод и средство разработки реактивных объектно-ориентированных программ с явным выделением состояний (PDF)

Федеральное агентство по науке и инновациям сообщает о результатах конкурса, проводимого в рамках ФЦНТП «Исследования и разработки по приоритетным направлениям развития науки и техники» на 2002-2006 годы по приоритетному направлению «Информационно-телекоммуникационные системы» (VI очередь) (Извещение № 9к-663 от 2 мая 2005 г.)
ЛОТ 2.
ИТ-13.4/004. Технология автоматного программирования: применение и инструментальные средства.
Информация о победителе конкурса — Государственное образовательное учреждение высшего профессионального образования «Санкт-Петербургский государственный университет информационных технологий, механики и оптики» (СПбГУ ИТМО), (ОПФ — учреждение), г. Санкт-Петербург.
http://www.fasi.gov.ru/fcp/technika/konkurs/it/izv-it-6.doc

Информация о лоте (внешняя ссылка: contest.informika.ru)

«Наука и инновации»: Выбраны лучшие инновационные проекты России (внешняя ссылка: www.rsci.ru)

КоммерсантЪ: Волшебный сундучок Роснауки (PDF)

КоммерсантЪ: Заграница нам поможет (PDF)

Часть 3. Мобильные системы (PDF)

Часть 4. Клиент-серверные системы (PDF)

Часть 5. Интернет-системы (PDF)

О научных конкурсах

Проекты, отмеченные в Роснауке

Отчет о патентных исследованиях (PDF)

Указ Президента РФ «О мерах государственной поддержки работников организаций оборонно-промышленного комплекса РФ» (внешняя ссылка: document.kremlin.ru)

Постановление Правительства Российской Федерации от 24 июня 2004 г. № 309 г. Москва О стипендии работникам организаций оборонно-промышленного комплекса Российской Федерации (внешняя ссылка: www.rg.ru)

Workshop по автоматному программированию (внешняя ссылка: logic.pdmi.ras.ru)

Приоритетные направления развития науки, технологий и техники и критические технологии Российской Федерации (1996) (внешняя ссылка: www-sbras.nsc.ru)

Приоритетные направления развития науки, технологий и техники и критические технологии Российской Федерации (2002)

Приоритетные направления развития науки, технологий и техники и критические технологии Российской Федерации (2005) (внешняя ссылка: www-sbras.nsc.ru)

Доклад на конференции .NET Technologies'2006 (внешняя ссылка: dotnet.zcu.cz)

.NET Technologies 2006. Short communication papers proceedings (внешняя ссылка: dotnet.zcu.cz)

Приняты два доклада на "Третью международную конференцию по проблемам управления". М.: Институт проблем управления, 20-22.06.2006.

Секция Д3. Системы логического управления. Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UniMod - инструментальное средство для автоматного программирования.

Секция Е5. Нейронные сети и нейроподобные сети. Аничкин И.М. Применение нейронной сети для управления мотоциклом.

У нас приняли доклад на семинар «Наукоемкое программное обеспечение»

У нас приняли доклад на конференцию в МГУ (PDF)

Девятая международная конференция "Интеллектуальные системы и компьютерные науки" (Мехмат МГУ) (внешняя ссылка: intsys.msu.ru)

У нас приняли доклады на конференцию "Software Engineering Conference (Russia) — 2006" (SECR-2006) (внешняя ссылка: 2006.secr.ru)

Шопырин Д.Г., Шалыто А.А. Графическая нотация наследования автоматных классов

Shopyrin D.G., Shalyto A.A. A Graphical Notion of State-Based Classes' Inheritance (PDF)

Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний (презентация)

Канжелев С.Ю., Шалыто А.А. Автоматическая генерация кода программ с явным выделением состояний (PDF)

Маврин П.Ю., Корнеев Г.А., Шалыто А.А. Формальная семантика диаграмм состояний, удобная для практического применения (PDF)

Нас включили в программный комитет симпозиума The Second AIS SIGSAND European Symposium on Systems Analysis and Design. University of Gdansk, Poland, 2007 (внешняя ссылка: sigsand.univ.gda.pl)

У нас приняли доклады на 1-ю Российскую мультиконференцию по проблемам управления (PDF)

Паращенко Д.А., Царев Ф.Н., Шалыто А.А. Применение автоматного программирования для моделирования группового управления движением одного класса беспилотных летательных объектов

Надежда Поликарпова за работу «Объектно-ориентированный подход к моделированию и спецификации сущностей со сложным поведением» награждена дипломом первой степени на Всероссийском конкурсе инновационных проектов аспирантов и студентов по приоритетному направлению развития науки и техники «Информационно-телекоммуникационные системы», который проводился в 2006 г. Федеральным агентством по науке и инновациям.

http://ict.edu.ru/itkonkurs/ (внешняя ссылка: ict.edu.ru)

http://ict.edu.ru/itkonkurs/module.php?QP_From=40&a=itconc&c=getForm&r=itconcList&d=mod&id_conc=1&id_n_conc=2&s_fio=1&rows_on_page=10 (внешняя ссылка: ict.edu.ru)

http://www.ict.edu.ru/itkonkurs/1257/ (внешняя ссылка: www.ict.edu.ru)

http://www.ict.edu.ru/itkonkurs/photo/2006/p1020115.jpg (внешняя ссылка: www.ict.edu.ru)

Новые гренадеры - Федор Царев ("Петербургский дневник" - В поддержку науки российской) (внешняя ссылка: www.spbdnevnik.ru)

СПбГУ ИТМО ввели в программный комитет конференции Tools-Europe 2007 (внешняя ссылка: tools.ethz.ch)

Нас включили в оргкомитет международной конференции «Компьютерные науки и информационные технологии» Саратовский государственный университет им. Н.Г. Чернышевского Саратов, 2—4 июля 2007 года

Программа Международной научной конференции «Компьютерные науки и информационные технологии», посвященной памяти профессора А. М. Богомолова 2 - 4 июля 2007 г. (внешняя ссылка: knit2007.sgu.ru)

Победа в двух конкурсах по лотам в рамках Федеральной целевой программы «Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007—2012 годы» (PDF)

Царев Ф.Н. стал одним из победителей конкурса грантов 2007 г. для студентов и аспирантов ВУЗов Санкт-Петербурга (внешняя ссылка: www.rshu.ru)

Федору Цареву назначена стипендия Правительства РФ (внешняя ссылка: www.ifmo.ru)

У нас приняли пять докладов на конференцию "Многопроцессорные управляющие и вычислительные системы (МВУС-2007)", которая проводится в рамках международной научно-технической конференции "Проблемы информационно-компьютерных технологий и мехатроника" (ИКТМ-2007)

Наши доклады на конференции SEC(R) 2007 (внешняя ссылка: 2007.cee-secr.org)

Наше участие в Первом Санкт-Петербургском конгрессе "Профессиональное образование, наука, инновации в XXI веке" (внешняя ссылка: www.ifmo.ru)

Доклад на конференции «Имитационное моделирование. Теория и практика» ИММОД-2007 (внешняя ссылка: www.gpss.ru)

Участие в программном комитете конференции "International Conference Objects, Models, Components, Patterns" (TOOLS-EUROPE)

2007 год http://tools.ethz.ch/tools2008/tools2007/people.html

2008 год http://tools.ethz.ch/tools2008/committees.html

2009 год http://tools.ethz.ch/committees.html

Три команды ИТМО стали победителями NEERC-2007 и командного студенческого чемпионата России по программированию:
1 место - Чемпионы России Дмитрий Абдрашитов, Дмитрий Паращенко, Федор Царёв;
4 место - Максим Буздалов, Всеволод Опарин, Владислав Исенбаев
6 место - Игорь Ахметов, Владимир Данилов, Игорь Синев.
Поздравляем и гордимся!

Царев Федор Николаевич стал одним из победителей открытого конкурса на предоставление грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга (внешняя ссылка: www.rshu.ru)

Еще один наш выпускник заканчивает диссертацию по программированию

Научная конференция по программированию (PDF)

Наше участие в конференции "Научное программное обеспечение в образовании и научных исследованиях". Санкт-Петербуг. Санкт-Петербургский государственный политехнический институт. 30,31 января 2008 года (PDF)

Наши доклады на конференции по экстремальной робототехнике (внешняя ссылка: www.rtc.ru)

В Стокгольме вручена престижная премия Кроуфорда математику из Химок (внешняя ссылка: www.rg.ru)

Выдающиеся ученые нуждаются не в деньгах. Они нуждаются друг в друге. Искра высекается от трения. До поры до времени есть критическая масса научной среды. Есть научная аура - такая, как была в Институте теоретической физики Ландау, на мехмате МГУ, в теоротделе ФИАНа. Потом она потихоньку размывается. А в какой-то миг - ее больше нет. А значит, что нет и науки (http://www.ej.ru/?a=note&id=8111).

В 1934 году министр науки и образования Третьего рейха обергруппенфюрер СС д-р Руст спросил ректора Геттингенского университета Давида Гильберта: "Правда ли, что ваш университет сильно пострадал от изгнания евреев?" На что великий математик отрезал "Нет, неправда. Университет не пострадал. Университета больше нет", так как еще уехало и некоторое число "арийских ученых", например, знаменитый математик Г. Вейль, у которого жена была еврейкой и создатель волновой механики великий физик Шредингер, ненавидевший фашизм (http://www.ej.ru/?a=note&id=8111).

Доклад Ю.Д. Бедного и А.А. Шалыто на тему "Применение генетических алгоритмов для создания системы управления танком в игре "Robocode" принят Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в гибридных и других сложных моделях динамических и интеллектуальных систем", на секции "Искусственный интеллект в управлении".

Еще два доклада (Клебан В.О., Шалыто А.А. на темы "Автоматный подход к проектированию многоуровневых систем управления мобильными роботами" и "Компонентная архитектура программного обеспечения мобильного робота") приняты Программным комитетом "Четвертой международной конференции по проблемам управления" (МКПУ-IV). Москва. Институт проблем управления РАН. Дата проведения: 26.01.2009. Он будет представлен в направлении "Управление в промышленности, энергетике и на транспорте", на секции "Системы логического управления".

Программа "Четвертой международной конференции по проблемам управления" (внешняя ссылка: www.ipu.ru)

Поздравляем Виталия Клебана, Илью Колыхматова, Андрея Бреслава, Константина Рубинова, Дмитрия Суясова - студентов и аспирантов нашей кафедры с победой в конкурсе на предоставление в 2008 году грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга

Статья "Автоматное программирование" - один из победителей Всероссийского конкурса обзорно-аналитических статей по приоритетному направлению "Информационно-телекоммуникационные системы" (внешняя ссылка: www.ict.edu.ru)

Кто способен попасть на эту конференцию? (PDF)

На конференции SECR-2008 будет докладывать не только Эрих Гамма, но и Артем Астафуров! (внешняя ссылка: 2008.cee-secr.org)

Диплом за активное участие во II международной выставке "Перспективные технологии"

Медаль "За успехи в научно-техническом творчестве"

Итоговая конференция "Информационно-телекоммуникационные технологии - положение на сегодняшний день и пути дальнейшего развития" (внешняя ссылка: www.informika.ru)

Наше участие в "Итоговой конференции ФЦП "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2012 г." (внешняя ссылка: it-fcntp.uriit.ru)

Научно-технический вестник СПбГУ ИТМО. Выпуск 53. Автоматное программирование

Наше участие в III международной научно-практической конференции "Современные информационные технологии и ИТ-образование"

Нас включили в программный комитет конференции "47th International Conference Objects, Models, Components, Patterns" (TOOLS-EUROPE 2009). И больше никого из России

Какие статьи могут пройти в рецензируемый журнал

Доклад "Виртуальная лаборатория обучения генетическому программированию для генерации управляющих конечных автоматов" на конференции III международной научно-практической конференции "Современные информационные технологии и ИТ-образование" на двух секциях сразу

http://2008.it-edu.ru/pages/day3-sec2 (внешняя ссылка: 2008.it-edu.ru)

http://2008.it-edu.ru/pages/sec-3-2 (внешняя ссылка: 2008.it-edu.ru)

Зачем нужна фундаментальная наука?

Наши на 11 Международной конференции CSTB-2009 (внешняя ссылка: www.cstb.ru)

Нас включили в программный комитет конференции "Компьютерные науки и информационные технологии", которая проводится в саратовском государственном университете им. Н.Г. Чернышевского (внешняя ссылка: knit2009.sgu.ru)

Мы в редколлегии журнала RSDN (внешняя ссылка: rsdn.ru)

У нас приняли доклад на симпозиум IFAC

Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Controllers Represented by Automata /13th IFAC Symposium on Information Control Problems in Manufacturing, June 3 - 5, 2009, Moscow, Russia (внешняя ссылка: ifac.papercept.net)

У нас приняли доклад Столяров Л.В. (ученик восьмого класса лицея "Вторая школа", Москва), Дединский И.Р., Шалыто А.А. "Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C" на "Восьмую Сибирскую научную школу-семинар "Компьютерная безопасность и криптография" (SIBECRYPT'09), которая будет проводиться 8-11 сентября 2009 г. в Омском государственном техническом университете (внешняя ссылка: www.tpu.ru)

Наше участие на конференции "Одаренные дети" (PDF)

Нужны ли России информационные технологии? (PDF)

А.А. Шалыто на II сессии научной школы-практикума "Технологии высокопроизводительных вычислений и компьютерного моделирования" (внешняя ссылка: escience.ifmo.ru)

Надя Поликарпова публикуется с Бертраном Мейром! (внешняя ссылка: www.cse.msu.edu)

Уважаемые Данилов В.Р. и Шалыто А.А.! Сообщаем Вам, что ваш доклад "ПРЕДСТАВЛЕНИЕ ФУНКЦИИ ПЕРЕХОДОВ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ ПРИ ГЕНЕРАЦИИ УПРАВЛЯЮЩИХ АВТОМАТОВ С ПОМОЩЬЮ ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ" принят оргкомитетом для представления на Третьей Всероссийской научной конференции "Методы и средства обработки информации" и публикации в трудах конференции (секция "Методы и средства проверки правильности программного обеспечения").Замечаний рецензентов нет. Оргкомитет конференции МСО'2009. МГУ.

20% докладов наших студентов на научно-практической конференции студентов, аспирантов, молодых ученых и специалистов "Интегрированные модели, мягкие вычисления, вероятностные системы и комплексы программ в искусственном интеллекте" (ИММВИИ-2009) г. Коломна, 26-27 мая 2009 г.

У нас приняли пять докладов (20% докладов на конференции) на SYRCoSE (Spring Young Researchers Colloquium on Software Engineering. May 28-29, 2009, Higher School of Economics, Moscow) и организовали секцию "Automata-Based Programming and Its Applications"

Мы победили (http://www.spbvedomosti.ru/article.htm?id=10258558@SV_Articles) - Президент РФ Д.А. Медведев назвал стратегические информационные технологии среди пяти направлений инновационного развития российской экономики http://www.rbc.ru/rbcfreenews/20090618150508.shtml

Доклад Столярова Л.В. (школьник девятого класса), Дединский И.Р., Шалыто А.А. (Москва, Санкт-Петербург). Трансляция описаний автоматов, представленных в формате Microsoft Visio, в исходный код на языке C на ВОСЬМОЙ СИБИРСКОЙ НАУЧНОЙ ШКОЛЕ-СЕМИНАРЕ С МЕЖДУНАРОДНЫМ УЧАСТИЕМ "КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ" (SIBECRYPT'09) 8-11 сентября 2009 г., Омский государственный технический университет (внешняя ссылка: sibecrypt.tsu.ru)

Научная школа-конференция на фестивале молодежи им. профессора Е.А. Девянина "Мобильные роботы - 2009". НИИ механики МГУ. 2009.

Клебан В.О., Стрюк Л.Е., Шалыто А.А. Микрооперационная система реального времени для управления мобильным роботом

Наши доклады на Международной научной конференции "Компьютерные науки и информационные технологии". Саратов: СГУ, 2009:

В один и тот же день Президент РФ Д. А. Медведев и замглавы Минэкономразвития А. Н. Клепач озвучили РАЗЛИЧНЫЕ приоритетные направления модернизации российской экономики! Причем в первом перечне информационные технологии есть, а во втором - их нет! В общем, мы победили! (http://www.spbvedomosti.ru/article.htm?id=10258558@SV_Articles)

Ф.Н. Царев, Н.Н. Красильников, П.Ю. Маврин - победители конкурса грантов для студентов и аспирантов вузов Санкт-Петербурга. Поздравляем!

У нас приняли три доклада на Всероссийскую научную конференцию "Нечеткие системы и мягкие вычисления", которая состоится 21-24 сентября 2009 г. в Волгограде (СЕКЦИЯ 3. Эволюционное моделирование и генетические алгоритмы; нейронные сети и нейроинтеллект, модели адаптивного поведения и нейроэволюции):
  1. Буздалов М.В. Применение генетических алгоритмов для определения неэффективных решений олимпиадных задач по программированию (на примере задачи о рюкзаке).
  2. Попов С.И., Попов Ю.И., Шалыто А.А. Задача о муравьеде и муравьях.
  3. Чеботарева Ю.К. Применение генетических алгоритмов для генерации функций, описывающих движение, на примере шага вперед человекоподобного робота.
Мы заняли первое место на конкурсе: "Федеральная целевая программа "Научные и научно-педагогические кадры инновационной России" на 2009 - 2013 годы. Направление 1. "Стимулирование закрепления молодежи в сфере науки, образования и высоких технологий". Мероприятие 1.3.1. "Проведение научных исследований молодыми учеными - кандидатами наук". Выполнение поисковых научно-исследовательских работ по проекту (лоту): "Проведение поисковых научно-исследовательских работ по направлению "Информатика". Тема: "Разработка методов совместного применения генетического и автоматного программирования для построения систем управления беспилотными летательными объектами". Регистрационный номер: НК-178/12".

Парфенов В.Г. и Шалыто А.А. выступают 23.09.2009 г. в 15-00 на круглом столе "Образование и информационные технологии" на Санкт-Петербургском научном форуме с участием Нобелевских лауреатов "Наука и общество. Информационные технологии". СПб., 21-25.09.2009 г. (внешняя ссылка: scientificforum.spb.ru)

У нас приняли два доклада на "International Confereence Knowledge Intensive Multi-Agent Systems (KIMAS 2009)". St.Louis. 2009. 11-14 октябрь:
  • Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generation of Agent Controllers Represented by Automata
  • Gnilomedov I., Nikolenko S. Agent-Based Economic Modeling With Finite State Machines
У нас приняли два доклада на пятую Восточно-Европейскую конференцию "Разработка ПО 2009" (CEE-SECR 2009). М.: 28-29.10.2009 http://cee-secr.org/:
  • Губин Ю., Шалыто А. Neuro-Automata Based Controlling
  • Борисенко А., Федотов П., Степанов О., Шалыто А. Reliable Software with Complex Behavior Development (второй доклад не заслушивается, а только опубликуется в сборнике трудов)
У нас приняли доклад на конференцию «Гражданская электроника России: Стратегия возрождения», (CIV EL-2009). М.: 1.10.2009: Клебан В., Шалыто А. Применение автоматного программирования во встроенных системах

У нас приняли два доклада на "International Confereence Knowledge Intensive Multi-Agent Systems (KIMAS 2009)". St.Louis. 2009. 11-14 октябрь:

  • Davydov A., Sokolov D., Tsarev F., Shalyto A. Application of Genetic Programming for Generationof Agent Controllers Represented by Automata
  • Gnilomedov I., Nikolenko S. Agent-Based Economic Modeling With Finite State Machines
Наши доклады на конференции "Современные информационные технологии и ИТ-образование" Анатолий Шалыто и Надежда Поликарпова в числе организаторов 4th International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD 2010) (внешняя ссылка: seafood.inf.ethz.ch)

Научные школы СПбГУ ИТМО (внешняя ссылка: faculty.ifmo.ru)

Gurov V. Practical Web Development with Language-Oriented Programming. Выступление на конференции Jfokus 2010 (Стокгольм, январь 2010 г.) (внешняя ссылка: www.jfokus.se)

Архангельский Ю.Б. Из истории клавишной машины "Нева" (PDF)


О ситуации в российской науке
Науку у нас в Новосибирске сохранили, даже в несильно потрепанном виде: лаборатории работают, молодые учатся, защищают диссертации. Одна великая проблема, что молодь (и не только, начали забирать уже 40-50-ти летних), как горячие пирожки расхватывают западные университеты, и тут ничего не поделаешь. Ведь действительно, на те зарплаты, даже с грантами, даже с западными, прожить трудно, а заработать на квартиру совсем нереально, вот и убегают они, талантливые, кто в "бусинес", а чаще на запад. Есть проблема, что с каждым годом выпускники ВУЗов становятся все менее образованными (в целом), и никто особенно в науку идти не хочет (обрекать себя на нищету). Старые, образованные кадры, которые могут научить, еще есть, но и они уходят постепенно, нужно принимать СРОЧНЫЕ меры по "сплаву" квалифицированных кадров и талантливой молодёжи, иначе никак!

Комментарий к материалу http://newsland.ru/News/Detail/id/483178/

P.S. А мы уже меры приняли. http://www.savethebest.ru

У нас приняли доклад на Международный семинар "Семантика, спецификация и верификация программ: теория и приложения", который проходить в Казани 14 и 15 июня 2010 г. в рамаках 5th International Computer Science Symposium in Russia (CSR-2010) (внешняя ссылка: csr2010.antat.ru)

Можно ли надеяться на бюджетное финансирование науки http://www.rg.ru/2010/04/21/bio.html. Мы выиграли грант Российского фонда фундаментальных исследований - очень почетно, но просили 500 тыс.руб. в год, а получил 180 (!?) - грязными. Можно на это жить? Можно одному человеку и очень плохо! Несмотря на то, что мы выиграли и другие гранты, без инициативы "Сохраним в университетах лучших!" ребят не просодержать.

"Spring/Summer Young Researchers' Colloquium on Software Engineering" (SYRCoSE-2010), который проводится Институтом системного программирования РАН 1,2 июня 2010 в Нижнем Новгороде (внешняя ссылка: syrcose.ispras.ru)

Труды этой и предшествующих конференций (внешняя ссылка: syrcose.ispras.ru)

Приняли доклад Акишева И.Р.и Дворкина М.Э.О построении минимальных детерминированных конечных автоматов, распознающих префиксный код заданной мощности на IX Сибирскую научную школу-семинар с международным участием "Компьютерная безопасность и криптография" – SIBECRYPT’10, которая будет проводиться в Тюменском государственном университете 6-11.09.2010 г. (внешняя ссылка: sibecrypt.tsu.ru)

Участие в оргкомитете международной конференции "Fourth International Conference on Software Engineering Approaches For Offshore and Outsourced Development (SEAFOOD) 2010" (внешняя ссылка: seafood.inf.ethz.ch)

II Международная научно-практическая конференция "Объектные системы-2010" (зимняя сессия) (внешняя ссылка: is.ifmo.ru)

Андрей Тихомиров, Ян Малаховски (дипломные проекты) и Павел Маврин (кандидатский проект) - победители конкурса грантов для студентов, аспирантов вузов и академических институтов, расположенных на территории Санкт-Петербурга 2010 г.

Доклад А.Законова, О.Степанова и А.Шалыто GA-based and design by contract approach to test generation for EFSMs на конференции IEEE EAST-WEST DESIGN & TEST SYMPOSIUM 2010 St. Petersburg, Russia, September 17-20, 2010 (внешняя ссылка: www.ewdtest.com)

Пленарный доклад Шалыто А.А. "Автоматное программирование" на конференции "Технические и программные средства систем управления, контроля и измерения" в Институте проблем управления РАН им. В.А. Трапезникова (внешняя ссылка: cmm.ipu.ru)

Победитель конкурса на лучшую магистерскую диссертацию СПбГУ ИТМО 2010 года - Андрей Клебанов. Лауреаты этого конкурса - Михаил Дворкин, Кирилл Егоров и Андрей Законов. Поздравляем! (внешняя ссылка: www.ifmo.ru)

Они будут выступать на конференции, посвященной 60-летию Бертрана Мейра (внешняя ссылка: fose.ethz.ch)

Доклад Чащина Д. А., Шалыто А. А. Распределенная виртуальная лаборатория для обучения генетическим алгоритмам приняли на V Международную научно-практическую конференцию "Современные информационные технологии и ИТ-образование", которая будет проходить в МГУ 8,9.11.2010 г.

Наши доклады на XL научной и учебно-методической конференции СПбГУ ИТМО, проводимой 1–4.02.2011 г., приведены на страницах 8, 11, 12, 14 программы конференции (внешняя ссылка: www.ifmo.ru)

Федор Царев в хорошей компании. Так держать! Программа секции «Технологии распределенных вычислений и компьютерного моделирования в образовании и науке» на конференции Телематика-2011, 23 июня 2011 г. (PDF)

Программа IV сессии научной школы-практикума «Технологии высокопроизводительных вычислений и компьютерного моделирования» (PDF)

Программа работы секции «Автоматное управление, эволюционные алгоритмы, верификация на моделях» на 2-ой Межвузовской научной конференции по проблемам информатики (СПИСОК – 2011) Место проведения – матмех СПбГУ 10-00 29.04.2011 (PDF)

На матмехе СПбГУ будет проходить конференция "Системы Программирования, Интеллектуальные Системы, Обеспечение Качества" (СПИСОК-2012). На сайте конференции приведен шаблон для подачи материалов на конференции. Мы успешно выступили на "Списке-2011" и приглашены участвовать на этой конференции. Наша секция "Автоматное управление, эволюционные алгоритмы, верификация на моделях" (руководитель - А.А. Шалыто), видимо, будет проходить 27.04.2012 г. с 10-00 на матмехе. Желательно, чтобы большинство докладов с III сессии научной школы "Технологии программирования и искусственный интеллект" с конференции молодых ученых НИУ ИТМО (I Всероссийский конгресс молодых ученых) были поданы на "Список".

Саратовский государственный университет им. Н.Г. Чернышевского проводит международную научную конференцию "Компьютерные науки и информационные технологии" им. А.М. Богомолова (http://knit2012.sgu.ru/). Шалыто А.А. - член программного комитета. По поводу подачи докладов обращаться к Ф. Цареву.

Кафедра КТ заняла призовое место на конкурсе кафедр университета (внешняя ссылка: www.ifmo.ru)

Оргкомитет рад сообщить, что доклад Григория Чикишева принят на школу-семинар SIBECRYPT'12 (внешняя ссылка: sibecrypt.tsu.ru)

Доклад Zakonov A., Shalyto A. Generating Test Cases With High Branch Coverage for Web Applications приняли на SYRCoSE 2012 (http://syrcose.ispras.ru/)

Доклад Chivilikhin D., Ulyantsev V. Learning Finite-State Machines with Ant Colony Optimization приняли на конференцию "Eight International Conference on Swarm Intelligence" (ANTS 2012), Брюссель

Доклад Zakonov A., Shalyto A. Towards automated high coverage test generation for Web applications using abstract syntax trees analysis приняли на семинар "Program Semantics, Specification and Verification: Theory and Application" (PSSV 2012)

Программа семинара "Программные семантики, спецификации и верификация (PSSV)" (проводится с совместно с конференцией "Computer Science Simposium (Russia)" 1-2 июля 2012, Нижний Новгород) (внешняя ссылка: pssv-conf.ru)

У наших студентов и аспирантов приняли доклад на "Международную суперкомпьютерную конференцию "Научный сервис в сети интернет". Царев Ф.Н., Александров А.В., Казаков С.В., Мельников С.В., Сергушичев А.А., Федотов П.В. Параллельный алгоритм de novo сборки генома с использованием технологии MapReduce.




© 2002—2024 По техническим вопросам сайта: alexvatyan@gmail.com