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

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

\objavljenoRevija
   {Y.~Forster, O.~Kammar, S.~Lindley, \crta}
   {On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control}
   {Proc.\ ACM Program.\ Lang.} {1} {2017} {} {art. e13, 29 str.}

\objavljenoRevija
% 1.01: %list {\bf 1}. KAMMAR, Ohad, PRETNAR, Matija. No value restriction is needed for algebraic effects and handlers. {\it J. Funct.\ Programming}, 2017, vol. 27, art. e7, 34 str. $[$COBISS.SI-ID 17984345$]$\\
   {O.~Kammar, \crta}
   {No value restriction is needed for algebraic effects and handlers}
   {J. Funct.\ Programming} {27} {2017} {} {art. e7, 34 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
   {Organizacija}
   {3{3}\urd Conference on the Mathematical Foundations of Programming Semantics}
   {Ljubljana} {} {junij} {2017} 

\organizacija
   {Orgaizacija}
   {7\uth Conference on Algebra and Coalgebra in Computer Science}
   {Ljubljana} {} {junij} {2017} 

\end{skupina} 

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

\begin{skupina}{G}

\konferenca
% 1.12: {\bf 2}. KNIFIC, Tanja, MALOVRH, Tadej, POTO\v{C}NIK, Marko, PRETNAR, Matija, KRKOVI\'{C}, Milica, VODOPIJA, Aljo\v{s}a, PREZELJ-PERMAN, Jasna. Modelling the spread of bluetongue in Slovenia. V: ModAH, Nantes, 14 - 16. June 2017. {\it Abstract book}}. $[$Nantes$]$: ModAH, $[$2017$]$, str. 53. $[$COBISS.SI-ID 4343674$]$\\ 
   {Modelling the spread of bluetongue in Slovenia}
   {Modelling in Animal Health conference - ModAH 2017}
   {Nantes} {Francija} {junij} {2017} 


\end{skupina} 

%--------------------------------------------------------
%  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}
%POZOR: Bibliografija2017.tex > 2017\rac\clani\pretnar.tex 9023/197: Stevilo neopredeljenih zadetkov: 2
%\razno
% Ment: {\bf 3}. KRALJ, Samo{\it . Modul za analizo oddanih re\v{s}itev na spletni storitvi Projekt Tomo : delo diplomskega seminarja}. Ljubljana: $[$S. Kralj$]$, 2017. 26 str., ilustr.  $[$COBISS.SI-ID 18188121$]$\\ 

%\razno
% Ment: %list {\bf 4}. KOPRIVEC, Filip{\it . Uporaba tipov za zagotavljanje pravilnosti programov : delo diplomskega seminarja}. Ljubljana: $[$F. Koprivec$]$, 2017. 25 str.  $[$COBISS.SI-ID 18182233$]$\\ 

%\end{skupina} 

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

