Presentation of Idris, a Programing language with dependent types

I will present the idris Programing language and it's features specifically in the context of verified software for about 30 minutes. The rest of the time is dedicated to getting to know each other and create new contacts in the community.