Dragi kolegi,
predstavitev Gašperja Goloba (Preverjanje ravninskosti grafov v Lean) bo v petek, 6. 5. 2022 ob 12:15 in ne ob 13:15, kot je bilo prvotno načrtovano.
Predstavitev Jimmyja Zakeršnika ( Linearna algebra nad podkolobarji) bo ob 20. 5. 2022 ob 14:15.
Lep pozdrav,
Pavle Saksida