VORACE workshop

  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. 

Schedule

9:00-10:00 - Josef Urban (CIIRC CVUT Prague) - AI and Theorem Proving (see also the following talk)

10:00-11:00 - Eric Feron (Georgia Tech Atlanta) - TBA

11:30-12:30 - Stefan Ratschan (CS Czech Acad Sci) - Simulation-driven Safety Verification of Dynamical Systems

12:30-14:00 - Lunch break - attendees on their own

14:00-15:00 - Jan Jakubuv (CIIRC CVUT Prague)- BliStrTune: hierarchical invention of theorem proving strategies

15:00-16:00 - Pierre-Loïc Garoche (ONERA Toulouse) - TBA

16:30-17:30 - Thibault Gauthier (Univ Innsbruck) - TacticToe: Learning to Reason with HOL4 Tactics

[VORACE workshop]