[TYPES/announce] QEST 2022 Call for Papers: Deadline Extension

QEST Publicity qest.publicity at gmail.com
Wed Apr 20 09:45:28 EDT 2022

Previous message (by thread): [TYPES/announce] NFM 2022 - Call for participation
Next message (by thread): [TYPES/announce] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20220420/12dec2e8/attachment.htm>

Previous message (by thread): [TYPES/announce] NFM 2022 - Call for participation
Next message (by thread): [TYPES/announce] FM Tutorial Lecture on THURSDAY, April 28, at 3 pm CET: Prof. Jeremy Gibbons on How to Design Co-Programs
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list