Last VORACE workshop
(Verified fast optimization for embedded control)
20 February 2017
Charles Square Campus of the Czech Technical University in Prague, Czech Republic
The workshop, organized by Didier Henrion and Josef Urban aims at reporting recent achievements in formal verification methods of computer science, with application in theorem proving and optimization of dynamical systems.
The workshop takes place on Monday 20 February 2017 in room 14, building E (ground floor on your right hand side when entering the building) on the Charles Square Campus of the Czech Technical University in Prague.