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

V drugem letu delovanja je je seminar vodil Andrej Bauer.
Obiskovalo ga je  5 do 10 �lanov. Poleg kolegov z IMFM in Fakultete
za matematiko in fiziko smo bili veseli tudi rednega obiska �lanov s
Filozofske fakultete.

\begin{seznam}
\predavanje {Alex Simpson} {The locale of random sequences} {} {15.~2.} {Andreja Bauerja}
\predavanje {Andrej Bauer} {Vlaknenja v logiki} {} {22.~2} {}
\predavanje {Gregor Dolinar} {Neodvisnost Suslinove hipoteze} {1} {1.~3.} {}
\predavanje {Gregor Dolinar} {Neodvisnost Suslinove hipoteze} {2} {8.~3.} {}
\predavanje {Andrej Ule} {Logika in matematika v Wittgensteinovem traktatu} {} {15.~3.} {}
\predavanje {Andrej Ule} {Wittgensteinova filozofija matematike po traktatu} {} {22.~3.} {}
\predavanje {Jure Kalie�nik} {Quantum torus and quantum spaces} {} {29.~3.} {}
\predavanje {Niels Schwartz}{Categories of partially ordered rings} {1} {4.~10.} {}
\predavanje {Niels Schwartz}{Categories of partially ordered rings} {2} {11.~10.} {}
\predavanje {Andrej Bauer}{Na videz nemogo\v{c}i funkcionali} {} {18.~10.} {}
\predavanje {Davorin Le�nik}{Sinteti�na topologija} {1} {25.~10.} {}
\predavanje {Davorin Le�nik}{Sinteti�na topologija} {2} {8.~11.} {}
\predavanje {Davorin Le�nik}{Sinteti�na topologija} {3} {15.~11.} {}
\predavanje {Davorin Le�nik}{Sinteti�na topologija} {4} {22.~11.} {}
\predavanje {Andrej Bauer}{Efektivni topos} {1} {29.~11.} {}
\predavanje {Andrej Bauer}{Efektivni topos} {2} {6.~12.} {}
\predavanje {Andrej Bauer}{Interpretacija logike z realizabilnostjo} {} {13.~12} {}
\end{seznam}
