\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
   {\crta, J.~Gross, P.~LeFanu Lumsdaine, M.~Shulman, M.~Sozeau, B.~Spitters}
   {The HoTT library: a formalization of homotopy type theory in Coq}
   {Certified Programs and Proofs (CPP 2017)}
   {Pariz} {Francija} {januar} {2017} 
   {Conference Proceedings} {164-172}

\objavljenoRevija
% 1.01: {\bf 1}. BAUER, Andrej. Five stages of accepting constructive mathematics. {\it Bull.\ Amer.\ Math.\ Soc.\ (N.S.)},  2017, vol. 54, no. 3, str. 481-498.  $[$COBISS.SI-ID 18066265$]$\\ 
   {}
   {Five stages of accepting constructive mathematics}
   {Bull.\ Amer.\ Math.\ Soc.\ (N.S.)} {54} {2017} {} {481--498}

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

\begin{skupina}{D}

\urednikZbornik
   {Sourednik}
   {Continuity, Computability, Constructivity: From Logic to Algorithms}
   {Ljubljana} {} {september} {2017} 

\end{skupina} 


%--------------------------------------------------------
%  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
   {A modular formalization of type theory in Coq}
   {23\urd International Conference on Types for Proofs and Programs (TYPES 2017)}
   {Budimpe�ta} {Mad�arska} {maj} {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\bauer.tex 332/192: Stevilo neopredeljenih zadetkov: 3
%\razno
% Ment: {\bf 2}. BOROVAC, Ana{\it . Funkcijsko reagentno programiranje : delo diplomskega seminarja}. Ljubljana: $[$A. Borovac$]$, 2017. 41 str., ilustr. $[$COBISS.SI-ID 18177113$]$\\ 

%\razno
% Ment: %list {\bf 3}. KRU\v{S}EC, Nika{\it . Konstrukcija modela nestandardne analize : delo diplomskega seminarja}. Ljubljana: $[$N. Kru\v{s}ec$]$, 2017. 26 str. $[$COBISS.SI-ID 18182745$]$\\ 

%\razno
% Ment: %list {\bf 4}. TASLAK, Jure{\it . Yonedova lema in njena uporaba : diplomsko delo : interdisciplinarni univerzitetni \v{s}tudijski program prve stopnje Ra\v{c}unalni\v{s}tvo in matematika}. Ljubljana: $[$J. Taslak$]$, 2017. 65 str., ilustr.  $[$COBISS.SI-ID 1537575363$]$\\ 

%\end{skupina} 

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

%\begin{seznam}
%\gost {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO} {POVABILO}
%\end{seznam} 

%\begin{seznam}
%\gost {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO} {POVABILO}
%\gost {H{\aa}kon Robbestad Gylterud} {1 teden} {University of Stockholm} {Stock\-holm} {�vedska} {januar} {2017} {Andreja Bauerja}
%\gost {Mehrdad Maleki} {1 mesec} {Institute for research in fundamental sciences} {Teheran} {Iran} {februar} {2017} {Andreja Bauerja}
%\gost {Sewon Park} {1 mesec} {Korea Advanced Institute for Science and Technology} {Daejeon} {Ju�na Koreja} {oktober} {2017} {Andreja Bauerja}
%\gost {Fredrik Nordvall Forsberg} {1 teden} {University of Strathclyde} {Glasgow} {Velika Britanija} {november} {2017} {Andreja Bauerja}
%\end{seznam} 

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

%\begin{seznam}
%\gostovanje {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO}
%\end{seznam} 

%\begin{seznam}
%\gostovanje {IME} {TRAJANJE} {USTANOVA} {KRAJ} {DRZAVA} {MESEC} {LETO}
%\gostovanje {Andrej Bauer} {1 teden} {University of Stockholm} {Stockholm} {�vedska} {januar} {2017}
%\gostovanje {Andrej Bauer} {1 mesec} {Institute for research in fundamental sciences} {Teheran} {Iran} {februar} {2017}
%\gostovanje {Andrej Bauer} {1 mesec} {Korea Advanced Institute for Science and Technology} {Daejeon} {Ju�na Koreja} {oktober} {2017}
%\gostovanje {Andrej Bauer} {1 teden} {University of Strathclyde} {Glasgow} {Velika Britanija} {november} {2017}
%\end{seznam} 
