\seminar {Seminar za temelje matematike in teoreti�no ra\-�u\-nal\-ni�\-tvo}

Seminar je vodil Andrej Bauer. V povpre�ju ga je obiskovalo 10 �lanov.
Obvestila o seminarju so na 
\url{https://www.fmf.uni-lj.si/si/obvestila/agregator/seminar-temelji/}.

%\begin{seznam}
%\predavanje {AVTORJI} {NASLOV} {DEL} {DATUM} {TRAJANJE}
%\end{seznam}
\begin{seznam}
\predavanje {Anja Petkovi�} {Conference report -- POPL 2019} {} {31.~1.} {}
\predavanje {Ohad Kammar} {A domain theory for statistical probabilistic programming} {} {14.~2.} {}
\predavanje {Niels Voorneveld} {PIHOC workshop report} {} {7.~3.} {}
\predavanje {Andrej Bauer} {Ali bi lahko realna �tevila bila �tevna?} {} {14.~3.} {}
\predavanje {Danel Ahman} {Comodels as a gateway for interacting with the external world} {} {21.~3.} {}
\predavanje {Simona Ka�terovi�} {Probabilistic reasoning about typed lambda terms} {} {28.~3.} {}
\predavanje {Danel Ahman} {Shonan Meeting trip report} {} {11.~4.} {}
\predavanje {Niels Voorneveld} {Quantitative Logics for Equivalence of Effectful Programs} {} {18.~4.} {}
\predavanje {�iga Sajovic} {Operational Calculus for Differentiable Programming} {} {25.~4.} {}
\predavanje {Andrej Bauer} {Coop} {} {16.~ 5.} {}
\predavanje {Miha Habi�} {The generic multiverse, amalgamability, and blockchains} {} {23.~5.} {}
\predavanje {Florian Rabe} {Defining Formal Systems in MMT} {} {13.~6.} {}
\predavanje {Egbert Rijke} {Group theory in univalent mathematics} {} {27~6.} {}
\predavanje {Egbert Rijke} {Localizations in Homotopy Type Theory} {} {19.~9.} {}
\predavanje {Egbert Rijke} {Localizations in Homotopy Type Theory} {2} {26.~9.} {}
\predavanje {Egbert Rijke} {Localizations in Homotopy Type Theory} {3} {3.~10.} {}
\predavanje {Egbert Rijke} {Localizations in Homotopy Type Theory} {4} {10.~10.} {}
\predavanje {Davorin Le�nik} {Haar measure in synthetic topology} {} {17.~10.} {}
\predavanje {Davorin Le�nik} {Haar measure in synthetic topology (Part 2)} {2} {24.~10.} {}
\predavanje {Paul Potgieter} {The Fox-Lov{\'a}sz-Zhao algorithm for weak graph regularity} {} {29.~10.} {}
\predavanje {Danel Ahman} {Runners in action} {} {7.~11.} {}
\predavanje {Alex Simpson} {Programming with streams of interdependent random variables: Language definition} {} {14.~11.} {}
\predavanje {Alex Simpson} {Programming with streams of interdependent random variables: Operational semantics} {} {21 .~11.} {}
\predavanje {Alex Simpson} {Programming with streams of interdependent random variables: Denotational semantics} {} {28 .~11.} {}
\predavanje {Matja� Leonardis} {Can probability really help us go beyond deductive logic?} {} {5.~12} {}
\end{seznam}
