Topics:
- Full-time positions in formalized mathematics at Düsseldorf (1 message, latest: Jun 27 2022 at 07:12)
- Public Zulip for Guests (2 messages, latest: May 06 2022 at 14:58)
- stream events (2 messages, latest: May 06 2022 at 07:15)
- StackExchange proposed site ProofAssistants (4 messages, latest: Feb 08 2022 at 19:01)
- Several PhD Positions in Exeter, UK (1 message, latest: Dec 15 2021 at 14:54)
- IJCAR 2022 - Call for Workshops, Tutorials and Competitions (1 message, latest: Aug 11 2021 at 06:37)
- 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)
Last updated: Jul 07 2022 at 04:05 UTC