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

\begin{skupina}{C}

\objavljenoZbornik
   {\crta, I.~Kavkler}
   {Implementing real numbers with RZ}
   {4th International Conference on Computability and Complexity in Analysis}
   {Siena} {Italija} {junij} {2007}
   {(Informatik Berichte, 338-6/2007). Hagen: Fakult\"{a}t f\"{u}r Mathematik und Informatik, 2007} {25--43} 


\objavljenoZbornik
   {\crta, C.~Stone}
   {RZ: a tool for bringing constructive and computable mathematics closer to programming practice}
   {3rd Conference on Computability in Europe}
   {Siena} {Italija} {junij} {2007}
   {Computation and Logic in the Real World (Lecture Notes in Comput. Sci., 4497). Springer 2007} {28--42}


\objavljenoRevija
% 1.01: {\bf 1}. LUK\v{S}I\v{C}, Primo\v{z}, HORVAT, Boris, BAUER, Andrej, PISANSKI, Toma\v{z}. 
%Practical E-Learning for the Faculty of Mathematics and Physics at the University of Ljubljana. 
%{\it Interdisciplinary journal of knowledge \& learning objects}, 2007, vol. 3, str. 73-83. 
%http://ijklo.org/Volume3/IJKLOv3p073-083Luksic321.pdf. $[$COBISS.SI-ID 14269529$]$\\ 
   {P.~Luk\v{s}i\v{c}, B.~Horvat, \crta, T.~Pisanski}
   {Practical E-Learning for the Faculty of Mathematics and Physics at the University of Ljubljana}
   {Interdisciplinary Journal of E-Learning and Learning Objects} {3} {2007} {} {73--83}

\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
{Organizator ``Tutorial day on domain theory''}
{Mathematical Foundations of Programming Semantics 23}
{New Orleans}{ZDA}{april}{2007}

\end{skupina} 

%--------------------------------------------------------
%  F. vabljena predavanja na tujih ustanovah in 
%     mednarodnih konferencah
%--------------------------------------------------------

\begin{skupina}{F}

\predavanjeKonferenca
   {Synthetic Computability}
   {predavanje na ``Tutorial day on domain theory''}
   {Mathematical Foundations of Programming Semantics 23}
   {New Orleans}{ZDA}{april}{2007}

\predavanjeKonferenca
   {The Role of the Interval Domain in Modern Exact Real Airthmetic}
   {predavanje}
   {Joint Workshop: Domains 8 and Computability Over Continuous Data Types}
   {Novosibirsk} {Rusija} {september} {2007} 

\end{skupina} 

%--------------------------------------------------------
%  G. aktivne udelezbe na mednarodnih in domacih
%     konferencah
%--------------------------------------------------------

%\begin{skupina}{G}

%\konferenca
%   {NASLOV}
%   {KONFERENCA}
%   {KRAJ} {DRZAVA} {MESEC} {LETO} 

%\end{skupina} 

\begin{skupina}{G}

\konferenca
   {Metric Spaces in Synthetic Topology}
   {3rd Workshop on Formal Topology}
   {Padova}{Italija}{maj}{2007}

\konferenca
   {Implementing real numbers with RZ}
   {4th International Conference on Computability and Complexity in Analysis}
   {Siena} {Italija} {junij} {2007} 

\konferenca
   {RZ: a tool for bringing constructive and computable mathematics closer to programming practice}
   {3rd Conference on Computability in Europe}
   {Siena}{Italija}{junij}{2007}

\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}
% 2.12: {\bf 13}. KAV\v{C}I\v{C}, Alenka, DIVJAK, Sa\v{s}a, MAROLT, Matija, PRIVO\v{S}NIK, Marko, ROZMAN, Ksenija, 
%VI\v{C}I\v{C}, Jernej, KAV\v{S}EK, Branko, KLJUN, Matja\v{z}, ISTENI\v{C} STAR\v{C}I\v{C}, Andreja, 
%PISANSKI, Toma\v{z}, BAUER, Andrej, LOKAR, Matija, HORVAT, Boris, LUK\v{S}I\v{C}, Primo\v{z}{\it . 
%e-VIZUS : informatizacija izobra\v{z}evanja in usposabljanja v Slovenski vojski : zaklju\v{c}no poro\v{c}ilo o 
%rezultatih opravljenega raziskovalnega dela na projektu v okviru ciljnega raziskovalnega programa (CRP) "Znanje 
%za varnost in mir 2006-2010"}. Ljubljana: Fakulteta za ra\v{c}unalni\v{s}tvo in informatiko, Laboratorij za 
%ra\v{c}unalni\v{s}ko grafiko in multimedije, 2007. 1 zv. (lo\v{c}. pag.), ilustr. $[$COBISS.SI-ID 6243668$]$\\ 
%\razno
%   {e-VIZUS : informatizacija izobra\v{z}evanja in usposabljanja v Slovenski vojski : zaklju\v{c}no poro\v{c}ilo o 
%   rezultatih opravljenega raziskovalnega dela na projektu v okviru ciljnega raziskovalnega programa (CRP)
%   ``Znanje za varnost in mir 2006-201''.} 

%\end{skupina} 

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

