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 […]