Innopolis University

Университет Иннополис – это первый российский университет, специализирующийся на образовании и научных исследованиях в области современных информационных технологий. Цель Университета Иннополис — стать центром по подготовке высококвалифицированных специалистов, созданию и коммерциализации прорывных технологий для выведения отечественной ИТ-отрасли на качественно новый уровень.

События

AKSES:The Event-B Method: an introduction

Иннополис 29 октября 2015 c 15:00 до 16:00, 691 день назад

There exist different methodologies for developing systems. The number of methodologies has increased over the time thanks to the need of building correct software (specially critical systems). During this talk, I will be presenting a different approach to model systems in a rigorous way. I will be presenting the step-wise refinement method (using Event-B) and its parachute methodology (introduced by J.-R. Abrial). Using this approach, users write an abstract model of a program and define properties over it, and then transform the model into implementation via a series of refinement steps (i.e. adding more details and properties to the system). Along the way, users need to formally prove the correct behaviour of the system. This technique is known as Correctness-by-Construction.

Далее

Иннополис 10 октября 2015, начало в 14:00, 710 дней назад

Дмитрий Калаев - Директор акселерационных и образовательных программ в Фонде развития интернет-инициатив (ФРИИ). В прошлом управляющий партнер посевного фонда RedButton Capital, эксперт ИТ-кластера фонда Сколково, co-основатель проекта GoValley.ru, один из инициаторов и активный участник проекта "Уральский ИТ-кластер", создатель "Клуба Менторов".

Далее

Иннополис 11 сентября 2015 c 15:00 до 17:00, 739 дней назад

Лаборатория Больших Данных и Информационных систем пригласила доктора Андерса из Дании прочитать лекцию, посвященную масшабируемым способам нахождения первых N результатов пространственно-временного запроса.

Далее

Казань с 10:00 25 августа по 18:00 27 августа 2015, 756 дней назад

The Ershov Informatics Conference (the PSI Conference Series, 10th edition) is the premier international forum in Russia for research and applications in computer, software and information sciences. The conference brings together academic and industrial researchers, developers and users to discuss the most recent topics in the field. PSI provides an ideal venue for setting up research collaborations between the rapidly growing Russian informatics community and its international counterparts, as well as between established scientists and younger researchers.

Далее

Иннополис 27 августа 2015 c 16:00 до 17:00, 754 дня назад

The tutorial discusses the lifecycle tuning in order to address the crisis. This is a non-trivial issue. In what way can software engineering principles and practices assist for software development crisis? The tutorial discusses the differences between software project and software product lifecycle

Далее

PSI 2015 tutorials on How to teach IT? Human side of IT-education

Иннополис 27 августа 2015 c 14:00 до 17:00, 754 дня назад

The main goal of this (semi ironically titled) session is to attract attention of colleagues to the problem of our imperfectness. As the first approximation, let us call it “nobody is perfect” problem. We cannot be perfect; we can be better. But who will teach us how?

Далее

Иннополис 27 августа 2015 c 14:00 до 17:00, 754 дня назад

High-throughput DNA sequencing technologies generate gigabytes of sequence data in a single run of a sequencing machine. In this tutorial, we will present some modern algorithmic techniques used for processing these data. After giving a quick introduction to DNA sequencing and main computational tasks behind it, we will first focus on efficient data structures for storing these data, and especially on the so-called FM-index that recently became a very popular tool applied to biosequence analysis

Далее

Иннополис 24 августа 2015 c 14:00 до 17:00, 757 дней назад

This half day tutorial addresses the issue of formal modeling and verification of distributed and concurrent systems based on the recent book Modeling and Analysis of Communicating Systems that appeared in the summer of 2014. The theory in the book is developed with as major guideline how to model and verify real life behaviour

Далее

Иннополис 24 августа 2015 c 10:00 до 13:00, 757 дней назад

Bertrand Meyer received a master degree in engineering from the École Polytechnique in Paris, a second master's degree from Stanford University, and a PhD from the Université de Nancy in Nancy, Meurthe-et-Moselle. He had a technical and managerial career for nine years at Électricité de France, and for three years was on the faculty at the University of California, Santa Barbara

Далее

Иннополис 19 августа 2015 c 11:00 до 18:00, 762 дня назад

Приглашаются представители технологических компаний (HR+IT), с хорошим знанием английского,заинтересованные в привлечении в компанию квалифицированных специалистов в области разработки ПО - уровня тимлидов, техлидов, специалистов по качеству, архитекторов, аналитиков и т д. Порядок участия: Регистрация на TimePad -> Подтверждение организаторами участия на основании данных анкеты -> Получение письма подтверждения с программой мероприятия.

Далее