#proofassistants — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #proofassistants, aggregated by home.social.
-
After 50 years of "progress," proof assistants are still just glorified calculators for people who think typing "Isabelle Coq" makes them sound smart. 🤓🔧 It's the same old story of academia's perpetual quest to turn #math into a spectator sport—except this game has fewer fans than a #calculus lecture. 🥱📉
https://lawrencecpaulson.github.io//2025/12/05/History_of_Proof_Assistants.html #proofassistants #academia #humor #IsabelleCoq #spectatorSport #HackerNews #ngated -
With the NWO XL consortium on Cyclic Structures in Programs and Proofs, we are looking for 6 highly motivated and talented PhD students starting in September (with some flexibility).
The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, #Rocq).
Information about the positions and application procedure can be found on the website:
cyclic-structures.gitlab.io/vacancies/
Applications will be evaluated on a rolling basis but should be submitted by the 23rd of May for full consideration.
Please forward to any strong candidates you know!
#TypeTheory #ModalLogic #Concurrency #ProgrammingLanguages #TypeSystems #ProofAssistants #CyclicStructures #PhD #Netherlands #UniversityOfGroningen #LeidenUniversity #UniversityOfTwente #TUDelft #RadboudUniversity -
Call for Papers
16th International Conference on Interactive Theorem Proving — ITP'25Reykjavik, Iceland
27 September – 3 October 2025https://icetcs.github.io/frocos-itp-tableaux25/itp/
ITP is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.
- Abstract submission deadline: 12 March 2025
- Paper submission deadline: 19 March 2025
- Author notification: 23 May 2025
- Camera-ready copy due: 27 June 2025#formalization #theoremproving #proofassistants #verification #CfP
