[TYPES/announce] ProLaLa 2023 -- Programming Languages and the Law (Jan 15th 2023, Boston) : Deadline Oct 27th 2022

Denis Merigoux denis.merigoux at inria.fr
Sun Sep 4 11:07:30 EDT 2022

Previous message (by thread): [TYPES/announce] Call for Papers: Unsound - Sources of Unsoundness in Verification (Deadline Extension: 2022-09-16)
Next message (by thread): [TYPES/announce] Call for Papers: ESOP 2023
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [TYPES/announce] Call for Papers: Unsound - Sources of Unsoundness in Verification (Deadline Extension: 2022-09-16)
Next message (by thread): [TYPES/announce] Call for Papers: ESOP 2023
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list