[TYPES/announce] F-IDE 2021 - Call for Papers

Andrei Paskevich andrei.paskevich at lri.fr
Mon Oct 19 12:17:45 EDT 2020


An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20201019/6c7341a9/attachment.ksh>


More information about the Types-announce mailing list