[TYPES/announce] DaLi 17 - second call for papers

Alexandre Madeira madeira at ua.pt
Tue Apr 18 08:30:47 EDT 2017



-------------------------------------------------------
Alexandre Madeira
http://alfa.di.uminho.pt/~madeira
High-Assurance Software Lab,
INESC TEC


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170418/e2ab9861/attachment.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: dalicfp.txt
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20170418/e2ab9861/attachment.txt>


More information about the Types-announce mailing list