\clan {Andrej Bauer}

\begin{skupina}{C}

\objavljenoZbornik
   {\crta}
   {First Steps in Synthetic Computability Theory}
   {Mathematical Foundations of Programming Semantics 21}
   {Birmingham} {Velika Britanija} {maj} {2005}
   {Electronic Notes in Theoretical Computer Science, vol.\ 155 (2006)} {5-31}

\end{skupina}

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

\begin{skupina}{E}

\organizacija
   {�lan organizacijskega odbora}
   {47.\ mednarodna matemati�na olimpijada}
   {Ljubljana} {Slovenija} {maj--julij} {2006}

\organizacija
   {�lan znanstvenega odbora}
   {Third International Conference on Computability and Complexity in Analysis}
   {Gainesville} {ZDA} {November} {2006}

\end{skupina}

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

\begin{skupina}{F}

\predavanjeUstanova
   {Synthetic computability (computability without computers)}
   {letna �ola logike za podiplomske �tudente}
   {Italijanska zveza za logiko in njeno uporabo}
   {Gargano} {Italija} {september} {2006}

\end{skupina}

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

\begin{skupina}{G}

\konferenca
   {Specifications via Realizability}
   {Reliable Implementation of Real Number Algorithms: Theory and Practice, Dagstuhl Seminar 06021}
   {Dagstuhl} {Nem�ija} {januar} {2006}

\konferenca
   {Continuity begets continuity}
   {Trends in Constructive mathematics}
   {Frauen\-w\"orth am Chimsee} {Nem�ija} {junij} {2006}

\end{skupina}

%--------------------------------------------------------------------------
%  tuji gosti
%--------------------------------------------------------------------------
%
%\begin{seznam}
%
%\gost {Giovanni Sambin} {3 dni} {Univerza v Padovi} {Padova} {Italija} {maj} {2006} {Andreja Bauerja}
%\gost {Christopher Stone} {3 mesece} {Harvey Mudd College} {Santa Clara} {ZDA} {junij--avgust} {2006} {Andreja Bauerja}
%\gost {Alex Simpson} {2 tedna} {University of Edinburgh} {Edinburgh} {Velika Britanija} {maj} {2006} {Andreja Bauerja}
%\end{seznam}

