{{menu|Events|2005: KGRC Set Theory Workshop and 9th Kurt Gödel Colloquium}}

The workshop was held from November 17th, 2005 to November 19th with support from the 
[http://kgs.logic.at/ Kurt Gödel Society]. Here is the program:

<table border=0>

<tr>
<th colspan=3>
=== Thursday ===
</th>
</tr>

<tr>
<td>09:30&nbsp;-&nbsp;10:15</td>
<td>'''Istvan Juhasz'''</td>
<td>Problems from Topology</td>
</tr>

<tr>
<td>10:30&nbsp;-&nbsp;11:15</td>
<td>'''Joan Bagaria'''</td>
<td>Absoluteness under Projective Forcing</td>
</tr>

<tr>
<td>11:30&nbsp;-&nbsp;12:15</td>
<td>'''Ignacio Jane'''</td>
<td>Cantor on numbers and sets</td>
</tr>

<tr>
<td>02:30&nbsp;-&nbsp;03:15</td>
<td>'''Lajos Soukup'''</td>
<td>Pcf theory and cardinal invariants of the reals</td>
</tr>

<tr>
<td>03:30&nbsp;-&nbsp;04:15</td>
<td>'''Juan Carlos Martinez'''</td>
<td>A consistency result for scattered Boolean spaces</td>
</tr>

<tr>
<td valign=top>04:30&nbsp;-&nbsp;05:15</td>
<td valign=top>'''Matteo Viale'''</td>
<td>The proper forcing axiom implies the singular cardinal hypothesis</td>
</tr>

<tr>
<th colspan=3>
=== Friday ===
</th>
</tr>

<tr>
<td>09:30&nbsp;-&nbsp;10:15</td>
<td>'''Andras Hajnal'''</td>
<td>Rainbow Ramsey Theorems</td>
</tr>

<tr>
<td>10:30&nbsp;-&nbsp;11:15</td>
<td>'''Neus Castells'''</td>
<td>Projective absoluteness and some large cardinals</td>
</tr>

<tr>
<td>11:30&nbsp;-&nbsp;12:15</td>
<td>'''Adrian Mathias'''</td>
<td>Lightface analytic games</td>
</tr>

<tr>
<td>02:30&nbsp;-&nbsp;03:15</td>
<td>'''Bernhard Irrgang'''</td>
<td>Morasses, forcing and superatomic Boolean algebras</td>
</tr>

<tr>
<td>03:30&nbsp;-&nbsp;04:15</td>
<td>'''Roger Bosch'''</td>
<td>Generic absoluteness under iterations of projective posets</td>
</tr>

<tr>
<td>04:30&nbsp;-&nbsp;05:15</td>
<td>'''Jip Veldman'''</td>
<td>Mutual stationarity with the negation of the axiom of choice</td>
</tr>

<tr>
<th colspan=3>
=== Saturday ===
</th>
</tr>

<tr>
<td>09:30&nbsp;-&nbsp;10:15</td>
<td>'''Bohuslav Balcar'''</td>
<td>Exhaustive structures on Boolean Algebras</td>
</tr>

<tr>
<td>10:30&nbsp;-&nbsp;11:15</td>
<td>'''Lyubomyr Zdomskyy'''</td>
<td>Products and unions of topological spaces with properties of Menger and Hurewicz</td>
</tr>

<tr>
<td>11:30&nbsp;-&nbsp;12:15</td>
<td>'''Peter Koepke'''</td>
<td>Ordinal Machines and Combinatorial Principles</td>
</tr>

</table>