[TYPES/announce] QEST 2023: Third Call for Papers with Deadline Extension

QEST Publicity qest.publicity at gmail.com
Tue Apr 25 14:27:48 EDT 2023

Previous message (by thread): [TYPES/announce] 2023 Coq workshop call for presentations
Next message (by thread): [TYPES/announce] Two year postdoc in logic and computation at the University of Bath
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230425/2a9b2434/attachment-0001.htm>

Previous message (by thread): [TYPES/announce] 2023 Coq workshop call for presentations
Next message (by thread): [TYPES/announce] Two year postdoc in logic and computation at the University of Bath
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list