{{Menu IW14|Program}}
<nowiki>
<script type="text/x-mathjax-config">
  MathJax.Hub.Config({
    tex2jax: {
      inlineMath: [ ['$','$'] ],
      processEscapes: true
    }
  });
</script>
<script type="text/javascript" src="http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML">
</script>
<script type="text/javascript" src="/css/hyphenator.js">
</script>
</nowiki>

There are four sessions: Wednesday afternoon, Thursday morning, Thursday afternoon and Friday morning. 
Wednesday morning and Friday afternoon are free for discussion. <a href="/2014/IW14/Program.html" class="screen">show abstracts</a>

<table class="wikitable">
<tr>
<th colspan="2">
=== Wednesday, July 9 ===
</th>
</tr>
<tr>
<td>2.00pm&mdash;3.00pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''John Baldwin''': ''Interactions of Set Theory, <span class="donthyphenate">$L_{\omega_1,\omega}$</span>, and AEC''.
</td>
</tr>
<tr>
<td>3.15pm&mdash;4.15pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Arnold Beckmann''': ''Proof Theoretic Characterisations of Feasible Set Functions''.
</td>
</tr>
<tr>
<td>4.45pm&mdash;5.45pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Ulrik Buchholtz''': ''Systems of Strength $H(1)$''.
</td>
</tr>
<tr>
<th colspan="2">
=== Thursday, July 10 ===
</th>
</tr>
<tr>
<td>8.30am&mdash;9.30am</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Sam Buss''': ''Cobham Recursive Set Functions''.
</td>
</tr>
<tr>
<td>9.45am&mdash;10.45am</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Tapani Hyttinen''': ''Infinitely deep languages and neighbors''.
</td>
</tr>
<tr>
<td>11.15am&mdash;12.15pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Julia Knight''': ''Computing a floor function''.
</td>
</tr>
<tr>
<td>2.00pm&mdash;3.00pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Chris Laskowski''': ''When excellence and local finiteness collide''.
</td>
</tr>
<tr>
<td>3.15pm&mdash;4.15pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Russell Miller''': ''Functors in Computable Model Theory''.
</td>
</tr>
<tr>
<td>4.45pm&mdash;5.45pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Antonio Montalban''': ''Classes of structures with no intermediate isomorphism problems''.
</td>
</tr>
<tr>
<td colspan="2" align="center" bgcolor="#DDFFDD">
'''''&mdash; Workshop Dinner &mdash;'''''
</td>
</tr>
<tr>
<th colspan="2">
=== Friday, July 11 ===
</th>
</tr>
<tr>
<td>8.30am&mdash;9.30am</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Michael Rathjen''': ''Power Kripke-Platek set theory, ordinal analysis and global choice''.
</td>
</tr>
<tr>
<td>9.45am&mdash;10.45am</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Neil Thapen''': ''Set functions with small circuits''.
</td>
</tr>
<tr>
<td>11.15am&mdash;12.15pm</td>
<td bgcolor="#DDDDFF" style="text-align:justify" class="hyphenate">
'''Andreas Weiermann''': ''Analytic combinatorics of the transfinite''.
</td>
</tr>
</table>