\seminar {Seminar za temelje matematike in teoreti�no \newline ra�unalni�tvo}

Seminar sta vodila Andrej Bauer in Alex Simpson. Obiskovalo ga je 10 do 15 �lanov.
Podatki o seminarju so na: \url{https://www.fmf.uni-lj.si/si/obvestila/agregator/seminar-temelji/}.

\begin{seznam}
%\predavanje {AVTORJI} {NASLOV} {DEL} {DATUM} {TRAJANJE}
\predavanje {Matija Pretnar} {Explicit effect subtyping} {} {9.~1.} {}
\predavanje {Alex Simpson} {Contextual equivalence for algebraic effects under call-by-value, illustrated using combined probability and nondeterminism} {} {18.~1.} {}
\predavanje {Niels Voorneveld} {Behavioural equivalence via modalities for algebraic effects} {} {15.~2.} {}
\predavanje {Andrej Bauer} {An introduction to categorical logic} {} {22.~2.} {}
\predavanje {Andrej Bauer} {Introduction to categorical logic} {2} {8.~3.} {}
\predavanje {Niels van der Weide} {Construction of certain higher-inductive types as colimits} {} {15.~3.} {}
\predavanje {Andrej Bauer} {All metric spaces are separable} {} {22.~3.} {}
\predavanje {Matija Pretnar} {Odstopajo�i obhodi / Quirky traversals} {} {12.~4.} {}
\predavanje {Matija Pretnar} {Prestrezniki algebrajskih u�inkov} {} {9.~5.~} {}
\predavanje {Danel Ahman} {A fibrational view on computational effects} {} {31.~5.} {}
\predavanje {Matteo Mio} {Axiomatisation of Probabilistic Logics} {} {26.~6.} {}
\predavanje {Matija Pretnar} {Logika z lokalnimi algebrajskimi teorijami} {} {1.~8.} {}
\predavanje {Anja Petkovi�} {On computing simultaneous fixed points of monotone piecewise linear functions} {} {13.~9} {}
\predavanje {David Ellerman} {A graph-theoretic algorithm to define any Boolean operation on set partitions} {} {20.~9.} {}
\predavanje {Anja Petkovi�} {On computing simultaneous fixed points of monotone piecewise linear functions} {2} {4.~10.} {}
\predavanje {Danel Ahman} {Directed Containers (or monoids, actions, dependent types, and more)} {} {11.~10.} {}
\predavanje {Zvonko Iljazovi�} {Computable topological type} {} {18.~10.} {}
\predavanje {Alex Simpson} {Synthetic probability theory} {} {25.~10.} {}
\predavanje {Philipp Georg Haselwarter} {Andromeda 2.0} {} {8.~11.} {}
\predavanje {Gavin Bierman} {Future directions for Java} {} {15.~11.} {}
\predavanje {Edward William Ayers} {Human-like automated reasoning} {} {22.~11.} {}
\predavanje {�iga Luk�i�} {Types with local algebraic theories} {} {29.~11.} {}
\predavanje {Gavin Bierman} {The Wonder of Cricket} {} {6.~12.} {}
\predavanje {Alex Simpson} {Programming with Streams of Correlated Random Variables} {} {20.~12} {}
\end{seznam}
