[TYPES/announce] UNIF 2011: call for papers

[Barbara Morawska]

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


Important Dates

May 2, 2011 - Paper submission
May 30, 2011 - Notification
June 17, 2011 - Final versions
July 31, 2011 - Workshop

Detailed information on the submission requirements
is contained in the attached call for papers.

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.

Please forward this email to all who might be interested in UNIF.

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/20110407/78023cca/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: call-unif2011.pdf
Type: application/pdf
Size: 87717 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20110407/78023cca/attachment-0001.pdf>