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


\objavljenoZbornik
% 3. D.~Ahman,\crta. Runners in action. V: M�LLER, Peter (ur.). Programming languages and systems : 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020 : proceedings. Cham: Springer, cop. 2020. Str. 29-55. Lecture notes in computer science, 12075. ISBN 978-3-030-44913-1, ISBN 978-3-030-44914-8. ISSN 0302-9743. https://doi.org/10.1007/978-3-030-44914-8_2, DOI: 10.1007/978-3-030-44914-8_2. [COBISS.SI-ID 18971481] 
   {D.~Ahman,\crta}
   {Runners in action}
   {29\uth European Symposium on Programming}
   {Dublin} {Irska} {april} {2020} 
   {Programming languages and systems: proceedings (Lecture notes in computer science, 12075)} {29--{5}5} 

\objavljenoZbornik
% 1.\crta, P.~Haselwarter, A.~Petkovi�. Equality checking for general type theories in Andromeda 2. V: BIGATTI, Anna Maria (ur.). Mathematical Software - ICMS 2020 : 7th International Conference, Braunschweig, Germany, July 13-16, 2020 : proceedings. Cham: Springer, cop. 2020. Str. 253-259. Lecture notes in computer science, 12097. ISBN 978-3-030-52199-8, ISBN 978-3-030-52200-1. ISSN 0302-9743. https://doi.org/10.1007/978-3-030-52200-1_25, DOI: 10.1007/978-3-030-52200-1_25. [COBISS.SI-ID 35034115] 
   {\crta, P.~Haselwarter, A.~Petkovi�}
   {Equality checking for general type theories in Andromeda 2}
   {7\uth International Conference on Mathematical Software}
   {Braunschweig} {Nem�ija} {julij} {2020} 
   {Mathematical Software - ICMS 2020: proceedings (Lecture notes in computer science, 12097)} {253--259} 

\objavljenoZbornik
% 2. M.~M.~Besher, J.~Pita Costa,\crta, M.~Grobelnik, J.~Brank, L.~Stopar. Monitoring COVID-19 through text mining and visualization. V: MLADENI�, Dunja (ur.), M.~Grobelnik (ur.). Odkrivanje znanja in podatkovna skladi��a - SiKDD = Data Mining and Data Warehouses - SiKDD : 5. oktober 2020, 5 October, 2020, Ljubljana, Slovenia : Informacijska dru�ba - IS 2020 = Information Society - IS 2020 : zbornik 23. mednarodne multikonference = proceedings of the 23rd international multiconference : zvezek C = volume C. Ljubljana: Institut "Jo�ef Stefan", 2020. Str. 53-56. Informacijska dru�ba. ISBN 978-961-264-192-4, ISBN 978-961-264-193-1. ISSN 2630-371X. http://library.ijs.si/Stacks/Proceedings/InformationSociety/2020/IS2020_Volume_C%20-%20SiKDD.pdf. [COBISS.SI-ID 34515459] 
   {M.~M.~Besher, J.~Pita Costa,\crta, M.~Grobelnik, J.~Brank, L.~Stopar}
   {Monitoring COVID-19 through text mining and visualization}
   {Information Society 2020 � 23\urd International multiconference}
   {Ljubljana} {} {oktober} {2020} 
   {Odkrivanje znanja in podatkovna skladi��a - SiKDD = Data Mining and Data Warehouses - SiKDD} {53--56} 

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

%\begin{skupina}{G}

%\konferenca
% 4.\crta, P.~Haselwarter, A.~Petkovi�. On equality checking for general type theories: Implementation in Andromeda 2. V: EUTYPES-TYPES 2020 : abstracts : Turin, March 2020. 26th International Conference on Types for Proofs and Programs, EUTYPES-TYPES 2020, Turin. [Torino: Universit? di Torino], 2020. 3 str. [54-56]. https://types2020.di.unito.it/abstracts/BookOfAbstractsTYPES2020.pdf. [COBISS.SI-ID 35059203] 
%   {On equality checking for general type theories: Implementation in Andromeda 2}
%   {26\uth International Conference on Types for Proofs and Programs, EUTYPES-TYPES 2020}
%   {Torino} {Italija} {marec} {2020} 

%\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)
% 5. KOSTELEC, Kristjan. Denotacijska semantika PCF : delo diplomskega seminarja. Ljubljana: [K. Kostelec], 2020. 26 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=113690. [COBISS.SI-ID 18974041] 
%   {Mentorstvo pri enem diplomskem delu (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} 

