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

Andrei Paskevich andrei.paskevich at lri.fr
Fri Jan 8 12:52:48 EST 2021


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


More information about the Types-announce mailing list