čtvrtek 16. února 2017

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. 


  • 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

  • Žádné komentáře: