This year RiSE and LogiCS students are invited to participate in Alpine Verification Meeting 2017 in Visegrád, Hungary. This will be a four-day-event on the topics of formal verification, logics, games, synthesis, artificial intelligence, and decision procedures.
The format features two invited talks per day, student talks, followed by discussion tables, poster sessions, social events, and wellness.
The goal is to increase fruitful collaboration within students and invited speakers.
The meeting is organized by RiSE and Budapest University of Technology and Economics.