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

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

\smallskip
Zvrstila so se naslednja predavanja:

%\begin{seznam}
%\predavanje {AVTORJI} {NASLOV} {DEL} {DATUM} {TRAJANJE}
%\end{seznam}

\begin{seznam}
\vspace{-4mm}
\predavanje {Sewon Park} 
      {A Dependent Type Theory (under construction) for Multivalued Computation in Computable Analysis} 
      {} {16.~1.} {}
\predavanje {Ugo Dal Lago} 
      {On Type Systems for Termination and Complexity Analysis of Probabilistic Higher-Order Programs} 
      {} {24.~1.} {}
\predavanje {Niels Frits Willem Voorneveld} 
      {Describing Algebraic Effects: Deriving Algebras from Equations} 
      {} {30.~1.} {}
\predavanje {Matija Pretnar} 
      {Asynchronous operations} 
      {} {6.~2.} {}
\predavanje {Katja Ber�i�} 
      {The joy of mathematical research data} 
      {} {24.~2.} {}
\predavanje {Andrej Bauer} 
      {There are no intuitionistic space-filling curves} 
      {} {29.~2.} {}
\predavanje {Guillaume Brunerie} 
      {A general class of dependent type theories} 
      {} {8.~3.} {}
\predavanje {Valery Isaev} 
      {Arend proof assistant - online} 
      {} {30.~4.} {}
\predavanje {Florian Rabe} 
      {MMT: A Foundation-Independent Logical System - online} 
      {} {15.~5.} {}
\predavanje {Brigitte Pientka} 
      {Mechanizing Meta-Theory in Beluga - online} 
      {} {25.~5.} {}
\predavanje {Jon Sterling} 
      {redtt and the future of Cartesian cubical type theory - online} 
      {} {4.~6.} {}
\predavanje {Conor McBride} 
      {Epigram 2: Autopsy, Obituary, Apology - online} 
      {} {11.~6.} {}
\predavanje {Anja Petkovi�} 
      {Equality checking for Finitary type theories - online} 
      {} {18.~6.} {}
\predavanje {William J. Bowman} 
      {Cur: Designing a less devious proof assistant - online} 
      {} {25.~6.} {}
\predavanje {�iga Luk�i�} 
      {Applications of algebraic effect theories (presentation of results of doctoral research) - online} 
      {} {21.~8.} {}
\predavanje {Anders M�rtberg} 
      {Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types - online} 
      {} {10.~9.} {}
\predavanje {Filip Koprivec} 
      {Proving probabilistic programs correct - online} 
      {} {24.~0.} {}
\predavanje {Andrej Bauer} 
      {Effects in the real world - online} 
      {} {7.~10.} {}
\predavanje {Ohad Kammar} 
      {Frex: indexing modulo equations with free extensions - online} 
      {} {15.~10.} {}
\predavanje {Assia Mahboubi} 
      {Machine-Checked Mathematics - online} 
      {} {9.~11.} {}
\predavanje {Jamie Vicary} 
      {Introducing homotopy.io: A proof assistant for geometrical higher category theory - online} 
      {} {24.~11} {}
\end{seznam}
