Upcoming sessions:


Workshop in York, UK hosted by http://www.cs.york.ac.uk/sefm2015/ in September 2015.

Details will appear soon on the page.

· Workshop topic: Verification of Self-* Systems


Past sessions  

Local workshop and extended training session for students and researcher in March 2015

Dates: 11-12 of March

Place: Innopolis University, room 315

Participants: all students and those who interested in the topic are invited

Invited speaker: Julian Tschannen

Topic: Automatic verification of software systems with hands-on session (Autoproof)

AutoProof is a verifier for the Eiffel programming language developed at ETH Zürich.

The tool takes an Eiffel program - annotated with contracts (i.e. executable pre-/postconditions,class invariants, intermediate assertions) - and automatically attempts to verify the correctness of the program with respect to its contracts. The goal of the workshop held in Kazan on 11th and 12th of March 2015 is showing how to verify Eiffel programs with AutoProof through hands-on exercises.

The first day will give an overview of the Microsoft technologies on which the verifier is built on, and will provide assistance for tools installation. The second day will be a crash course on the use of AutoProof with hand-on session including exercises of increasing complexity.



On February 3 and 4, 2015, a seminar on Software Verification was held at the IU’s Software Engineering Lab. IU’s undergraduate students, PhD students and researchers of the Lab, including the Head of the Lab Prof. Bertand Meyer took part in the seminar.

The participants discussed Lab’s research areas, such as alias calculus and automatic deadlock detection. The SE lab research focused on building a development environment allowing programmers to verify their software as they go. The base technology is Eiffel, EiffelStudio and the EVE environment.

This is the second workshop organized by SE lab in order to choose the best candidature for the lab and to share key ideas on main lab’s research fields. This time the geography of involved participants is wider than last time, so that candidates will come from Egypt, Libya, France and Kazakhstan.

Main participants were prof. Bertrand Meyer ,prof. Manuel Mazzara, prof. Salvatore Distefano, invited prof. Nicolay Shilov and the rest of the SE lab team

Our participants will gave their research talk on Debugging Support for Message-passing Based Concurrent Software and AST traversal and analysis in EVE.


On November 25 and 26, 2014, a seminar on Software Verification was held at the IU’s Software Engineering Lab. IU’s undergraduate students, PhD students and researchers of the Lab, including the Head of the Lab Prof. Bertand Meyer took part in the seminar.

The participants discussed Lab’s research areas, such as alias calculus and automatic deadlock detection. The SE lab research will focus on building a development environment allowing programmers to verify their software as they go. The base technology is Eiffel, EiffelStudio and the EVE environment.  

Сайт находится в технической разработке