\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
   {}
   {An injection from the Baire space to natural numbers}
   {Math.\ Structures Comput.\ Sci.} {25} {2015} {7} {1484--1489}

\objavljenoRevija
   {\crta, M.~Pretnar}
   {Programming with algebraic effects and handlers}
   {J. Log.\ Algebr.\ Methods Program.} {84} {2015} {1} {108--123}

\end{skupina} 

%--------------------------------------------------------
%  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
   {The troublesome reflection rule}
   {vabljeno plenarno predavanje}
   {21\ust In\-ter\-na\-ti\-o\-nal Conference on Types for Proofs and Programs, TYPES 2015}
   {Talin} {Estonija} {maj} {2015} 

\predavanjeKonferenca
   {Creativity and Initiative in Teaching with Computers}
   {vabljeno plenarno predavanje}
   {40\uth International Conference on Improving University Teaching}
   {Ljubljana} {} {julij} {2015} 

\predavanjeKonferenca
   {The canonicity of point-free topology}
   {vabljeno predavanje}
   {5\uth Work\-shop on Formal Topology: Spreads and Choice Sequences}
   {Stockholm} {�ved\-ska} {junij} {2015} 

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

% \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
   {Mentorstvo pri dveh magistrskih in enem diplomskem delu.} 

\end{skupina} 

%\begin{skupina}{I}
%POZOR: Bibliografija2015.tex > 2015\rac\clani\bauer.tex 583/209: Stevilo neopredeljenih zadetkov: 3

%\razno
% Ment: {\bf 2}. KOLE\v{Z}NIK, Marko{\it Grafi\v{c}ni uporabni\v{s}ki vmesnik za Agdo : magistrsko delo}. Ljubljana: 
%$[$M. Kole\v{z}nik$]$, 2015. IX, 55 str. $[$COBISS.SI-ID 17550937$]$\\ 

%\razno
% Ment: %list {\bf 3}. BEZLAJ, Karmen{\it Uporaba problema nahrbtnika pri na\v{c}rtovanju testov programske 
%opreme : magistrsko delo}. Ljubljana: $[$K. Bezlaj$]$, 2015. III, 52 str. $[$COBISS.SI-ID 17554521$]$\\ 

%\razno
% Ment: {\bf 4}. PIRJEVEC, Lara{\it Osnove modalne logike : diplomsko delo}. Ljubljana: $[$L. Pirjevec$]$, 2015. 
%31 str. $[$COBISS.SI-ID 10681417$]$\\ 

%\end{skupina} 

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

%\begin{seznam}
%\gost {Pierre-Marie P{\'e}drot, } {2 tedna} {Universit� Paris Diderot} {Pariz} {Francija} {april} {2015} {Andreja Bauerja}
%\gost {Tom Schrivers} {1 teden} {Katholieke Universiteit Leuven} {} {Belgija} {maj} {2015} {Andreja Bauerja}
%\gost {Vladimir Voevodsky} {1 mesec} {Institute for Advanced Study} {Princeton} {ZDA} {junij} {2015} {Andreja Bauerja}
%\gost {Ohad Kammar} {1 teden} {Cambridge University} {Cambridge} {Velika Britanija} {avgust} {2015} {Andreja Bauerja}
%\gost {Niel Ghan} {1 teden} {University of Strathclyde} {Glasgow} {Velika Britanija} {september} {2015} {Andreja Bauerja}
%\gost {Jeff Egger} {1 teden} {Dalhousie University} {Halifax} {Kanada} {november} {2015} {Andreja Bauerja}
%\gost {David Schrittesser} {1 teden} {K{\o}benhavns Universitet} {K�benhavn} {Danska} {november} {2015} {Andreja Bauerja}
%\gost {Burak Ekici} {1 teden} {Universit� de Grenoble} {} {Francija} {november} {2015} {Andreja Bauerja}
%\gost {Noam Zeilberger} {1 teden} {Institut national de recherche en informatique et en automatique (INRIA)} {Pariz} 
%      {Francija} {december} {2015} {Andreja Bauerja}
%\end{seznam} 

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

%\begin{seznam}
%\gostovanje {Andrej Bauer} {1 mesec} {Preuves, Programmes et Syst\`{e}mes, Universit� Paris Diderot} {Pariz} 
%            {Francija} {september} {2015}
%\end{seznam} 

