[TYPES/announce] UNIF 2011: call for papers

Barbara Morawska morawska at tcs.inf.tu-dresden.de
Thu Apr 7 07:40:09 EDT 2011

Please consider submitting to
UNIF 2011 - The International Workshop on Unification.

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
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>

More information about the Types-announce mailing list