Spletni seminar o uporabi logike v teoretični računalniški znanosti // Online Seminar on applications of logic in theoretical computer science

Vabimo vas na spletni seminar o uporabi logike v teoretični računalniški znanosti: Pomočnik za dokazovanje Coq v raziskavah in poučevanju: osebna perspektiva Tadeusza Litaka (Univerza v Erlangenu-Nürnbergu). Kdaj?: 12. marca, srečanje bo potekalo od 14.00 do 15.30 Povezava do spletnega…








