[TYPES/announce] FM 2015: Call for Participation (20th Intl. Symposium on Formal Methods, Oslo)

Martin Steffen msteffen at ifi.uio.no
Sun May 3 15:35:55 EDT 2015


A non-text attachment was scrubbed...
Name: not available
Type: application/octet-stream
Size: 8497 bytes
Desc: not available
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150503/df4f3255/attachment.obj>


More information about the Types-announce mailing list