The 9th IOI will take place in Moscow on March 6-8. Participation in this competition is included in the action plan for preparation for the IOI 2016 which will be held in Tatarstan. “The IOI 2016 roadmap foresees weekly lessons, study camps etc. It is i

4 марта 2015

The 9th IOI will take place in Moscow on March 6-8. Participation in this competition is included in the action plan for preparation for the IOI 2016 which will be held in Tatarstan. “The IOI 2016 roadmap foresees weekly lessons, study camps etc. It is i

4 марта 2015

The seminar will take place on March 11-12.

Bertrand Meyer, famous French scientist and Head of the Innopolis Software engineering lab, Manuel Mazzara, his deputy, and Julian Tschannen, AutoProof creator, will conduct the event.

AutoProof is an auto-active verifier for the Eiffel programming language that can prove functional correctness of Eiffel programs annotated with contracts. The goal of this tutorial is to show how to verify Eiffel programs. During the first day, there will be a general overview of Microsoft technologies used in the verification system and the assistance will be provided in installation of the required software. The second day will be devoted to the practical application of AutoProof. To illustrate it, tasks with different degrees of difficulty will be given to the audience.

The tutorial will take place at Innopolis University, lecture room 315. Start at 13:00.