\seminar {Seminar za osnove matematike in teoreti�nega\\
ra�unalni�tva}

Seminar je vodil Andrej Bauer. Obiskovalo ga je 10 do 15 �lanov. Podatki o seminarju so na:
\url{http://www.fmf.uni-lj.si/si/obvestila/agregator/seminar-osnove/}.

\begin{seznam}
\predavanje{Alex Simpson} {Three resolutions of the Banach-Tarski paradox - resolution 3} {} {4.~1.} {}
\predavanje{Ga�per A�man} {Risanje zelo velikih grafov} {} {11.~1.} {}
\predavanje{Ale� Bizjak} {Program za enumeracijo majhnih struktur} {} {11.~1.} {}
\predavanje{Matteo Mio} {The probabilistic modal $\mu$-calculus win independent product} {} {18.~1.} {}
\predavanje{Gordon Plotkin} {Multi-level modelling via AC Stochastic Term Rewriting} {} {22.~3.} {}
\predavanje{Andrej Bauer \& Karin Cvetko-Vah} {Stoneova dualnost za po�evne Boolove algebre} {} {29.~3.} {}
\predavanje{Ganna Kudryavtseva} {Adjunctions between Boolean and skew Boolean algebras} {} {5.~4.} {}
\predavanje{Jo\~{a}o Pita Costa} {A categorical approach to skew lattices} {} {12.~4.} {}
\predavanje{Alex Simpson}{On Proof by Infinite Descent}{}{19.~4.}{}
\predavanje{Matija Pretnar}{Algebrajski u�inki 2.0}{}{3.~5.}{}
\predavanje{Andrej Bauer}{Tipi za eff}{}{10.~5.}{}
\predavanje{Alex Simpson}{From the measure algebra isomorphism theorem to optimal data compression}{}{17. 5.}{}
\predavanje{Andre Nies}{Randomness and computable analysis}{}{17.~5.}{}
\predavanje{Robert Kore�}{Gelfandova dualnost za $C^{*}$-algebre}{}{24.~5.}{}
\predavanje{Jernej Azarija in Nejc Trdin}{Klasi�ni izreki teorije izra�unljivosti ni njihov pomen v programerski praksi}{}{30.~5.}{}
\predavanje{Jaap van Oosten}{Some subtoposes of the effective topos}{}{7.~6.}{}
\predavanje{Steve Awodey}{Homotopy Type Theory}{}{17.~6.}{}
\predavanje{David Ellerman}{Interpreting Quantum Mechanics}{}{8.~9.}{}
\predavanje{Andrej Bauer}{Logika iz geometrije}{}{4.~10.}{}
\predavanje{Matija Pretnar}{Oh ta Coq}{}{11.~10.}{}
\predavanje{Matija Pretnar}{Induktivni tipi v Coqu}{}{18.~10.}{}
\predavanje{Marko Limbek}{Modalna logika}{1}{25.~10.}{}
\predavanje{Marko Limbek}{Modalna logika}{2}{8.~11.}{}
\predavanje{Andrej Bauer}{Homotopska teorija tipov v Coqu}{}{15.~11.}{}
\predavanje{Andrej Bauer}{Homotopske ekvivalence in aksiom o univalentnosti}{}{6.~12.}{}
\predavanje{Andrej Bauer}{Aksiom o univalentnosti}{}{13.~12.}{}
\predavanje{Barak A. Pearlmutter}{Challenging ``The Optimally Hypothesis in Sensory Processing, Non-Psychotic Hallucinations, and 
The Visual Zwicker: Channeling Professor Brian O'Blivion''}{}{19.~12}{}
\end{seznam} 