Topics:
- PhD project in Isabelle and Security Protocol Verification (1 message, latest: Oct 23 2026 at 10:25)
- ProofStudio (7 messages, latest: Oct 05 2026 at 11:01)
- Research roles at Melbourne: seL4, Isabelle, AI, security (1 message, latest: Oct 05 2026 at 03:10)
- Funding opportunity: The Justin Sun Prize (1 message, latest: Sep 28 2026 at 18:10)
- Andrew Hodges: LMS/BCS-FACS Seminar on Alan Turing (12 Nov) (1 message, latest: Sep 25 2026 at 23:29)
- TYPES 2026: Post-proceedings Call for Papers (1 message, latest: Sep 23 2026 at 17:43)
- Research positions on Isabelle verification of Agentic seL4 (1 message, latest: Sep 21 2026 at 20:37)
- Heinzelmen public beta: browser-based automated proof search (1 message, latest: Aug 16 2026 at 15:26)
- Introducing AoA (3 messages, latest: Jul 27 2026 at 03:32)
- PIDE MCP: Connecting AI Agents to Isabelle (4 messages, latest: Jul 13 2026 at 07:58)
- VSTTE 2026 CFP (2 messages, latest: Jun 15 2026 at 01:53)
- Survey On Verification-Aware Programming (1 message, latest: Jun 08 2026 at 11:08)
- Zulip updates (27 messages, latest: Apr 28 2026 at 21:42)
- TYPES 2026 (4 messages, latest: Mar 13 2026 at 13:02)
- Top 100 Quantum Theorems (1 message, latest: Mar 12 2026 at 04:18)
- AIPV 2026 (1 message, latest: Mar 09 2026 at 11:10)
- Agentic workflows for Isabelle (1 message, latest: Mar 05 2026 at 16:06)
- CFP ThEdu'26 workshop at FLoC (Lisbon 19 July) (1 message, latest: Feb 28 2026 at 14:28)
- Proof assistants for Teaching event (PAT 2026)-Paris-June (1 message, latest: Feb 28 2026 at 14:27)
- VerifyThis 2026: Call for Participation (1 message, latest: Feb 24 2026 at 10:06)
- ITP 2027 - Call for Bids (1 message, latest: Jan 27 2026 at 10:05)
- Introduce Minilang and our machine learning toolkit (5 messages, latest: Jan 23 2026 at 18:30)
- VerifyThis 2026: Call for problems (1 message, latest: Jan 16 2026 at 17:58)
- ❗ Isabelle 2025-1 is out (2 messages, latest: Dec 18 2025 at 08:31)
- Cambridge seminar series resuming! (12 messages, latest: Oct 20 2025 at 10:19)
- Job ad: innovation engineer at ICARM (1 message, latest: Sep 30 2025 at 00:09)
- Job ad: Lean curriculum-development fellow at Imperial (1 message, latest: Aug 29 2025 at 14:11)
- Identify participants of the first HOL users meeting (2 messages, latest: Mar 13 2025 at 18:05)
- Tenure-Track Research Positions in Prague (1 message, latest: Feb 07 2025 at 18:13)
- Job Ad: Five-Year Professorship in Bonn (1 message, latest: Feb 03 2025 at 11:02)
- Isabelle Survey (1 message, latest: Jan 10 2025 at 12:38)
- YouTube (1 message, latest: Dec 31 2024 at 13:48)
- PhD and postdoc positions in PL/FM at NTU, Singapore (2 messages, latest: Dec 13 2024 at 03:48)
- AI for Math Fund (1 message, latest: Dec 05 2024 at 19:10)
- Job Ad: Lund & KU Leuven positions (1 message, latest: Nov 27 2024 at 01:05)
- REPL (1 message, latest: Nov 12 2024 at 12:03)
- Job Ad: Join Huawei in Paris or London (1 message, latest: Jun 30 2024 at 09:18)
- Call for talk proposals: EuroProofNet Workshop (1 message, latest: Jun 06 2024 at 10:30)
- IJCAR 2024 Workshop (1 message, latest: May 02 2024 at 22:40)
- Annals of Formalized Mathematics (1 message, latest: Mar 22 2024 at 14:18)
- Funded PhD Position: Formalizing Go(lang) in Isabelle/HOL (1 message, latest: Mar 18 2024 at 16:14)
- Job ad: Lecturer in Computer Science DEADLINE 22 JANUARY (1 message, latest: Jan 12 2024 at 14:34)
- Interactions Between Proof Assistants and Mathematical Softw (1 message, latest: Dec 18 2023 at 01:12)
- Tenure-track assistant professor position at Lund (1 message, latest: Dec 09 2023 at 17:21)
- 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: Nov 13 2026 at 11:56 UTC