[ 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 Intelligenc
[ 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
https://urldefense.com/v3/__http://www.mat
[ 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:
https://urldefense.com/v3/__https://europroofnet.github.io/wg6-kickoff-stockho