Innopolis University

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

События

Екатеринбург 16 апреля 2016, начало в 12:00, 2904 дня назад

Карьерный рост в IT — какой путь выбрать? На этот вопрос подробно ответит руководитель группы разработки в прошлом, а сейчас ведущий преподаватель и научный сотрудник Университета Иннополис Василий Артемьев.

Далее

Иннополис 2 февраля 2016 c 17:00 до 18:00, 2978 дней назад

Collecting, understanding, and managing requirements are critical aspects in all development methods including agile methods as well. Nevertheless, little contemporary data exists for document actual practices of software professionals for software requirements engineering activities in agile environments.

Далее

Иннополис 19 января 2016 c 17:00 до 18:00, 2992 дня назад

On a sample project we will see how Mbeddr IDE implements requirements traceability, textual and graphical representations and formal verification on general ground of language-oriented development and extensible domain-specific languages.

Далее

Иннополис 26 ноября 2015 c 15:00 до 16:00, 3046 дней назад

In the first part a brief overview will be given on Autoproof tool, that is an automated verifier for the Eiffel programming language. It proves functional correctness of Eiffel programs annotated with contracts. In the second part we will discuss Tokeneer project implemented in Eiffel language and proving it with Autoproof tool. Tokeneer is a research work for NSA done in 90-s, that has now been made available to the software development and security communities in an effort to prove that it is possible to develop secure systems rigorously in a cost effective manner. It became some kind of “milestone in the transfer of software verification technology into industrial application”.

Далее

Иннополис 26 ноября 2015 c 14:00 до 15:00, 3046 дней назад

This talk will address the problem of integrating the cyber and the physical world through a comprehensive platform implementing tools for smart devices integration, configuration and management in a Cloud-like fashion, as well as empowering development of novel services. Following a quick introduction on the MDSLab research group, with on-going projects and research directions, the talk will introduce Cloud computing principles, will present mechanisms to interact with the Internet of things and will provide examples of applications to Smart cities and related services.

Далее

Иннополис 12 ноября 2015 c 15:00 до 16:00, 3060 дней назад

The notion of refinement has its origins in the field of state machines. The concept is developed in some techniques including Z and Event-B. Yet, these techniques are not ideal. The talk illustrates by an example how to perform refinement in a contracted object-oriented language. The results show that a programming language may be more suitable for expressing refinement than the classical modeling instruments.

Далее

Иннополис 1 ноября 2015 c 11:00 до 16:30, 3071 день назад

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

Далее

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

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, 3093 дня назад

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

Далее

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

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

Далее

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

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, 3137 дней назад

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

Далее

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

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, 3137 дней назад

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, 3140 дней назад

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, 3140 дней назад

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, 3145 дней назад

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

Далее

Казань 12 августа 2015 c 15:00 до 17:00, 3152 дня назад

Лекция Олега Гузакова, исследователя Emeritus Maven и архитектора системы компании Cinarra Systems, будет посвящена инструменту для сборки Java проектов Maven, о пользе и применении которого часто складывается неправильное представление.

Далее

Москва 23 июня 2015 c 17:00 до 21:00, 3202 дня назад

Лекция Джанкарло Суччи, профессора в области программной инженерии из Университета Иннополис.

Далее

Санкт-Петербург 18 июня 2015 c 16:00 до 19:00, 3207 дней назад

Интересуешься объектно-ориентированным программированием? Мечтаешь самостоятельно придумать язык программирования? Хочешь узнать, как сделать ПО надежным?

Далее