Proběhl seminář Towards GPU-accelerated automated reasoning

V pátek 15. listopadu jsme spolu s Dr. Martinem Bergerem z univerzity v Sussexu zkoumali budoucnost automatizovaného uvažování a výhody akcelerace pomocí GPU. Seminář KIZI Towards GPU-accelerated automated reasoning proběhl úspěšně na půdě fakulty a byl současně streamován přes Zoom. Po inspirativním vystoupení následovala diskuze, která přinesla mnoho zajímavých podnětů.

Děkujeme všem zúčastněným a těšíme se na další setkání.