\clan {Andrej Bauer}

%--------------------------------------------------------------------------
%  B. raziskovalni clanki sprejeti v objavo v znanstvenih revijah in v zbornikih konferenc
%--------------------------------------------------------------------------

\begin{skupina}{B}

\sprejetoRevija
   {\crta, P. Taylor}
   {The Dedekind reals in abstract Stone duality}
   {Math.\ Structures Comput.\ Sci.}

\sprejetoRevija
   {\crta, I. Kavkler}
   {A constructive theory of continuous domains suitable for implementation}
   {Ann.\ Pure Appl.\ Logic}

\sprejetoRevija
   {\crta, C. A. Stone}
   {RZ: a tool for bringing constructive and computable mathematics closer to programming practice}
   {J. Logic Comput.}

\end{skupina}

%--------------------------------------------------------------------------
%  C. raziskovalni clanki objavljeni v znanstvenih revijah in v zbornikih konferenc
%--------------------------------------------------------------------------

\begin{skupina}{C}

\objavljenoRevija
   {S. Awodey, \crta}
   {Sheaf toposes for realizability}
   {Arch.\ Math.\ Log.} {47} {2008} {5} {465--478}

\end{skupina}

%--------------------------------------------------------------------------
%  D. urednistvo v znanstvenih revijah in zbornikih znanstvenih konferenc
%--------------------------------------------------------------------------

\begin{skupina}{D}

\urednikZbornik
   {Urednik}
   {Mathematical Foundations of Programming Semantics 24}
   {Philadelphia} {ZDA} {maj} {2009}

\end{skupina}

%--------------------------------------------------------------------------
%  E. organizacija mednarodnih in domacih znanstvenih srecanj
%--------------------------------------------------------------------------

\begin{skupina}{E}

\organizacija
   {Predsednik programskega odbora}
   {Mathematical Foundations of Programming Semantics 24}
   {Philadelphia} {ZDA} {maj} {2009}

\end{skupina}

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

\begin{skupina}{F}

\predavanjeKonferenca
   {Mathematically structured but not necessarily functional programming}
   {vabljeno predavanje}
   {Mathematically Structured Functional Programming 2008}
   {Reykjavik} {Islandija} {julij} {2009}

\predavanjeKonferenca
   {Efficient computation with dedekind reals}
   {vabljeno predavanje}
   {Computability and Complexity in Analysis 2008}
   {Hagen} {Nem�ija} {avgust} {2008}

\end{skupina}

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

\begin{skupina}{G}

\konferenca
   {Efficient computation with Dedekind reals}
   {Advances in Constructive Topology and Logical Foundations}
   {Padova} {Italija} {oktober} {2008}

\end{skupina}



%--------------------------------------------------------
%  I. razno
%--------------------------------------------------------



\begin{skupina}{I}

\razno
 {�lan uredni�kega odbora publikacije {\it Predstavitev \v{s}tudijskih 
 programov iz matematike}. Ljubljana: Fakulteta za matematiko in fiziko, 
 2008. ISBN 978-961-6619-03-5} 

\razno
 {�lan uredni�kega odbora publikacije {\it Study programs in mathematics}.
 Ljubljana: Faculty of Mathematics and Physics,
 2008. ISBN 978-961-6619-04-2} 

\end{skupina} 



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

%\begin{seznam}
%\gost {Steven Awodey} {2 tedna} {Carnegie Mellon University} {Pittsburgh} {ZDA} {marec} {2008} {Andreja Bauerja}
%\gost {Paul Taylor} {3 tedni} {} {London} {Velika Britanija} {junij} {2008} {Andreja Bauerja}
%\gost {Danko Ilik} {3 tedni} {LIX, Ecole Polytechnique} {Pariz} {Francija} {junij} {2008} {Andreja Bauerja}
%\gost {Christopher A. Stone} {2 tedna} {Harvey Mudd College} {Santa Clara} {ZDA} {junij} {2008} {Andreja Bauerja}
%\end{seznam}

%--------------------------------------------------------------------------
