{{menu|Events}}

July 7-9, 2010, the  workshop ''Computability & Definability'' took  place at the KGRC, with the 
[http://math.nsc.ru/english.html Sobolev Institute of Mathematics].
(Fundend by the FWF and RFBR joint seminars program, project AJS328-N18.)


Program:

<table border=0>
<tr>
<th colspan=3>Wednesday, July 7 </th>
</tr>

<tr>
<td>09:00&nbsp;-&nbsp;09:45</td>
<td>'''S.&nbsp;S.&nbsp;Goncharov'''</td>
<td>Autostability relative to strong constructivizations</td>
</tr>

<tr>
<td>10:00&nbsp;-&nbsp;10:45</td>
<td>'''S.&nbsp;D.&nbsp;Friedman'''</td>
<td>Set theory and computation</td>
</tr>

<tr>
<td>11:00&nbsp;-&nbsp;11:45</td>
<td>'''V.&nbsp;L.&nbsp;Selivanov'''
<td>On topological reducibilities</td>
</tr>

<tr>
<td></td>
<td colspan=2 align=center>Lunch</td>
</tr>

<tr>
<td>14:00&nbsp;-&nbsp;14:45</td>
<td>'''H.&nbsp;Adler'''</td>
<td>Definability in Model Theory</td>
</tr>

<tr>
<td>15:00&nbsp;-&nbsp;15:45</td>
<td>'''E.&nbsp;Fokina'''</td>
<td>Equivalence relations on computable structures</td>
</tr>

<tr>
<td></td>
<td colspan=2 align=center>Free discussion</td>
</tr>

<tr>
<td>18:30</td>
<td colspan=2 align=center>Dinner at Huthbierbeisl, 1st district</td>
</tr>

<tr>
<th colspan=3>Thursday, July 8 </th>
</tr>

<tr>
<td>09:00&nbsp;-&nbsp;09:45</td>
<td>'''A.&nbsp;S.&nbsp;Morozov'''</td>
<td>On $\Sigma$--definability over the reals</td>
</tr>

<tr>
<td>10:00&nbsp;-&nbsp;10:45</td>
<td>'''N.&nbsp;T.&nbsp;Kogabaev'''</td>
<td>On computable freely generated projective planes</td>
</tr>

<tr>
<td>11:00&nbsp;-&nbsp;11:45</td>
<td>'''O.&nbsp;V.&nbsp;Kudinov'''</td>
<td>Ring Theory: some index sets and elementary theories</td>
</tr>

<tr>
<td></td>
<td colspan=2 align=center>Lunch</td>
</tr>

<tr>
<td>14:00&nbsp;-&nbsp;14:45</td>
<td>'''V.&nbsp;Fischer'''</td>
<td>Combinatorics and projective wellorders of the reals</td>
</tr>

<tr>
<td>15:00&nbsp;-&nbsp;15:45</td>
<td>'''A.&nbsp;I.&nbsp;Stukachev'''</td>
<td>Generalized Computability via the \Sigma-Definability Approach</td>
</tr>

<tr>
<td></td>
<td colspan=2 align=center>Free discussion</td>
</tr>

<tr>
<th colspan=3>Friday, July 9 </th>
</tr>

<tr>
<td>09:00&nbsp;-&nbsp;09:45</td>
<td>'''D.&nbsp;Schrittesser'''</td>
<td>Projective Baire</td>
</tr>

<tr>
<td>10:00&nbsp;-&nbsp;10:45</td>
<td>'''V.&nbsp;G.&nbsp;Purazenko'''</td>
<td>Computability on Admissible Structures</td>
</tr>

<tr>
<td>12:00</td>
<td colspan=2 align=center>Lunch at Schweizerhaus, Prater</td>
</tr>

</table>