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

\objavljenoRevija
   {\crta}
   {Five stages of accepting constructive mathematics}
   {Bull.\ Amer.\ Math.\ Soc.} {} {2016} {online} {1--18}

\objavljenoZbornik
% 1.08: {\bf 1}. STEPI\v{S}NIK PERDIH, Toma\v{z}, PANOV, Pan\v{c}e, BAUER, Andrej, D\v{Z}EROSKI, Sa\v{s}o. 
%Primerjava razdalj pri klasifikaciji in regresiji. V: GAMS, Matja\v{z} (ur.), LU\v{S}TREK, Mitja (ur.), 
%PILTAVER, Rok (ur.). {\it Slovenska konferenca o umetni inteligenci : zbornik 19. mednarodne 
%multikonference Informacijska dru\v{z}ba - IS 2016, 12. oktober 2016, $[$Ljubljana, Slovenija$]$ : zvezek A = 
%Slovenian Conference on Artificial Intelligence : proceedings of the 19th International Multiconference 
%Information Society - IS 2016, 12 October 2016, Ljubljana, Slovenia : volume A}}. Ljubljana: 
%Institut Jo\v{z}ef Stefan, 2016, str. 68-71. $[$COBISS.SI-ID 29865255$]$\\ 
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 302/80: Ne najdem podatka {LETO}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 302/81: Ne najdem podatka {ZBORNIK}
   {T.~Stepi\v{s}nik Perdih, P.~Panov, \crta, S.~D\v{z}eroski}
   {Primerjava razdalj pri klasifikaciji in regresiji}
   {Slovenska konferenca o umetni inteligenci}
   {Ljubljana} {} {oktober} {2016}
   {Zbornik 19. mednarodne multikonference Informacijska dru�ba - IS 2016} {68--71} 

\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
   {Soorganizator}
   {Dagstuhl Seminar 16112: From Theory to Practice of Algebraic Effects and Handlers}
   {Dagstuhl} {Nem\v{c}ija} {marec} {2016} 

\organizacija
   {Lokalna organizacija}
   {Third conference of the European Society for Mathematics and the Arts}
   {Ljubljana} {} {september} {2016} 


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


\predavanjeKonferenca
   {The real numbers and homotopy type theory}
   {vabljeno predavanje}
   {13\uth In\-ter\-na\-ti\-o\-nal Conference on Computability and Complexity in Analysis}
   {Faro} {Portugalska} {junij} {2016} 


\predavanjeKonferenca
   {The Andromeda proof assistant}
   {vabljeno predavanje}
   {Workshop on Categorical Logic and Univalent Foundations}
   {Leeds} {Velika Britanija} {julij} {2016} 

%\begin{skupina}{I}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 403/247: Stevilo neopredeljenih zadetkov: 6
%\razno
% 1.10: {\bf 2}. BAUER, Andrej. The real numbers and homotopy type theory. V: 13th International Conference on 
%Computability and Complexity in Analysis, June 15-17, 2016, Faro, Portugal. {\it CCA 2016 : proceedings}}. 
%Faro: Universidade do Algarve, 2016, str. 1-2. $[$COBISS.SI-ID 17708633$]$\\ 

\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 3}. BAUER, Andrej. Are all functions continuous and how to prove it?. V: BAUER, Andrej (ur.), et al. 
%{\it From theory to practice of algebraic effects and handlers : Report from Dagstuhl Seminar 16112}}, (Dagstuhl 
%reports, ISSN 2192-5283, Vol. 6, iss. 3 (2016)). Wadern: Schloss Dagstuhl, Leibniz-Zentrum f\"{u}r Informatik GmbH, 
%2016, str. 53-55. $[$COBISS.SI-ID 17781849$]$\\ 
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 328/174: Ne najdem podatka {DRZAVA}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 328/175: Ne najdem podatka {MESEC}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 328/176: Ne najdem podatka {LETO}
   {Are all functions continuous and how to prove it?}
   {From theory to practice of algebraic effects and handlers}
   {Dagstuhl} {Nem\v{c}ija} {marec} {2016} 


\konferenca
% 1.12: %list {\bf 5}. BAUER, Andrej, GILBERT, Ga\"{e}tan, HASELWARTER, Philipp, PRETNAR, Matija, STONE, Christopher A. 
%Design and implementation of the Andromeda proof assistant. V: {\it TYPES 2016 : book of abstracts}}. Novi Sad: 
%Faculty of Technical Sciences, 2016, str. 25-26. $[$COBISS.SI-ID 17783129$]$\\ 
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 343/184: Ne najdem podatka {DRZAVA}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 343/185: Ne najdem podatka {MESEC}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 343/186: Ne najdem podatka {LETO}
   {Design and implementation of the Andromeda proof assistant}
   {TYPES 2016}
   {Novi Sad} {Srbija} {maj} {2016} 


\konferenca
% 1.12: %list {\bf 4}. BAUER, Andrej. On self-interpreters for G\"{o}odel's System T. V: {\it TYPES 2016 : book of abstracts}}. 
%Novi Sad: Faculty of Technical Sciences, 2016, str. 23-24.  $[$COBISS.SI-ID 17782873$]$\\ 
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 336/194: Ne najdem podatka {DRZAVA}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 336/195: Ne najdem podatka {MESEC}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 336/196: Ne najdem podatka {LETO}
   {On self-interpreters for G\"{o}odel's System T}
   {TYPES 2016}
   {Novi Sad} {Srbija} {maj} {2016} 


\konferenca
% 1.12: %list {\bf 6}. BAUER, Andrej, P\'{E}DROT, Pierre-Marie, PRETNAR, Matija. The Dialectica translation of type theory. 
%V: {\it TYPES 2016 : book of abstracts}}. Novi Sad: Faculty of Technical Sciences, 2016, str. 81-82. $[$COBISS.SI-ID 17783897$]$\\ 
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 351/204: Ne najdem podatka {DRZAVA}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 351/205: Ne najdem podatka {MESEC}
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 351/206: Ne najdem podatka {LETO}
   {The Dialectica translation of type theory}
   {TYPES 2016}
   {Novi Sad} {Srbija} {maj} {2016} 


\konferenca
% 1.08: {\bf 1}. STEPI\v{S}NIK PERDIH, Toma\v{z}, PANOV, Pan\v{c}e, BAUER, Andrej, D\v{Z}EROSKI, Sa\v{s}o. Primerjava 
%razdalj pri klasifikaciji in regresiji. V: GAMS, Matja\v{z} (ur.), LU\v{S}TREK, Mitja (ur.), PILTAVER, Rok (ur.). 
%{\it Slovenska konferenca o umetni inteligenci : zbornik 19. mednarodne multikonference Informacijska 
%dru\v{z}ba - IS 2016, 12. oktober 2016, $[$Ljubljana, Slovenija$]$ : zvezek A = Slovenian Conference on Artificial 
%Intelligence : proceedings of the 19th International Multiconference Information Society - IS 2016, 12 October 2016, 
%Ljubljana, Slovenia : volume A}}. Ljubljana: Institut Jo\v{z}ef Stefan, 2016, str. 68-71. $[$COBISS.SI-ID 29865255$]$\\ 
%POZOR: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 302/166: Ne najdem podatka {LETO}
   {Primerjava razdalj pri klasifikaciji in regresiji}
   {Slovenska konferenca o umetni inteligenci}
   {Ljubljana} {} {oktober} {2016} 

\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: Bibliografija2016.tex > 2016\rac\clani\bauer.tex 403/247: Stevilo neopredeljenih zadetkov: 6
%\razno
% 1.10: {\bf 2}. BAUER, Andrej. The real numbers and homotopy type theory. V: 13th International Conference on Computability and Complexity in Analysis, June 15-17, 2016, Faro, Portugal. {\it CCA 2016 : proceedings}}. Faro: Universidade do Algarve, 2016, str. 1-2. $[$COBISS.SI-ID 17708633$]$\\ 

%\razno
% 1.20: {\bf 7}. BAUER, Andrej, HOFMANN, Martin, PRETNAR, Matija, YALLOP, Jeremy. Executive summary. V: BAUER, Andrej (ur.), et al. {\it From theory to practice of algebraic effects and handlers : Report from Dagstuhl Seminar 16112}}, (Dagstuhl reports, ISSN 2192-5283, Vol. 6, iss. 3 (2016)). Wadern: Schloss Dagstuhl, Leibniz-Zentrum f\"{u}r Informatik GmbH, 2016, str. 44-45. $[$COBISS.SI-ID 17775193$]$\\ 

%\razno
% Ment: {\bf 8}. KUKOVEC, Jure{\it Generalizing treshold automata for reachability in parameterized systems : master{'}s thesis}. Ljubljana: $[$J. Kukovec$]$, 2016. $[$57$]$ str., ilustr. $[$COBISS.SI-ID 17768025$]$\\ 

%\razno
% Ment: {\bf 9}. LIST, Ivo{\it Plavajo\v{c}a vejica v \v{c}istem funkcijskem jeziku : diplomsko delo na interdisciplinarnem univerzitetnem \v{s}tudiju}. Ljubljana: $[$I. List$]$, 2016. 46 str., ilustr.  $[$COBISS.SI-ID 1537008835$]$\\ 

%\razno
% Ment: %list {\bf 10}. JELEN\v{C}I\v{C}, Sa\v{s}o{\it Risanje Mandelbrotove mno\v{z}ice z visoko natan\v{c}nostjo : diplomsko delo}. Ljubljana: $[$S. Jelen\v{c}i\v{c}$]$, 2016. 44 str., ilustr. $[$COBISS.SI-ID 17763417$]$\\ 

%\razno
% Some: {\bf 11}. STEPI\v{S}NIK PERDIH, Toma\v{z}{\it Razdalje na strukturiranih podatkih : magistrsko delo}. Ljubljana: $[$T. Stepi\v{s}nik Perdih$]$, 2016. V, 46 str., ilustr. $[$COBISS.SI-ID 17730137$]$\\ 

%\end{skupina} 

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

%\begin{seznam}
%\gost {Egbert Rijke} {1 teden} {Carnegie Mellon University} {Pittsburgh} {ZDA} {januar} {2016} {Andreja Bauerja}
%\gost {Willem Fouch{\'e}} {3 tedne} {University of South Africa} {Pretria} {Ju\v{z}noafri\v{s}ka republika} {januar} {2016} {Andreja Bauerja}
%\gost {Mathias Schroeder} {1 teden} {TU Darmstadt} {Darmstadt} {Nem\v{c}ija} {marec} {2016} {Andreja Bauerja}
%\gost {Igor Konov} {1 teden} {TU Wiend} {Dunaj} {Avstrija} {maj} {2016} {Andreja Bauerja}
%\gost {Klaus Keimel} {1 teden} {TU Darmstadt} {Darmstadt} {Nem\v{c}ija} {maj} {2016} {Andreja Bauerja}
%\gost {Fredrik Nordvall Forsberg} {1 teden} {University of Strathclyde} {Glasgow} {Velika Britanija} {maj} {2016} {Andreja Bauerja}
%\gost {Jaap van Oosten} {3 mesece} {Utrecht University} {Utrecht} {Nizozemska} {september/november} {2016} {Andreja Bauerja}
%\gost {Peter LeFanu Lumsdaine} {2 tedna} {University of Stockholm} {Stockholm} {�vedska} {november} {2016} {Andreja Bauerja}
%\end{seznam} 

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

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

