[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
the summer school on Verification Techniques, Systems, and Applications (VTSA
2023) will take place from August 28 to September 1, 2023, in Nancy, France. I
believe that t
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The Types conference is an almost yearly conference held since 1990. It
is a forum to present new and on-going work in all aspects of type
theory and its applications. In the week from June
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
FACS 2023 - Call for Papers
https://urldefense.com/v3/__https://facs-conference.github.io__;!!IBzWLUs!UKvfEuhWHLXWthNaedouxN_inEyAg_kMFTuGZFK6c1bv5c28rZRkjunpP-4BZmokJnpdrg2mGJtHDt8FOPkdmZgAu
[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
CALL FOR PAPERS
Combined
30th International Workshop on Expressiveness in Concurrency
and 20th Workshop on Structural Operational Semantics
(EXPRESS/SOS 2023)
https://urldefense.com/v3/