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

Andrei Paskevich andrei.paskevich at lri.fr
Wed Feb 24 15:28:39 EST 2021

Previous message (by thread): [TYPES/announce] VerifyThis 2021: Call for Participation + Grants + Prizes
Next message (by thread): [TYPES/announce] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [TYPES/announce] VerifyThis 2021: Call for Participation + Grants + Prizes
Next message (by thread): [TYPES/announce] Assistant and Associate Professorship Positions in Computer Science at the University of Southern Denmark
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list