[TYPES/announce] UNIF 2011: deadline extension

[Barbara Morawska]

The deadline for paper submission for UNIF has been extended till May 8,
2011.
We expect abstracts of up to 5 pages.

UNIF 2011 - The International Workshop on Unification.
 https://sites.google.com/a/cs.uni.wroc.pl/unif-2011/


Important Dates

May 8, 2011 - Extended deadline for paper submission
May 30, 2011 - Notification
June 17, 2011 - Final versions
July 31, 2011 - Workshop


This year Unif is co-located with the CADE conference
http://cade23.ii.uni.wroc.pl/,
which is going to take place in Wroclaw (Poland),
31 July -5 August 2011.


Franz Baader
Barbara Morawska
Jah Otop
-----------------------------------------------
UNIF 2011 Organization Committee
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110503/d52199b3/attachment.html>