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



Главная

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

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

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

English
 Home

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


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

Яndex



   Главная / Новости (версия для печати)


Новости



Новости в формате RSS

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [Все новости]

03.06.2016

На оборонных предприятиях стали проводиться соревнования по программированию. Кроме Кубка АО "НПО "Аврора" по программированию (http://neerc.ifmo.ru/contests/aurora/information/index.html), который в этом году проходит с помощью Университета ИТМО уже в пятый раз, АО "НПО "Марс" с помощью Ульяновского государственного технического университета начал проводить Олимпиаду по программированию (http://www.npomargjs.com/ru/news/ofic_inf/284-2015-12-21/).

24.05.2016

Тренер ИТМО по спортивному программированию получил престижную международную награду (fontanka.ru)

24.05.2016

Печальная карьера – это когда они идут работать в Facebook или в Google

24.05.2016

Пятнадцать лет побед: Андрей Станкевич – обладатель награды ACM ICPC Senior Coach Award (ifmo.ru)

21.05.2016

Шалыто А.А. принял участие с докладом «Или бизнес помогает классным ИТ-коллективам в вузах, или нам всем труба» в круглом столе «Требования к подготовке ИТ-специалиста глазами бизнеса» XIV Всероссийской конференции «Преподавание информационных технологий в Российской Федерации». 20.05.2016, СПб, СПбГУ

12.05.2016

Петербург стал самым привлекательным для трудоустройства IT-специалистов. «Деловой Петербург», 11 мая 2016

28.04.2016

О сохранении талантливой молодежи в российском университете / АНАТОЛИЙ ШАЛЫТО (youtube.com)

23.04.2016

У нас в ИТМО 22.04.2016 была встреча с Олегом Тиньковым. Пришло с 1000 человек. Он очень классно все рассказывал. Но так получилось, что один из студентов (!) помог мне получить микрофон на последний вопрос. Наше обсуждение началось с 47.39 - здесь он неправильно назвал имя своей сотрудницы - моей бывшей студентки Юлии Царевой, и я его поправил. С 48.32 и до конца идет наша беседа https://www.periscope.tv/w/1nAKEwwrEjgJL. После этого он признал мой вопрос лучшим и подписал мне свою книгу, а я подарил ему "Заметки о мотивации" и буклет о нашей кафедре. После этого я стал еще раз убеждать его, что не могут все только забирать у нас ребят, ничего не давая взамен, а кто-то должен и помогать. После этого он пообещал уставить соответствующую стипендию для наших ребят!

23.04.2016

Беседа на тему "А кто-то будет нам помогать или все хотят только забирать?": Анатолий Шалыто и Олег Тиньков. Он пообещал дать нашим стипендию!

19.04.2016

The World Record for the Shortest Math Article: 2 Words (openculture.com)

18.04.2016

Вот какие статьи надо писать (openculture.com)

15.04.2016

Использование автоматов в трейдинге (cs.cornell.edu)

08.04.2016

Студентка Университета ИТМО вошла в десятку победительниц Google Code Jam to I/O for Women (ifmo.ru)

06.04.2016

Соруководитель международной лаборатории "Компьютерные технологии" Университета ИТМО, докт. техн. наук, профессор-исследователь кафедры "Компьютерные технологии" Валерий Вяткин (он также профессор Технического Университета Лулео (Швеция) и Университета Аалто (Финляндия)) прославляет наш университет в Японии.

29.03.2016

С 47 по 50 минуту крик души А. Шалыто в формате видео 360 (youtube.com)

24.03.2016

Social. Science. Technology. Программа мероприятия

22.03.2016

Жизнь продолжается! Совет по повышению конкурентоспособности ведущих университетов определил субсидии вузам – участникам проекта на 2016 год (минобрнауки.рф)

14.03.2016

GECCO-2016 Workshop on Algorithms and Data Structures for Evolutionary Computation (genome.ifmo.ru)

14.03.2016

Ученые придумали новый способ сравнения и анализа метагеномов (ifmo.ru)

26.02.2016

Jetbrains: The unicorn Silicon Valley doesn't like to talk about (movingfulcrum.com)

24.02.2016

П. Кротков и А. Васильев в январе 2016 г. провели обучение студентов Бразилии по спортивному программированию. Вот отзывы об их работе

16.02.2016

Kotlin 1.0 Released: Pragmatic Language for JVM and Android (blog.jetbrains.com)

16.02.2016

Известные выпускники Университета ИТМО

11.02.2016

Обновлен раздел "Фотографии": 2015.02.05. Конференция профессорско-преподавательского состава Университета ИТМО-2016

10.02.2016

Василий Филиппов. Как я изобрёл набор юного химика и попал в журнал Science (secretmag.ru)

09.02.2016

Карпов В.Э. Автоматное программирование и робототехника. 2014

05.02.2016

Марк Петрович Гальперин и его книга "Прыжок кита" (lit.lib.ru)

04.02.2016

Энциклопедия параллельных алгоритмов (algowiki-project.org)

26.01.2016

Максим Буздалов - руководитель Workshop «Algorithms and Data Structures for Evolutionary Computation» на «Genetic and Evolutionary Computation Conference» (GECCO 2016). Denver, USA, July 20-24 2016 (gecco-2016.sigevo.org)

15.01.2016

А.А. Шалыто. Автоматное программирование начинает новую жизнь

15.01.2016

Чему учат на кафедре "Компьютерные технологии" Университета ИТМО (neerc.ifmo.ru)

12.01.2016

Интервью с Максимом Буздаловым в журнале NewTone

11.01.2016

Обновлен раздел "Фотографии":

28.12.2015

Нейронные сети и трансформируют изображения (github.com)

27.12.2015

Обновлен раздел "Фотографии": 2015.12. Чемпионы мира по программированию

27.12.2015

Гальперин М.П. Прыжок кита

26.12.2015

Mark Galperin. Whale jump. Письмо с разрешением на распространение

25.12.2015

О Васе Филиппове пишет "Гардиан"

18.12.2015

Конкуренция на мировом рынке - как это сложно! (kommersant.ru)

17.12.2015

Журнал Science о деятельности Васи Филлипова (sciencemag.org)

17.12.2015

Шалыто А.А. - соруководитель семинара на конференции INDIN-2016

15.12.2015

Buzhinsky I., Kazakov S., Ulyantsev V., Tsarev F., Shalyto A. Modification of the Method of Generation of Control Finite State Machines with Continuous Actions Based on Training Examples. Journal of Computer and Systems Sciences International, 2015, vol. 54, no. 6, pp. 853–865

11.12.2015

Как ректор ИТМО Васильев ради студентов стал Дартом Вейдером (fontanka.ru)

09.12.2015

Обновлен раздел "Фотографии": 2015.12. Так приходит слава

07.12.2015

Васильев В.Н., Парфенов В.Г. Технологии успеха: опыт участия вузов в олимпиадах программистов ACM ICPC

03.12.2015

Видеошар "Eyeball" в израильской армии (youtube.com)

02.12.2015

Денис Свердлов предполагает провести гонки беспилотных автомобилей. Женя Южаков, которой потом работал у Дениса, проводил соответствующее моделирование 13 лет назад. Я предложил Денису собрать команду из известных ему наших выпускников и выиграть соревнования.

30.11.2015

И. Кружилина. Взгляд на ИТМО – небольшой университет, создающий большие ИТ-таланты

27.11.2015

MachineLearning.ru - Профессиональный информационно-аналитический ресурс, посвященный машинному обучению, распознаванию образов и интеллектуальному анализу данных

26.11.2015

Inside ITMO — the Small University Producing Big IT Talent (article.digital-russia.com)

12.11.2015

Google открыла для всех библиотеку машинного обучения TensorFlow (geektimes.ru)

04.11.2015

Обновлен раздел "Фотографии": 2015.10. Сборы в Лионе. 2015

03.11.2015

Обновлен раздел "Фотографии": 2015.10.30. 80 лет кафедре "Автоматика и процессы управления" ЛЭТИ

03.11.2015

Шалыто А.А. Об улучшении ситуации в ИТ-образовании в России

27.10.2015

"Я ни о чем не жалею" (Правила жизни А. Шалыто). Журнал "Мегабайт", №193, октябрь 2015

26.10.2015

Буклет факультета информационных технологий и программирования

24.10.2015

Why do so many great coders (red in TopCoder and Codeforces) like Gennady decide to attend Russian universities instead of highly reputed institutions like MIT, Harvard or Cambridge? (quora.com)

23.10.2015

Петербургские ученые придумали, как заморить рак голодом (kp.ru)

22.10.2015

YotaPhone перестал быть полностью российским и стал на 65% китайским (russianelectronics.ru)

21.10.2015

Владимир Ульянцев и Даниил Чивилихин вышли на защиту (aspirantura.ifmo.ru)

21.10.2015

ОПК завершила испытания комплекса управления роботами (russianelectronics.ru)

19.10.2015

Василий Филиппов снова покоряет мир! (tjournal.ru)

19.10.2015

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

19.10.2015

Рак научились морить голодом (lenta.ru)

19.10.2015

Vincent E., Sergushichev A., Griss T., Gingras M., Samborska B., Ntimbane T., Coelho P., Blagih J., Raissi T., Choiniere L., Bridon G., Loginicheva E., Flynn B., Thomas E., Tavare J., Avizonis D., Pause A., Elder D., Artyomov M., Jones R. Mitochondrial Phosphoenolpyruvate Carboxykinase Regulates Metabolic Adaptation and Enables Glucose - Independent Tumor Growth // Molecular cell. V. 60, Issue 2, pp.195–207, 15 October 2015. DOI:10.1016/j.molcel.2015.08.013. Year Impact Factor: 15.052. Impact Factor: 14.018. SJR: 10.968.

19.10.2015

Виталий Клебан в действии! (russianelectronics.ru)

17.10.2015

Диагноз омбудсмена: почему чиновники и инновации несовместимы (rbc.ru)

17.10.2015

Больше математики: как государство может помочь в подготовке «айтишников» (rbc.ru)

15.10.2015

«Японский Перельман» согласился объяснить главнейшую тайну математики (lenta.ru)

15.10.2015

«Потерянный блокнот» Рамануджана опередил развитие математики на сто лет вперед (lenta.ru)

13.10.2015

Великие компании и компания Никиты Шамгунова MemSQL (wired.com)

08.10.2015

Интересная встреча с интересным человеком :-)

08.10.2015

Грант Шабурова: 50000 рублей гроссмейстерам Codeforces (codeforces.com)

08.10.2015

Реакция на появление сайта "Всемирная школа программирования чемпионов мира из Университета ИТМО":

  • "Круто" (Олег Степанов, соруководитель компании JetBrains).
  • "Классная идея. Бренд должен работать по полной, а у ИТМО бренд в этой области ого-го какой" (Василий Филлиппов, сооснователь компании SPB Software).
  • "Ух, красота какая! Вы молодцы, как обычно" (Женя Куликова, Яндекс).
  • "Круто, молодцы" (Иван Романов, чемпион мира по программирования 2006 г.).
  • "Здорово" (Александр Туркот, экс-руководитель ИТ-направления в Сколково).
  • "Отлично. Хорошо, что смогли реализовать идею, про которую я давно слышал. Супер! Мои поздравления. Казалось бы, произошло некоторое насыщение в России олимпиадным движением, но появляются все новые идеи и проекты. Это не может не радовать!" (Матвей Казаков, третье место на чемпионате мира по программированию 1999, директор по операциям финалов чемпионата мира по программированию по версии ACM).
  • "Круто" (Дима Зевелев, вице-президент Mail.Ru Group).
  • "Nice" (Никита Шамгунов, призер чемпионата мира по программированию 2001 г., сооснователь компании MemSQL).
  • "Ого, все очень серьезно. Дизайн хороший" (Артем Васильев, чемпион мира по программированию 2015 г.).
  • "Я в пятницу встречусь с Ниязом Нигматуллиным в UCLA" (Виктор Шабуров, основатель компании Looksery Inc).

08.10.2015

Другие лица: зачем Snapchat купила российский стартап за $150 млн (forbes.ru)

08.10.2015

Learn to win from champions - Effective training programs to win a high-end programming competitions (wcps.ifmo.ru)

08.10.2015

«Нам нужен далеко не всякий программист» (ucheba.ru)

06.10.2015

Антон Александров - лауреат стипендии Правительства РФ для аспирантов. Поздравляем!

30.09.2015

Сертификаты с конференции GECCO 2015:

28.09.2015

Обновлен раздел "Фотографии": 2015.09.19. Russian Code Cup 2015. Взгляд изнутри

23.09.2015

Вот как играет в настольный теннис чемпион мира... по программированию! (youtube.com)

21.09.2015

Обновлен раздел "Фотографии": 2015.09.19. А.А. Шалыто на Russian Code Cup

20.09.2015

Зажигаю на Russian Code Cup! Блок "Образование и карьера" (it.mail.ru)

17.09.2015

Обновлен раздел "Фотографии": 2015.09.09. Встреча с А.А. Шалыто в "Деловом Клубе журнала "Chief Time". Санкт-Петербург. Ресторан "Дом". Фотографии Юлии Феофановой

12.09.2015

А. Шалыто приглашен на Russian Code Cup (spbit.ru)

08.09.2015

Встреча Делового Клуба ChiefTime: "Как удалось создать в Университете ИТМО систему взращивания команд-чемпионов мира по программированию. Что необходимо для привлечения и удержания молодых талантов. На примере СПбГУ ИТМО"

07.09.2015

Вести 24 и В. Путин о победах студентов ИТМО (youtube.com)

01.09.2015

Президент РФ В.В. Путин первого сентября снова говорил об успехах студентов Университета ИТМО. На этот раз на встрече в образовательном центре "Сириус" в Сочи, организованном по его инициативе для раннего выявления, развития и дальнейшей профессиональной поддержки одаренных детей, проявивших выдающиеся способности в области искусств, спорта, естественнонаучных дисциплин, а также добившихся успеха в техническом творчестве.

01.09.2015

Мотивирую первокурсников Университета ИТМО (ifmo.ru)

01.09.2015

Program Synthesis from Refinement Types by Nadia Polikarpova (research.microsoft.com)

28.08.2015

Gartner назвала самые многообещающие высокие технологии (russianelectronics.ru)

27.08.2015

Обновлен раздел "Фотографии": 2015.08.21. Хельсинки 2015. Награда нашла "героя"

27.08.2015

Одинец В.П. Об истории некоторых математических методов, используемых при принятии управленческих решений: учебное пособие – Сыктывкар: Изд-во СГУ им. Питирима Сорокина, 2015. – 108 с.

26.08.2015

Award presented to Professor Anatoly Shalyto as workshop organizer of 1st IEEE International Workshop on Distributed Intelligent Automation Systems held in conjunction with IEEE ISPA-15, August 20-22, 2015, Helsinki, Finland

15.08.2015

Год в разгаре, а Гена Короткевич уже четыре крупнейших соревнования по спортивному программированию выиграл: Facebook Нaker Cup, Яндекс.Алгоритм, VK Cup (совместно с Ниязом Нигматуллиным), Google Code Jam. Еще в этом году: в сентябре - Russian Code Cup, в ноябре - TopCoder Open.

15.08.2015

Онлайн курсы по математике и программированию (code.stepic.org)

15.08.2015

Хронические пробки в мегаполисах стали выгодным бизнесом (vedomosti.ru)

15.08.2015

Геннадий Короткевич подтвердил звание чемпиона Google Code Jam во второй раз (ifmo.ru)

15.08.2015

Гена Короткевич опять выиграл Google Code Jam! Поздравляем! Павел Маврин - в десятке! (youtube.com)

13.08.2015

Абсолютный чемпион (ifmo.ru)

10.08.2015

Международный семинар по распределенным интеллектуальным системам автоматизации (ifmo.ru)

08.08.2015

Поздравляем! Геннадий Короткевич стал троекратным победителем чемпионата Яндекс.Алгоритм (ifmo.ru)

07.08.2015

Шалыто А.А. - член технического комитета "IEEE Industrial Informatics" (ieee-tcii.org)

05.08.2015

Правила поступления: Университет ИТМО. Интервью с Владимиром Ульянцевым (ucheba.ru)

04.08.2015

Доклады аспирантов Университета ИТМО признаны лучшими на cтуденческой секции конференции GECCO (ifmo.ru)

31.07.2015

Обновлен раздел "Фотографии": 2015.07.26. VK Cup

29.07.2015

Обновлен раздел "Фотографии": 2015.07. Конференция INDIN 2015, Кембридж, Великобритания

29.07.2015

Обновлен раздел "Articles":

29.07.2015

Статья об олимпиадно-образовательной деятельности со ссылкой на работу М. Буздалова

29.07.2015

В 2015 году пятеро из восьми выпускников, подготовивших бакалаврские работы и магистерские диссертации под руководством Максима Буздалова и Арины Буздаловой, стали соавторами статей, принятых на международные конференции, труды которых индексируются в системе Scopus. Трое из четырех магистрантов, защиты которых состоятся в следующем году, также имеют статьи международного уровня.

Выпускники 2015 года:

  • 4539 - Минаев Борис Юрьевич - нет статей
  • 6538 - Архипов Виктор Сергеевич - 2 статьи
  • 6538 - Буланова Нина Сергеевна - 1 статья
  • 6538 - Матвеева Анна Александровна - 1 статья
  • 6539 - Нигматуллин Нияз Габдуллазянович - нет статей
  • 6539 - Петрова Ирина Анатольевна - 6 статей
  • 6538 - Рост Аркадий Юрьевич - нет статей
  • 6539 - Якупов Илья Юрьевич - 2 статьи
Магистранты, выпускающиеся в 2016 году:
  • 5539 - Антипов Денис Сергеевич - 1 статья
  • 5538 - Басин Антон Олегович - нет статей
  • 5539 - Кравцов Никита Олегович - 1 статья
  • 5538 - Миронович Владимир Анатольевич - 2 статьи

27.07.2015

Студенты Университета ИТМО – триумфаторы VK Сup! (ifmo.ru)

20.07.2015

На крупнейшей в мире конференции по эволюционным вычислениям на молодежной секции (аспиранты и студенты) наши - Даниил Чивилихин и Арина Буздалова - заняли второе и третье место, соответственно

20.07.2015

Миронов А.М. Теория вероятностных автоматов. Часть 1

20.07.2015

Паша Маврин - большой начальник (минобрнауки.рф)

20.07.2015

Хочу, чтобы кто-нибудь занялся этим (livejournal.com)

18.07.2015

Выпускница Университета ИТМО получила стипендию ACM-W Scholarship

14.07.2015

Дело Мордвинцева живет и побеждает (instagram.com)

07.07.2015

Обновлен раздел "Фотографии": 2015.07.04. Выпуск кафедры КТ Университета ИТМО 2015

30.06.2015

В.Вяткин и А. Шалыто проводят семинар "Распределенные интеллектуальные системы автоматизации" в рамках симпозиума IEEE, проводимого в Хельсинки

30.06.2015

Обновлен раздел "Фотографии": 2015.06.16. Защита дипломов 2015

29.06.2015

Шалыто А.А. Может быть, при построении определенного класса больших программных систем лед тронулся?

26.06.2015

Обновлен раздел "Фотографии":

24.06.2015

Берем новые рубежи! Ирина Петрова выиграла стипендию ACM-W для поездки на конференцию GECCO 2015

22.06.2015

Обновлен раздел "Фотографии": А. Шалыто, А. Станкевич и В. Парфенов в календаре

22.06.2015

А.А. Шалыто. О реакциях на то, что о нас сказал Президент

22.06.2015

Наш человек в Google Research - выпускник кафедры КТ 2010 года Саша Мордвинцев

18.06.2015

Обновлен раздел "Фотографии": Приглашение А.С. Станкевича на церемонию вручения Государственных премий 2014 года

08.06.2015

У нас приняли доклады на конференции:

  • Buzhinsky I., Pang C., Vyatkin V. Formal Modeling of Testing Software for Cyber-Physical Automation Systems / The 2015 First International Workshop on Distributed Intelligent Automation Systems (DIAS). 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), August 20-22, 2015, Helsinki.
  • Chivilikhin D., Vyatkin V., Shalyto A. Inferring Automata Logic From Manual Control Scenarios: Implementation in Function Blocks / The 2015 First International Workshop on Distributed Intelligent Automation Systems (DIAS). 13th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA-15), August 20-22, 2015, Helsinki.
  • Buzdalov M., Arkhipov V. An Asynchronous Implementation of the Limited Memory CMA-ES: First Results / 21st International Conference on Soft Computing (MENDEL), 2015.
  • Buzdalova A., Bulanova N. Selection of Auxiliary Objectives in Artificial Immune Systems: Initial Explorations / 21st International Conference on Soft Computing (MENDEL), 2015.

07.06.2015

Message from the DIAS 2015 Workshop Chairs

30.05.2015

Обновлен раздел "Фотографии": 2015.05.29. Открытый кубок ОАО "Концерн "НПО "Аврора" по программированию

30.05.2015

Об успехах в спортивном программировании в Университете ИТМО (facebook.com)

27.05.2015

Обновлен раздел "Фотографии": 2015.05.20. Финал чемпионата мира по программированию ACM ICPC 2015

27.05.2015

Обновлен раздел "Фотографии": Так куются будущие победы

27.05.2015

Поздравление от журнала Chief Time

21.05.2015

Студенты петербургского ИТМО победили на Чемпионате мира по командному программированию (rtr.spb.ru)

21.05.2015

ICPC Live Finals (youtube.com)

12.05.2015

Аспирантам кафедры "Компьютерные технологии", обучающимся по приоритетным направлениям модернизации и технологического развития экономики России, Арине Буздаловой и Даниилу Чивилихину назначены стипендии Президента РФ, Владимиру Ульянцеву - Правительства РФ на 2015/16 учебный год. Поздравляем!

08.05.2015

СПбМО: история, воспоминания (mathsoc.spb.ru)

07.05.2015

Обновлен раздел "Фотографии": НПО «Аврора» празднует 70-летие победы

05.05.2015

О работах по биоинформатике в лаборатории «Компьютерные технологии» Университета ИТМО

28.04.2015

В.Н. Васильев о сохранении в университетах лучших (businesspuls.ru)

24.04.2015

67 израильских изобретений, которые изменили мир (itbusinessweek.com)

22.04.2015

Обновлен раздел "Фотографии": 2015.04.09. VI сессия научной школы "Технологии программирования и искусственный интеллект". Университет ИТМО

20.04.2015

Обновлен раздел "Фотографии":

18.04.2015

Подача статей на DIAS Workshop (конференция ISPA 2015)

15.04.2015

У нас приняли доклады на конференции:

  • V. Ulyantsev, M. Melnik. Constructing Parsimonious Hybridization Networks from Multiple Phylogenetic Trees Using a SAT-solver. AlCoB 2015, Mexico City, Mexico, August 4-6, 2015.
  • D. Chivilikhin, A. Shalyto, S. Patil, V. Vyatkin. Reconstruction of Function Block Logic using Metaheuristic Algorithm. INDIN 2015, Cambridge, UK, July 22-24, 2015.
  • I. Buzhinsky, V. Ulyantsev, J. Veijalainen, V. Vyatkin. Evolutionary Approach to Coverage Testing of IEC 61499 Function Block Applications. INDIN 2015, Cambridge, UK, July 22-24, 2015.

30.03.2015

VI сессия научной школы "Технологии программирования и искусственный интеллект" на IV Всероссийском конгрессе молодых ученых. Университет ИТМО. 2015.

28.03.2015

Алексей Сергушичев рассказывает о своей работе (ifmo.ru)

22.03.2015

Университетам поставили "отлично" (rg.ru)

21.03.2015

Abhishek K. Jha, Stanley Ching-Cheng Huang, Alexey Sergushichev, Vicky Lampropoulou, Yulia Ivanova, Ekaterina Loginicheva, Karina Chmielewski, Kelly M. Stewart, Juliet Ashall, Bart Everts, Edward J. Pearce, Edward M. Driggers, Maxim N. Artyomov. Network Integration of Parallel Metabolic and Transcriptional Data Reveals Metabolic Modules that Regulate Macrophage Polarization. Immunity, Volume 42, Issue 3, pp. 419–430, 2015. Cell Press.

18.03.2015

Поздравляем Лешу Сергушичева с большим успехом! (facebook.com)

17.03.2015

Мы тренируем команды Пекинского университета (ifmo.ru)

17.03.2015

Геннадий Короткевич начал побеждать по второму разу. Поздравляем! (ifmo.ru)

17.03.2015

Наши выиграли чемпионат Татарстана по спортивному программированию (icl.ru)

13.03.2015

Статья в Forbes о знакомых

13.03.2015

Компания Devino Telecom, помогающая нам, вошло в число лучших работодателей России (kommersant.ru). Поздравляем!

11.03.2015

Обновлен раздел "Фотографии":

10.03.2015

Применение автоматного программирования в неожиданной области (doc2all.ru)

09.03.2015

Очень рад, что познакомился с Вами на конференции 9th International Conference on Language and Automata Theory and Applications. Глядя на работы Вашей команды, хочется верить, что Computer Science в России все же существует.
С уважением, Пантелеев Павел (Мехмат МГУ).

08.03.2015

Студент третьего курса Геннадий Короткевич – двукратный победитель Facebook Hacker Cup (ifmo.ru)

27.02.2015

Ученые объяснили превосходство искусственного интеллекта в аркадных играх (lenta.ru)

27.02.2015

Switch-технология (энциклопедия "Традиция")

27.02.2015

Анатолий Шалыто о "Заметках" (журнал "Понедельник")

17.02.2015

Обновлен раздел Фотографии: Сотрудники лаборатории «Компьютерные технологии» (фотосессия сотрудников Университета ИТМО 23-24.12.2014)

17.02.2015

В ожидании Терминатора (Санкт-Петербургские ведомости)

16.02.2015

Правильные книги! (ponedelnikmag.com)

14.02.2015

О нас пишут (http://mroovka-framework.blogspot.ru): "My inspirations. I love to program computers. Especially in the way described by this scientist: http://en.wikipedia.org/wiki/Anatoly_Shalyto. Sammy is my another source of inspiration: http://pl.wikipedia.org/wiki/Samuel_Eilenberg. So is David Harel. For his Statemate work: http://en.wikipedia.org/wiki/David_Harel. I do believe that works of these people have fundamental significance for the future trends in programming. Automata scented with algebra, Petri nets are the right ways to program today's systems".

11.02.2015

"Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump_{n,1}. Maxim Buzdalov, Mikhail Kever, Benjamin Doerr.
This is to let you know that your paper submitted to EvoCOP has been nominated for a best paper award. On behalf of the programme chairs, we send our congratulations and best wishes. Awards will be presented at the EvoStar closing ceremony on Friday 10 April just before lunch. We look forward to seeing you in Copenhagen. Could I ask you please to forward this mail to your co-authors. Good luck!
Jennifer Willies, Edinburgh Napier University, Institute for Informatics & Digital Information 10 Colinton Road, Edinburgh EH10 5DT, UK"

07.02.2015

Правильная газета (gazeta.ifmo.ru)

05.02.2015

Балтийский научно-инженерный конкурс проводится с участием Университета ИТМО (Санкт-Петербургские ведомости)

04.02.2015

Обновлен раздел Фотографии: 2015.02.04. Участие А.А. Шалыто в работе жюри "Балтийского научно-технического конкурса"

31.01.2015

Обновлен раздел Фотографии: 2015.01.27. Фрагмент заседания Ученого Совета университета ИТМО

27.01.2015

Награждение «Почетным знаком Святой Татьяны» в Смольном соборе (ifmo.ru)

26.01.2015

Обновлен раздел Фотографии: 2015.01.25. А.А. Шалыто в Смольном соборе награжден Почетным знаком святой Татианы в категории "Наставник молодежи"

25.01.2015

Автоматное программирование продолжает внедряться. Справка о внедрении результатов кандидатской диссертационной работы Большакова Олега Андреевича

23.01.2015

Работа студии Артемия Лебедева в Санкт-Петербурге стоила один рубль, а в Москве 232 миллиона (topspb.tv)

22.01.2015

Мы все еще нужны ETH:
"Dear Maxim,
I hope this Email finds you well. I am writing to you on behalf of the ACM committee, because just as last year the ETH team managed to qualify for the World Finals, and we wanted to ask you whether it would be possible to again have a training week for the team here at ETH. We would be able to cover the travel and accommodation costs of you and the team, and also pay you directly for your efforts with regard to the training week.
Please let me know what you think.
Best regards, Jan"

14.01.2015

В режиме “инкогнито”. Российской компьютерной науке пора выбираться из тени (poisknews.ru)

13.01.2014

Обновлен раздел Фотографии: 2014.12.27. Защита М.А. Лукина

12.01.2015

Видеокурс машинного обучения на русском (youtube.com)

12.01.2015

An unbeatable computer program has finally solved two-player limit Texas hold'em poker (theverge.com)

11.01.2015

Новый компьютер освоил блеф в покере (rg.ru)

10.01.2015

Нияз Нигматуллин и Владимир Ульянцев вывели в финал чемпионата мира команду UCLA (в рейтинге лучших университетов мира на 12 месте)!

"Dear Niyaz and Vladimir,
I enjoyed our discussions when you visited UCLA and I am happy that you trained our students.
Today we got word that:
> Your team from UCLA will advance to the 2015 ACM-ICPC World Finals in Marrakech, Morocco.
This is a wonderful outcome of your visit; we are grateful.
I hope all is well with you.
Best regards,
Jens Palsberg, dean CS department"

08.01.2015

Классное начало Нового Года! Максим Буздалов входит в европейскую элиту по эволюционным вычислениям и ведет за за собой других (даже тех, кто этого и не хочет). Поздравляю и спасибо! (Справка: Benjamin Doerr - Professor for Computer Science Laboratoire d'Informatique Ecole Polytechnique, Senior Researcher for Max-Planck-Institut fur Informatik)

  1. Buzdalov M., Kever M., Doerr B. Upper and Lower Bounds on Unrestricted Black-Box Complexity of Jump_{n,l} // Proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimisation
  2. Antipov D., Buzdalov M., Doerr B. Runtime Analysis of (1+1) Evolutionary Algorithm Controlled with Q-learning using Greedy Exploration Strategy on OneMax+ZeroMax Problem // Proceedings of the 15th European Conference on Evolutionary Computation in Combinatorial Optimisation
Материалы этой конференции публикуются в "Lecture Notes on Computer Science". SJR = 0,31 - "некачественные работы"!

05.01.2015

Сроки (в месяцах) от подачи статьи до ее принятия и выхода в журналах американского математического общества. И это если статья проходит нормально. Примеры по близкой к нам тематике:
1. Algoritmica 7 + 14 = 21
2. Automatica J. IFAK 13 + 6 = 19
3. Discrete Math 12 + 3 = 15
4. Theory Comput Syst. 7 +12 = 19

03.01.2015

10 жителей Иннополиса выбрали мэром экс-гендиректора Yota (cnews.ru)

02.01.2015

Воспитанники школы спортивного программирования ИТМО бьют мировые рекорды (it-weekly.ru)

31.12.2014

IEEE DIAS 2015 - Workshop on Distributed Intelligent Automation Systems

31.12.2014

О TAP TAP Мити Гориловского! (russianelectronics.ru)

24.12.2014

Обновлен раздел Фотографии: 2014.12.22. Защита Максима Буздалова

21.12.2014

Технология разработки алгоритмов и программ "Графит-Флокс"

21.12.2014

Автоматный язык применяется в космосе более 25 лет (old.computerra.ru)

21.12.2014

Язык "ДРАКОН" (ru.wikipedia.org)

17.12.2014

Большаков О.А., Рыбаков А.В. Автоматное моделирование технологических процессов на ПЛК Siemens // Вестник МГТУ «СТАНКИН». 2013. № 4, с. 71–75.

17.12.2014

Шелехов В.И. Язык и технология автоматного программирования // Программная инженерия. 2014. № 4, с. 3-15.

17.12.2014

Автоматное программирование используется в промышленности.
Большаков О.А., Рыбаков А.В. Разработка систем диспетчеризации и управления технологическим процессом на основе прототипа и промежуточного тестирования компонентов разрабатываемой системы // Промышленные АСУ и контроллеры. 2014. № 6, с. 3-7.

17.12.2014

Через 17 лет после выхода книги появились люди, которые не могут жить без автоматного программирования в промышленности.
Большаков О.А., Рыбаков А.В. Автоматное моделирование систем автоматизации с реализацией на ПЛК // Автоматизация в промышленности. Октябрь 2013, с. 61-64.

17.12.2014

Янкин Ю.Ю., Шалыто А.А. Разработка резервированного блока управления электроприводом на основе автоматного подхода // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). C. 146-152.

17.12.2014

Чивилихин Д.С., Ульянцев В.И., Вяткин В.В., Шалыто А.А. Построение автоматных программ по спецификации с помощью муравьиного алгоритма на основе графа мутаций // Научно-технический вестник информационных технологий, механики и оптики. 2014. № 6 (94). С. 98-105.

11.12.2014

Обновлен раздел Фотографии: 2014.12.09. Пресс-конференция в Университете ИТМО

Страницы: [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [Все новости]




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