\clan {Matija Pretnar}

%--------------------------------------------------------
%  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} {2020} 

%\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. LUK�I�, �iga, PRETNAR, Matija. Local algebraic effect theories. Journal of functional programming, ISSN 1469-7653, 2020, vol. 30, art. e13 (27 str.). https://doi.org/10.1017/S0956796819000212, doi: 10.1017/S0956796819000212. [COBISS.SI-ID 53281795],
   {�.~Luk�i�, \crta}
   {Local algebraic effect theories}
   {J. Funct.\ Programming} {30} {2020} {} {art. e13 (27 str.)}

\objavljenoRevija
% 2. Karachalias, Georgios, Pretnar, Matija, Saleh, Amr Hany Shehata, Vanderhallen, Stien, Schrijvers, Tom. Explicit effect subtyping. Journal of functional programming, ISSN 1469-7653, 2020, vol. 30, art. e15 (57 str.). https://doi.org/10.1017/S0956796820000131, doi: 10.1017/S0956796820000131. [COBISS.SI-ID 53285123]
   {G.~Karachalias, \crta, A.~H.~S.~Saleh, S.~Vanderhallen, T.~Schrijvers}
   {Explicit effect subtyping}
   {J. Funct.\ Programming} {30} {2020} {} {art. e15 (57 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} 


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


%   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 doktorskih disertacijah (bolonjski �tudij)
%  1. LUK�I�, �iga. Applications of algebraic effect theories : doctoral thesis. Ljubljana: [�. Luk�i�], 2020. XIII, 174 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=122007. [COBISS.SI-ID 43657475] 
%  Mentor pri magistrskih delih (bolonjski �tudij)
%  2. PERTOT, Ur�a. Knji�nica za samodejno generiranje matemati�nih nalog : magistrsko delo. Ljubljana: [U. Pertot], 2020. IX, 118 str., ilustr. https://repozitorij.uni-lj.si/Dokument.php?id=136449&lang=slv. [COBISS.SI-ID 32764675] 
%  3. ZUPAN�I�, �iga. Prevajanje prestreznikov algebrajskih u�inkov v jezik brez u�inkov : magistrsko delo. Ljubljana: [�. Zupan�i�], 2020. IX, 59 str., ilustr. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=115230. [COBISS.SI-ID 25937155] 
   {Mentorstvo pri eni doktorski disertaciji  in 2 magistrskih delih (bolonjski �tudij)} 

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

