Sales Ended

Event Information

Share this event

Date and Time

Location

Location

Hotel Retter

Pöllauberg 88

8225 Pöllauberg

Austria

View Map

Friends Who Are Going
Event description

Description

RiSE workshop is a 3 1/2 days (Sep 26-29) event on the topics of formal verification, games, synthesis, and decision procedures. The format is: two invited talks per day, followed by discussion tables, and poster sessions. The goal is to increase fruitful collaboration within RiSE and with our dear invited speakers.

More info at arise.or.at/rise-workshop-2016/

Share with friends

Date and Time

Location

Hotel Retter

Pöllauberg 88

8225 Pöllauberg

Austria

View Map

Save This Event

Event Saved