[TYPES/announce] MFPS final call for papers

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] --- Effect of Coronavirus The organizers of MFPS and of QPL are jointly monitoring the evolving coronavirus outbreak, and how to respond. We believe it is too early to

[TYPES/announce] PhD position in proof theory at the University of Bath

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] ** PhD position in proof theory at the University of Bath EFFICIENT AND NATURAL PROOFS AND ALGORITHMS Proofs and algorithms are everyday objects in our discipline, but they are still very

[TYPES/announce] CALL FOR PAPERS - Applied Category Theory Conference (ACT2020)

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] CALL FOR PAPERS 3rd Annual International Conference on Applied Category Theory (ACT2020) July 6 – 10, 2020, MIT, USA http://act2020.mit.edu * * * Applied category theory is a

[TYPES/announce] PhD position in Logic at Utrecht University, the Netherlands

[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] PhD position in Logic at Utrecht University, the Netherlands The PhD project is embedded in the research project Optimal Proofs funded by the Netherlands Organisation for Scientific