13th Alpine Verification Meeting -- AVM'19

Fakulta informačních technologií VUT pořádá 9. - 11. září spolu s Fakultou informatiky Masarykovy univerzity 13th Alpine Verification Meeting -- AVM'19. Jedná se o setkání zájemců o aktuální výzkum v oblasti automatické verifikace (zejména, ale nejen) z alpských zemí a jejich okolí. Na setkání budou prezentovat své výsledky hlavně doktorandi, ale budou zde také tři zvané přednášky významných odborníků v oblasti: J. Esparza z TU Mnichov, M. Pezze z Universita della Svizzera italiana a Universita degli studi di Milano Bicocca a N. Gorogiannis ze společnosti Facebook. Více informací se dozvíte ZDE.