[TYPES/announce] 2nd CfP: AMAI Special Issue on Symbolic Computation in Software Science

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Call for submissions Annals of Mathematics and Artificial Intelligence Special Issue on on Symbolic Computation in Software Science -- In the Era of Computational and Artificial

[TYPES/announce] Autumn school "Proof and Computation", Fischbachau (Germany), 26 Sep - 1 Oct 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] [Apologies for for multiple postings.] Autumn school "Proof and Computation" Fischbachau, Germany, 26th Sep. to 1st Oct. 2022

[TYPES/announce] Workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] We are organizing a workshop on Syntax and Semantics of Type Theories in Stockholm, Sweden, on May 20-21, 2022: