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.