Topics:
- The Whitehead Theorem and The Puppe Sequence (1 message, latest: Nov 21 2023 at 00:30)
- Multiple theorem proving PhD/postdoc jobs at LMU München (1 message, latest: Sep 28 2023 at 12:29)
- Postdoc Posistion @ SIT (1 message, latest: Nov 24 2022 at 09:40)
- Full-time positions in formalized mathematics at Düsseldorf (2 messages, latest: Oct 17 2022 at 09:53)
- Postdoc and Internship positions at IBM Research (1 message, latest: Oct 14 2022 at 22:24)
- Bonn: two professorships in formal maths (1 message, latest: Sep 23 2022 at 17:57)
- BIRS workshop on formalization of cohomology theories (1 message, latest: Aug 11 2022 at 14:52)
- 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: Dec 07 2023 at 16:21 UTC