For beginners: A review article on Isabelle (1 message, latest: Oct 13 2020 at 07:34)
quantum game theory (1 message, latest: Nov 27 2019 at 08:53)
Assistant Prof. position in Quantum Information (1 message, latest: Nov 21 2019 at 00:36)
Synthese volume on Foundations (1 message, latest: Nov 19 2019 at 14:24)
stream events (1 message, latest: Nov 12 2019 at 16:41)
Last updated: Oct 30 2020 at 00:00 UTC