\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} 

%\poglavje   
% 
%   {AVTORJI}
%   {NASLOV}
%   {MONOGRAFIJA} {STRANI}
%   {ZALO�BA} {KRAJ} {DRZAVA} {2022} 

%\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
% 1. M.~M.~Besher, J.~Pita Costa, M.~Grobelnik, J.~Brank, L.~Stopar, A.~Bauer. A global COVID-19 observatory, monitoring the pandemics through text mining and visualization. Informatica (Ljubl.). March 2022, vol. 46, no. 1, str. 49-55. ISSN 0350-5596. https://www.informatica.si/index.php/informatica/article/download/3375/1741, DOI: 10.31449/inf.v46i1.3375. [COBISS.SI-ID 107602179]
   {M.~M.~Besher, J.~Pita Costa, M.~Grobelnik, J.~Brank, L.~Stopar, \crta}
   {A global COVID-19 observatory, monitoring the pandemics through text mining and visualization}
   {Informatica (Ljubl.)} {46} {2022} {} {49--5{5}}

\objavljenoRevija
   {\crta, A.~Petkovi� Komel}
   {An extensible equality checking algorithm for dependent type theories}
   {Log.\ Methods Comput.\ Sci.} {18} {2022} {} {iss. 1, art. 17 (42 str.)}

\objavljenoRevija
   {}
   {Instance reducibility and Weihrauch degrees}
   {Log.\ Methods Comput.\ Sci.} {18} {2022} {} {iss. 3, art. 20 (18 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
   {Generalni predsednik organizacijskega odbora}
   {27\uth ACM SIGPLAN International Conference on Functional Programming}
   {Ljubljana} {} {september} {2022} 

\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
   {One syntax to rule them all}
   {vabljeno predavanje}
   {Syntax and Semantics of Type Theories}
   {Stockholm} {�vedska} {maj} {2022}

\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)
% 2. KORENJAK, Ne�a. Curry-Howardova korespondenca : delo diplomskega seminarja. Ljubljana: [N. Korenjak], 2022. 24 str. [COBISS.SI-ID 120035587]
% 3. GOLOB, Ga�per. Preverjanje ravninskosti grafov v Lean : delo diplomskega seminarja. Ljubljana: [G. Golob], 2022. 38 str., ilustr. [COBISS.SI-ID 121263875]
%     {Mentorstvo pri dveh delih diplomskega seminarja (bolonjski �tudij 1. stopnje)} 

%  \end{skupina} 

%   Ni podatkov za to sekcijo

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

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

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

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

