×
Študij fizike Študij matematike Raziskave O fakulteti EN
Dogodki Obvestila Imenik Urniki Knjižnica Založba Za sodelavce Iskanje

Jure Taslak: Domenska teorija tipov za končno matematiko (predstavitev doktroske teme)

Datum objave: 25. 5. 2023
Seminar za temelje matematike in teoretično računalništvo
petek
26
maj
Ura:
14.00 - 15.00
Lokacija:
Jadranska 21, 3.07
Zoom povezava

Predstavitev doktorske teme.

čet
30
Nov
Martin Baillon: Talking with trees
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
9
Nov
Gauvain Devillez: Computer-assisted research in extremal graph theory
Seminar za temelje matematike in teoretično računalništvo
10.15 - Jadranska 21, predavalnica 3.07
čet
2
Nov
Andrej Bauer: Instance reducibility and containers
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, predavalnica 3.07
čet
26
Okt
Danel Ahman: An overview of containers and their applications
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, 3.07
tor
29
Avg
Dan Christensen: Manifolds in Homotopy Type Theory
Seminar za temelje matematike in teoretično računalništvo
10.00 - Jadranska 21, učilnica 3.06

Vsa obvestila