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

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

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

\predavanje{Toma� Stepi�nik Perdih} {Nekateri algoritmi in ra�unalni�ki programi za probleme sinteti�ne biologije}{}{14.~1.}{}
\predavanje{Jo\~{a}o Pita Costa} {Towards a topos foundation of persistence}{1}{18.~2.}{}
\predavanje{Vito Janko in Gregor Senica} {Formalizacija realnih �tevil}{}{25.~2.}{}
\predavanje{Kazuto Yoshimura}{Weihrauch lattice is a semantic representation of constructive reverse mathematics}{1}{4.~3.}{}
\predavanje{Kazuto Yoshimura}{Weihrauch lattice is a semantic representation of constructive reverse mathematics}{2}{11.~3.}{}
\predavanje{Jo\~{a}o Pita Costa}{Towards a topos foundation of persistence}{2}{18.~3.}{}
\predavanje{Andrej Bauer}{Impredicative encodings}{}{13.~5.}{}
\predavanje{Jan Jona Javor�ek}{Delavnica iz ra�unskega omre�ja Sling}{}{10.~6.}{}
\predavanje{Svetlana Aleksandrova}{On $\Sigma$-definability}{}{7.~10.}{}
\predavanje{Vladislav Amstislavskiy}{On the elementary theories of lattices of continuous functions}{}{7.~10.}{}
\predavanje{Matija Pretnar}{Izpeljava algebrajskih u�inkov}{1}{14.~10.}{}
\predavanje{Matija Pretnar}{Izpeljava algebrajskih u�inkov}{2}{21.~10.}{}
\predavanje{Andrej Bauer}{Andromedanska teorija tipov}{1}{28.~10.}{}
\predavanje{Andrej Bauer}{Andromedanska teorija tipov}{2}{4.~11.}{}
\predavanje{Andrej Bauer}{Matemati�ni relativizem}{}{11.~11.}{}
\predavanje{Andrej Bauer}{Konstruktivna homotopska teorija}{1}{25.~11.}{}
\predavanje{Andrej Bauer}{Konstruktivna homotopska teorija}{2}{2.~12.}{}
\predavanje{Alex Simpson}{Independence logic and randomness}{}{16.~12}{}
\end{seznam}
