Summer Retreat 2018

Poster for Summer Retreat 2018

The VMI Summer Retreat is back! This time, in awe-inspiring Fiesch, Switzerland. We are looking forward to great scientific exchange, networking and socializing!

When and where?

12th (Thursday) to either 14th (Saturday) or 15th (Sunday) of July 2018. This year, participants can individually choose to extend the three day retreat to four days. We will stay at Fiesch, a small town in the southern Swiss canton of Valais. This location allows for a wide range of activities, ranging from strolls in the nearby nature park Binntal and small Swiss mountain villages, to mineral excursions, hot springs with an alpine view, and hikes in the Aletsch arena, providing the best views on Europe’s highest peaks and largest glacier. Our accommodation and venue for the scientific program is the Sport Resort Fiesch.

Read more & Sign up

VMI & VMITET Career Talk


Our guest is Hermann Lehner. Do you wonder what happend in his career since graduation? How is life in a small company? How was the transition from academia to industry? Why did he decide to return to D-INFK? Hermann will tell us the answers to these and many more questions at the next VMI & VMITET career talk. Hermann completed his PhD in formal software verification in 2011 in Peter Müller’s group. Afterwards, he worked for some years as a software engineer at incentage, a small company with focus on middleware for banks and financial monitoring. In 2016, he returned to D-INFK as a lecturer. First, Hermann will tell us about his career since graduation, and then, you will have the opportunity to ask him anything you want to know. This part of the evening will take up to one hour. Finally, we conclude this career talk with a nice apéro and some nice drinks.

VMI goes Sledding

When and where?

Saturday, 17th of February, 2018 at Schlittelbahn Preda Bergün
We will gather at 8am at Zurich HB and come back to the same place around 10pm.

Game Night


Join us for some games. We will play some party games like one night werewolves, codenames or avalon. We will also organize some food and drinks.