RiSE Spring School 2016, April 15-17

Date: Friday, April 15, 2016
Venue: TU Wien, Freihaus, Zeichensaal 3

In collaboration with the LogiCS doctoral college, we’re organizing a spring school on logic and verification:
Dates: April 15 to April 17
Venue: TU Wien, Freihaus, Zeichensaal 3

http://www.forsyte.at/events/love2016

The topics covered are first-order theorem proving, SMT solvers, as
well as synthesis and the verification of distributed algorithms.
Details and abstracts will soon be available on the webpage above.

Posted in Events