Odkazy

Ing. Pavel Váchal, Ph.D. RNDr. Václav Kučera, Ph.D.

Stránky jsou archivovány Národní knihovnou ČR

  • +420 266 053 045
  • csm@csm.cz

Další kontakty »

ČSM: CZ » Archiv

Pozvánka na přednášku - Code verification: How can we trust what we computed?

27. 06. 2025

Česká společnost pro mechaniku a Ústav termomechaniky AV ČR, v. v. i. Vás srdečně zvou na přednášku Code verification: How can we trust what we computed? Přednášku prosloví Prof. Petr Krysl, University of California, San Diego, USA.
Přednáška se koná v pátek 4. července 2025 v 10:00 v přednáškovém sále Ústavu termomechaniky AV ČR, Dolejškova 1402/5, Praha 8, Libeň.

Abstrakt přednášky naleznete zde.