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

☰ Meni

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 prenosa na YouTube:

https://www.youtube.com/watch?v=4SWMpKyHmM4

Več podrobnosti:

https://www8.cs.fau.de/ext/litak/gitpipe/CV_combined.pdf

---

We cordially invite you to the online Seminar on applications of logic in theoretical computer science: The Coq proof assistant in research and teaching: a personal perspective by Tadeusz Litak (University of Erlangen–Nuremberg).

When ?: March 12th, the meeting will take place from 2:00 p.m. to 3:30 p.m

About the Lecturer: Master of Philosophy  (Jagiellonian University), Ph.D. in Information Science (Japan Advanced Institute of Science and Technology), Habilitation in Computer Science (FAU Erlangen-Nürnberg)

The link to the online transmission on youtube:

https://www.youtube.com/watch?v=4SWMpKyHmM4

More details:

https://www8.cs.fau.de/ext/litak/gitpipe/CV_combined.pdf