\seminar {Seminar za osnove matematike in teoreti�nega\\ 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{Miha Habi�}{Turingovi stroji z neskon�nim �asom}{}{7.~1.}{}
\predavanje{Matija Pretnar}{$\lambda$-ra�un}{}{14.~1.}{}
\predavanje{Matija Pretnar}{$\lambda$-ra�un s tipi}{}{18.~2.}{}
\predavanje{Matija Pretnar}{Izpeljava tipov}{1}{25.~2.}{}
\predavanje{Matija Pretnar}{Izpeljava tipov}{2}{11.~3.}{}
\predavanje{Matija Pretnar}{Monade in algebrajski u�inki}{}{25.~3.}{}
\predavanje{Matija Pretnar}{Anatomija programskega jezika Eff}{1}{1.~4.}{}
\predavanje{Matija Pretnar}{Anatomija programskega jezika Eff}{2}{8.~4.}{}
\predavanje{Matija Pretnar}{Anatomija programskega jezika Eff}{3}{15.~4.}{}
\predavanje{Andrej Bauer}{Spomladanski snopi}{}{22.~4.}{}
\predavanje{Andrej Bauer}{Spomladanski snopi iz dveh zornih kotov}{}{14.~5.}{}
\predavanje{�pela �penko}{Snopi v algebri}{}{20.~5.}{}
\predavanje{Urban Jezernik}{�e snopi v algebri}{}{27.~5.}{}
\predavanje{Andrej Bauer}{Formalizacija realnih �tevil}{1}{28.~10.}{}
\predavanje{Christopher A. Stone}{Fixed points, lattices, and data flow analysis}{}{4.~11.}{}
\predavanje{Edward Kmett}{What's a wavelet tree? Why do we care?}{}{12.~11.}{}
\predavanje{Andrej Bauer}{Konstruktivna matematika: kdo jo potrebuje}{}{18.~11.}{}
\predavanje{Andrej Bauer}{Formalizacija realnih �tevil}{2}{25.~11.}{}
\predavanje{Andrej Bauer}{ Kan simplicial sets � what's their problem?}{}{2.~12.}{}
\predavanje{Ivo List}{Optimization using Extended Interval Arithmetic}{}{9.~12.}{}
\predavanje{Bo�tjan Gabrov�ek}{Klasifikacija vozlov v le�astih prostorih}{}{16.~12}{}
\end{seznam}
