<br>
The deadline for paper submission for UNIF has been extended till May 8, 2011.<br>We expect abstracts of up to 5 pages.<br>
<br>
UNIF 2011 - The International Workshop on Unification.<br>
 <a href="https://sites.google.com/a/cs.uni.wroc.pl/unif-2011/" target="_blank">https://sites.google.com/a/cs.uni.wroc.pl/unif-2011/</a><br>
<br>

<br>
Important Dates<br>
<br>
May 8, 2011 - Extended deadline for paper submission<br>
May 30, 2011 - Notification<br>
June 17, 2011 - Final versions<br>
July 31, 2011 - Workshop<br>
<br>
<br>
This year Unif is co-located with the CADE conference<br>
<a href="http://cade23.ii.uni.wroc.pl/" target="_blank">http://cade23.ii.uni.wroc.pl/</a>,<br>
which is going to take place in Wroclaw (Poland), <br>
31 July -5 August 2011.<br>
<br>
<br>
Franz Baader<br><font color="#888888">
<font color="#888888">Barbara Morawska<br>Jah Otop<br>-----------------------------------------------<br>UNIF 2011 Organization Committee</font></font>