\clan {Andrej Bauer}

%--------------------------------------------------------
%  A. objavljene znanstvene monografije
%--------------------------------------------------------


%\begin{skupina}{A}

%\disertacija
%   {NASLOV}
%   {UNIVERZA}
%   {FAKULTETA}
%   {ODDELEK}
%   {KRAJ} {DRZAVA} {LETO} 

%\magisterij
%   {NASLOV}
%   {UNIVERZA}
%   {FAKULTETA}
%   {ODDELEK}
%   {KRAJ} {DRZAVA} {LETO} 

%\monografija
%   {AVTORJI}
%   {NASLOV}
%   {ZALOZBA}
%   {KRAJ} {DRZAVA} {LETO} 

%\end{skupina} 


%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  B. raziskovalni clanki sprejeti v objavo v znanstvenih
%     revijah in v zbornikih konferenc
%--------------------------------------------------------

%\begin{skupina}{B}

%\sprejetoRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA}
%\sprejetoZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 


%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  C. raziskovalni clanki objavljeni v znanstvenih revijah
%     in v zbornikih konferenc
%--------------------------------------------------------

%\begin{skupina}{C}

%\objavljenoRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA} {LETNIK} {LETO} {STEVILKA} {STRANI}

%\objavljenoZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 
%   {ZBORNIK} {STRANI} 

%\end{skupina} 

\begin{skupina}{C}

\objavljenoRevija
   % https://lmcs.episciences.org/5501
   {\crta, Andrew Swan}
   {Every metric space is separable in function re\-a\-li\-za\-bi\-li\-ty}
   {Log.\ Methods Comput.\ Sci.} {15} {2019} {2} {no. 2, art. 14 [7~str.]}

\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  D. urednistvo v znanstvenih revijah in zbornikih
%     znanstvenih konferenc
%--------------------------------------------------------

%\begin{skupina}{D}

%\urednikRevija
%   {OPIS}
%   {REVIJA}
%\urednikZbornik
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 


%    Ni podatkov za to sekcijo

%--------------------------------------------------------
%  E. organizacija mednarodnih in domacih znanstvenih 
%     srecanj
%--------------------------------------------------------

%\begin{skupina}{E}

%\organizacija
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

\begin{skupina}{E}

\organizacija
   % https://drops.dagstuhl.de/opus/volltexte/2019/10237/
   {Soorganizator}
   {Formalization of Mathematics in Type Theory (Dagstuhl Seminar 18341)}
   {Dagstuhl} {Nem�ija} {avgust} {2019} 

\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  F. vabljena predavanja na tujih ustanovah in 
%     mednarodnih konferencah
%--------------------------------------------------------

%\begin{skupina}{F}

%\predavanjeUstanova
%   {NASLOV}
%   {OPIS}
%   {USTANOVA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO}
%\predavanjeKonferenca
%   {NASLOV}
%   {OPIS}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

\begin{skupina}{F}

\predavanjeKonferenca
  {Spartan Martin-L\"{o}f Type Theory}
  {vabljeno predavanje}
  {School and Workshop on Univalent Mathematics}
  {Birmingham} {Velika Britanija} {april} {2019} 

\predavanjeKonferenca
  {Andromeda}
  {vabljeno predavanje}
  {School and Workshop on Univalent Mathematics}
  {Birmingham} {Velika Britanija} {april} {2019} 

\predavanjeKonferenca
  {Derivations as computations}
  {plenarno vabljeno predavanje}
  {24\uth ACM SIGPLAN International Conference on Functional Programming -- ICFP 2019}
  {Berlin} {Nem�ija} {avgust} {2019} 


\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  G. aktivne udelezbe na mednarodnih in domacih
%     konferencah
%--------------------------------------------------------

%\begin{skupina}{G}

%\konferenca
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 



%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  H. strokovni clanki
%--------------------------------------------------------

%\begin{skupina}{H}

%\clanekRevija
%   {AVTORJI}
%   {NASLOV}
%   {REVIJA} {LETNIK} {LETO} {STEVILKA} {STRANI}
%\clanekZbornik
%   {AVTORJI}
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO}
%   {ZBORNIK} {STRANI} 

%\end{skupina} 


%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  I. razno
%--------------------------------------------------------

%\begin{skupina}{I}

%\razno
%   {OPIS} 

%  \end{skupina} 

%\begin{skupina}{I}

%\razno
% Mentor pri diplomskih delih (bolonjski �tudij 1. stopnje)
% 1. SLIVNIK, Tadej. K�nigova lema in Kleenejevo drevo : delo diplomskega seminarja. Ljubljana: [T. Slivnik], 2019. 25 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=106821. [COBISS.SI-ID 18602585] 
%   {Mentorstvo pri enem delu diplomskega seminarja (bolonjski �tudij)} 

%\end{skupina} 

%   Ni podatkov za to sekcijo

%--------------------------------------------------------
%  tuji gosti
%--------------------------------------------------------

%\begin{seznam}
%\gost {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO} {POVABILO}
%\end{seznam} 

%\begin{seznam}
%\gost {Ohad Kammar} {1 teden} {University of Edinburgh} {Edinburgh} {Velika Britanija} {februar} {2019} {Andreja Bauerja}
%\gost {Simona Ka�terovi�} {2 tedna} {Univerza v Novem Sadu} {Novi Sad} {Srbija} {marec} {2019} {Andreja Bauerja}
%\gost {Paul Potgieter} {2 tedna} {University of South Africa} {Pretoria} {Ju�noafri�ka republika} {oktober} {2019} {Andreja Bauerja}
%\end{seznam} 

%--------------------------------------------------------
%  gostovanja
%--------------------------------------------------------

%\begin{seznam}
%\gostovanje {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO}
%\end{seznam} 
%\gostovanje {Andrej Bauer} {1 teden} {University of Edinburgh} {Edinburgh} {Zdru\v{z}eno kraljestvo} {februar} {2019}
%\gostovanje {Andrej Bauer} {2 tedna} {Univerza v Novem Sadu} {Novi Sad} {Srbija} {marec} {2019}
%\gostovanje {Paul Potgieter} {2 tedna} {University of South Africa} {Pretoria} {Ju\v{z}noafri\v{s}ka republika} {oktober} {2019}


