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

Seminar sta vodila Andrej Bauer in Alex Simpson. 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{Ganna Kudryavtseva in Primo\v{z} \v{S}kraba} {Filtered functors and internal actions related to 
           inverse semigroups}{}{3.~3.}{}
\predavanje{Ganna Kudryavtseva in Primo\v{z} \v{S}kraba} {Filtered functors and internal actions related to 
           inverse semigroups}{2}{10.~3.}{}
\predavanje{Alex Simpson} {Modalities of effectful computation}{}{17.~3.}{}
\predavanje{Andrej Bauer} {Implementacija teorije tipov s pravilom refleksije}{}{31.3.}{}
\predavanje{Pierre-Marie P{\'e}drot} {Can Dialectica Break Bricks?}{}{13.~4.}{}
\predavanje{Matija Pretnar} {Kako za tiso\v{c}krat pohitrimo Eff}{}{21.~4.}{}
\predavanje{Tom Schrijvers} {GADTs Meet their Match}{}{26.~5.}{}
\predavanje{Ohad Kammar} {A denotational semantics for Hindley-Milner polymorphism}{}{25.~8.}{}
\predavanje{David Ellerman} {The Logic of Partitions}{}{8.~9.}{}
\predavanje{Neil Ghani} {Towards Higher Dimensional Parametricity}{}{8.~9.}{}
\predavanje{Alex Simpson} {Polymorphic lambda-calculus}{}{20.~10.}{}
\predavanje{Fr{\'e}d{\'e}ric Bour, Philipp Haselwarter} {Error-tolerant parsing with Menhir}{}{27.~10.}{}
\predavanje{Alex Simpson} {Relational parametricity for polymorphic lambda-calculus}{}{3.~11.}{}
\predavanje{David Schrittesser} {How complex must a set be in order to be non-measurable?}{}{6.~11.}{}
\predavanje{Burak Ekici} {Relative Hilbert-Post completeness for exceptions}{}{10.~11.}{}
\predavanje{Jeff Egger} {On the social life of generalised Hilbert objects}{}{17.~11.}{}
\predavanje{Andrej Bauer} {Domain theory for real number computation}{}{24.~11.}{}
\predavanje{Andrej Bauer} {Domain Theory for Real number computation 2}{}{1.~12.}{}
\predavanje{Niels Vorneeveld} {Representability in partial combinatory algebras}{}{8.~12.}{}
\predavanje{Noam Zeilberger} {Connections between lambda calculus and graphs on surfaces}{}{15.~12.}{}
\predavanje{Marco Paviotti} {Synthetic Guarded Domain Theory: Recursion in Guarded Recursion}{}{22.~12}{}
\end{seznam}
\vfill