[TYPES/announce] QEST 2022 Call for Participation

QEST Publicity qest.publicity at gmail.com
Mon Jul 11 08:35:51 EDT 2022

Previous message (by thread): [TYPES/announce] Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability
Next message (by thread): [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message (by thread): [TYPES/announce] Two PhD opportunities at Swansea University: λ-calculi and automata/dynamical systems and computability
Next message (by thread): [TYPES/announce] Call for Participation: Online Workshop Series "Proofs, Computation and Meaning"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list