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

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


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

\begin{skupina}{F}

\predavanjeUstanova
   {Introduction to Homotopy Type Theory}
   {Spring School on Homotopy Type Theory}
   {Ecole de Printemps d'Informatique Th�orique}
   {online} {Francija} {april} {2021}

\predavanjeKonferenca
% 3.16 Vabljeno predavanje na konferenci brez natisa
% 3. BAUER, Andrej, 8th European Congress of Mthematics, 20-26 June 2021, Portoro�, Slovenia. The dawn of formalized mathematics : Portoro�, 24. 6. 2021. [COBISS.SI-ID 73669379]
   {The dawn of formalized mathematics}
   {vabljeno predavanje}
   {8\uth European Congress of Mathematics}
   {Portoro�} {} {junij} {2021}

\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 Objavljeni povzetek znanstvenega prispevka na konferenci
% 1. BAUER, Andrej, AHMAN, Danel. The real world cannot be handled. V: AHMAN, Danel (ur.), et al. Scalable handling of effects : Report from Dagstuhl Seminar 21292. Wadern: Schloss Dagstuhl, Leibniz-Zentrum f�r Informatik GmbH, 2021. Str. 60. Dagstuhl reports, Vol. 11, iss. 6 (2021). ISSN 2192-5283. https://drops.dagstuhl.de/opus/volltexte/2021/15580/pdf/dagrep_v011_i006_p054_21292.pdf. [COBISS.SI-ID 87829763]
   {The real world cannot be handled}
   {Dagstuhl Seminar 21292: Scalable Handling of Effects}
   {Schloss Dagstuhl} {Nem�ija} {julij} {2021} 

\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)
% 4. HASELWARTER, Philipp Georg. Effective metatheory for type theory : PhD thesis. Ljubljana: [P. G. Haselwarter], 2021. 199 str. [COBISS.SI-ID 94707203]
% 5. PETKOVI� KOMEL, Anja. Meta-analysis of type theories with an application to the design of formal proofs : doctoral thesis. Ljubljana: [A. Petkovi� Komel], 2021. [XVI, 178] str., ilustr. [COBISS.SI-ID 91931395]
% Mentor pri magistrskih delih (bolonjski �tudij)
% 6. TASLAK, Jure. Algebrajska in regularna kategorna logika : magistrsko delo. Ljubljana: [J. Teslak], 2021. II, 84 str. https://repozitorij.uni-lj.si/IzpisGradiva.php?id=124900. [COBISS.SI-ID 52987395]
   {Mentorstvo pri dveh doktorskih disertacijah in enem magistrskem delu (bolonjski �tudij)} 

\end{skupina} 

%   Ni podatkov za to sekcijo

% 1.22 Intervju
% 2. BAUER, Andrej (intervjuvanec). Abstraktno razmi�ljanje nas bogati. Gea : poljudnoznanstvena revija. [Tiskana izd.]. dec. 2021, letn. 31, str. 24-29, portreti. ISSN 0353-782X. [COBISS.SI-ID 93194755]


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

