Innopolis University

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

События

Иннополис с 10:00 19 мая по 19:00 20 мая, позавчера

Хакатон “Гадание на картах” – насыщенные два дня, посвященные одному из самых перспективных направлений - геоинформационные технологии.

Далее

Иннополис с 9:00 3 марта по 20:00 4 марта, 79 дней назад

Хакатон “Гадание на картах” – насыщенные два дня, посвященные одному из самых перспективных направлений - геоинформационные технологии.

Далее

Иннополис 27 апреля 2017 c 17:30 до 19:00, 389 дней назад

Евгений Черешнев  CEO&Founder Biolink Technologies, визионер, эксперт в области интернет-технологий, Big Data, privacy&identity management, BionicMan Евгений раскроет нам несколько увлекательных тем: 1) Интернет вещей глазами подключенного человека: эксперимент с биочипом

Далее

Иннополис 17 августа 2016 c 9:00 до 9:30, 642 дня назад

17 августа Университет Иннополис посетит генеральный директор ПАО «ВымпелКом» (Билайн) Михаил Юрьевич Слободин. Он является обладателем ряда государственных и профессиональных наград. Михаил Юрьевич — заслуженный работник ЕЭС России, член-корреспондент Российской инженерной академии

Далее

Новосибирск 11 июня 2016, начало в 13:00, 709 дней назад

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

Далее

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

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

Далее

AKSES:An Empirical Study on the Requirements Engineering Practices for Agile Software Development

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

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.

Далее

AKSES: DSL-based binding of requirements, code and verification. Mbeddr example.

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

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.

Далее

AKSES:Autoproof and Tokeneer project

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

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

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.

Далее

AKSES: Refinement in Object-Oriented Programming

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

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

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

Далее

AKSES:The Event-B Method: an introduction

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

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

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

Далее

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

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

Далее

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

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

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

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

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, 1001 день назад

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

Далее