{{menu|Events}}

March 24–25, 2011, a  '''Workshop on Logic and Computer Science''' takes
place at the KGRC, organized by Laura Kovacs (TU Wien) and Sy Friedman (KGRC).

==Program==

<table border=0>
<tr>
<th colspan=3 style="padding-bottom:1em;">Thursday, March 24 </th>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">09:20 &ndash; 10:10
</td><td>'''Tetsuo Ida''' (Tsukuba)
</td><td>Theory of Handcrafted and Computational Fold
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">10:20 &ndash; 11:10
</td><td>'''Masahiko Sato''' (Kyoto)
</td><td>Formalization of Mathematics
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">11:30 &ndash; 12:00
</td><td>'''Temur Kutsia''' (Linz)
</td><td>Anti-Unification for Unranked Terms and Hedges
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">14:00 &ndash; 14:50
</td><td>'''Fairouz Kamareddine''' (Edinburgh)
</td><td>MathLang, a system for the computerisation of mathematics
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">15:00 &ndash; 15:50 
</td><td>'''Florian Zuleger''' (Vienna)
</td><td>Termination proofs for imperative programs
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">16:30 &ndash; 17:20
</td><td>'''Yike Guo''' (London)
</td><td>Wikianalytics
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">17:30 &ndash; 18:00
</td><td>'''Sy Friedman''' (Vienna)
</td><td>Strong isomorphism reductions in complexity theory
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">19:00</td>
<td colspan=2 style="padding-top:0.5em;">Workshop Dinner: Wiener Kochsalon (everyone invited)</td>
</tr>
<tr>
<th colspan=3 style="padding-top:1em;padding-bottom:1em;">Friday, March 25 </th>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">09:20 &ndash; 10:10
</td><td>'''Angelina Vidali''' (Vienna)
</td><td>Designing Truthful Mechanisms
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">10:20 &ndash; 11:10
</td><td>'''Tudor Jebelean''' (Linz)
</td><td>Induction as Termination Principle
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">11:30 &ndash; 12:00
</td><td>'''Laura Kovacs''' (Vienna)
</td><td>Experiments with Invariant Generation Using a Saturation Theorem Prover
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">14:00 &ndash; 14:50
</td><td>'''Agata Ciabattoni''' (Vienna)
</td><td>Systematic (and algebraic) proof theory for substructural logics
</td>
</tr>
<tr>
<td style="white-space: nowrap;padding-right:1em;">15:00 &ndash; 15:50
</td><td>'''Thomas Eiter''' (Vienna)
</td><td>Paracoherent Answer Set Programming
</td>
</tr>
<tr>
<td></td>
<td colspan=2 style="padding-top:0.5em;">Sekt and Sandwiches</td>
</tr>
</table>