Katedra Logiki i Metodologii Nauk UŁ zaprasza na wykład: A Gentle Introduction to Formalised Proof-Theory in Coq, który odbędzie się w dniu 08 grudnia 2022 r. (czwartek) w sali E o godzinie 10.00. Wykład wygłosi Rajev Gore, znany specjalista z zakresu teorii dowodu i automatycznej dedukcji.