Topics:
- COST action on interoperability of proof systems (1 message, latest: Jun 30 2021 at 11:00)
- Proof Ground 2021 (5 messages, latest: Jun 19 2021 at 09:51)
- CADE 2021 call for participation (1 message, latest: Jun 10 2021 at 05:36)
- Research position in Formal Verification at HENSOLDT (1 message, latest: Jun 03 2021 at 20:54)
- PhD verifying automated reasoning in Saarbrücken (1 message, latest: May 20 2021 at 16:37)
- schemes (1 message, latest: Apr 20 2021 at 07:23)
- Stream Subscriptions (3 messages, latest: Apr 07 2021 at 10:44)
- A Replication Crisis in Mathematics? (1 message, latest: Mar 09 2021 at 09:14)
- quantum computing (1 message, latest: Dec 29 2020 at 10:43)
- 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: Jul 24 2021 at 23:18 UTC