\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
% 1.01: {\bf 1}. BAUER, Andrej, PRETNAR, Matija. An effect system for algebraic effects and handlers. 
%{\it Logical methods in computer science},  2014, vol. 10, iss. 4, paper 9 (str. 1-29). $[$COBISS.SI-ID 17191001$]$\\
%POZOR: Bibliografija2014A.tex > 2014\rac\clani\bauer.tex 372/80: Ne najdem podatka {STRANI}
   {\crta, M.~Pretnar}
   {An effect system for algebraic effects and handlers}
   {Log.\ Methods Comput.\ Sci.} {10} {2014} {4} {1--29}

\objavljenoRevija
  {\crta, G. D. Plotkin, D. S. Scott}
  {Cartesian closed categories of separable Scott domains}
  {Theoret.\ Comput.\ Sci.} {546} {2014} {} {17--29}

\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
   {Organizacija mednarodne delovne}
   {Continuity, Computability, \break Constructivity � From Logic to Algorithms - CCC 2014}
   {Ljubljana} {} {september} {2014}

\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
   {Formalization of mathematics in proof assistants}
   {vabljeno predavanje}
   {L'In\-sti\-tut Henri Poincar\'e}
   {Pariz}{Francija}{maj}{2014}

\predavanjeKonferenca
   {Constructive mathematics and models of type theory}
   {vabljeno predavanje}
   {L'Institut Henri Poincar\'e}
   {Pariz}{Francija}{junij}{2014}

\predavanjeKonferenca
    {Reductions in computability theory from a constructive point of view}
    {vabljeno plenarno predavanje}
    {Technische Universit�t Wien, Logic Colloquium}
    {Dunaj}{Avstrija}{julij}{2014}

\predavanjeKonferenca
   {Programming techniques for exact real arithmetic}
   {vabljeno plenarno predavanje}
   {16\uth GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics}
   {W{\"u}r\-zburg}{Nem�ija}{september}{2014}

\predavanjeKonferenca
   {How to implement type theory with a reflection rule}
   {vabljeno predavanje}
   {Homotopy Type Theory Workshop}
   {Oxford} {Velika Britanija} {november} {2014}

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

%   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}
%POZOR: Bibliografija2014A.tex > 2014\rac\clani\bauer.tex 385/193: Stevilo neopredeljenih zadetkov: 1
%\razno
% Ment: {\bf 2}. \v{C}E\v{S}AREK, Jana{\it . Imaginarna kocka : diplomsko delo}. Ljubljana: $[$J. \v{C}e\v{s}arek$]$, 2014. 35 str., ilustr. $[$COBISS.SI-ID 10794324$]$\\

%\end{skupina}

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

%\begin{seznam}
%\gost 
%   {Kazuto Yoshimura} {1 mesec} {Japan Advanced Institute of Science and Technology} {Kanazawa} {Japonska} {marec} {2014} {Andreja Bauerja}
%\gost 
%   {Svetlana Aleksandrova} {3 mesece} {Institut sistem informatiki im. A. P. Er�ova (A. P. Ershov Institute of Informatics Systems)} 
%   {Novosibirsk} {Rusija} {september/december} {2014} {Andreja Bauerja}
%\gost 
%   {Vladislav Sergejevi� Amstislavskij} {3 mesece} {Institut sistem informatiki im. A. P. Er�ova (A. P. Ershov Institute of Informatics Systems)} 
%   {Novosibirsk} {Rusija} {september/december} {2014} {Andreja Bauerja}
%\end{seznam}

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

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

