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

[Alexandre Madeira]

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