Jesper Agdakx 🔸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).<br><br>The topics range from Modal logic, proof theory, and coalgebras to Programming languages, concurrency, and type systems and Proof assistants (#Agda, <a class="hashtag" href="https://agda.club/tag/rocq" rel="nofollow noopener" target="_blank">#Rocq</a>).<br><br>Information about the positions and application procedure can be found on the website:<br><br><a href="https://cyclic-structures.gitlab.io/vacancies/" rel="nofollow noopener" target="_blank">cyclic-structures.gitlab.io/vacancies/</a><br><br>Please forward to any strong candidates you know!<br><br><a class="hashtag" href="https://agda.club/tag/typetheory" rel="nofollow noopener" target="_blank">#TypeTheory</a> <a class="hashtag" href="https://agda.club/tag/modallogic" rel="nofollow noopener" target="_blank">#ModalLogic</a> <a class="hashtag" href="https://agda.club/tag/concurrency" rel="nofollow noopener" target="_blank">#Concurrency</a> <a class="hashtag" href="https://agda.club/tag/programminglanguages" rel="nofollow noopener" target="_blank">#ProgrammingLanguages</a> <a class="hashtag" href="https://agda.club/tag/typesystems" rel="nofollow noopener" target="_blank">#TypeSystems</a> <a class="hashtag" href="https://agda.club/tag/proofassistants" rel="nofollow noopener" target="_blank">#ProofAssistants</a> <a class="hashtag" href="https://agda.club/tag/cyclicstructures" rel="nofollow noopener" target="_blank">#CyclicStructures</a> <a class="hashtag" href="https://agda.club/tag/phd" rel="nofollow noopener" target="_blank">#PhD</a> <a class="hashtag" href="https://agda.club/tag/netherlands" rel="nofollow noopener" target="_blank">#Netherlands</a> <a class="hashtag" href="https://agda.club/tag/universityofgroningen" rel="nofollow noopener" target="_blank">#UniversityOfGroningen</a> <a class="hashtag" href="https://agda.club/tag/leidenuniversity" rel="nofollow noopener" target="_blank">#LeidenUniversity</a> <a class="hashtag" href="https://agda.club/tag/universityoftwente" rel="nofollow noopener" target="_blank">#UniversityOfTwente</a> <a class="hashtag" href="https://agda.club/tag/tudelft" rel="nofollow noopener" target="_blank">#TUDelft</a> <a class="hashtag" href="https://agda.club/tag/radbouduniversity" rel="nofollow noopener" target="_blank">#RadboudUniversity</a>
101010.pl is one of the many independent Mastodon servers you can use to participate in the fediverse.
101010.pl czyli najstarszy polski serwer Mastodon. Posiadamy wpisy do 2048 znaków.
Administered by:
Server stats:
523active users
101010.pl: About · Status · Profiles directory · Privacy policy
Mastodon: About · Get the app · Keyboard shortcuts · View source code · v4.4.0-alpha.5
#proofassistants
0 posts · 0 participants · 0 posts today
Tom de Jong<p>Call for Papers<br>16th International Conference on Interactive Theorem Proving — ITP'25</p><p>Reykjavik, Iceland<br>27 September – 3 October 2025</p><p><a href="https://icetcs.github.io/frocos-itp-tableaux25/itp/" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">icetcs.github.io/frocos-itp-ta</span><span class="invisible">bleaux25/itp/</span></a></p><p>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.</p><p>- Abstract submission deadline: 12 March 2025<br>- Paper submission deadline: 19 March 2025<br>- Author notification: 23 May 2025<br>- Camera-ready copy due: 27 June 2025</p><p><a href="https://mathstodon.xyz/tags/formalization" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>formalization</span></a> <a href="https://mathstodon.xyz/tags/theoremproving" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>theoremproving</span></a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>proofassistants</span></a> <a href="https://mathstodon.xyz/tags/verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>verification</span></a> <a href="https://mathstodon.xyz/tags/CfP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CfP</span></a></p>
Tom de Jong<p>Registration for the Midlands Graduate School (MGS) in the Foundations of Computing Science is now open!<br>Spaces are limited, so please register early to secure your place.<br><a href="https://tinyurl.com/MGS-2025" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">tinyurl.com/MGS-2025</span><span class="invisible"></span></a></p><p><a href="https://mathstodon.xyz/tags/categorytheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>categorytheory</span></a> <a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>typetheory</span></a> <a href="https://mathstodon.xyz/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>proofassistants</span></a> <a href="https://mathstodon.xyz/tags/quantumcomputing" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>quantumcomputing</span></a></p>
José A. Alonso<p>Lecturas compartidas el 18 de marzo de 2024. <a href="https://jalonso.substack.com/lecturas-compartidas-el-18-de-marzo" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jalonso.substack.com/lecturas-</span><span class="invisible">compartidas-el-18-de-marzo</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/HOL_Light" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HOL_Light</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lean4</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistants</span></a></p>
José A. Alonso<p>Machine assisted proofs. ~ Terence Tao (<span class="h-card" translate="no"><a href="https://mathstodon.xyz/@tao" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>tao</span></a></span>). <a href="https://terrytao.files.wordpress.com/2024/03/machine-assisted-proof-notices.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">terrytao.files.wordpress.com/2</span><span class="invisible">024/03/machine-assisted-proof-notices.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistants</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/HOL_Light" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HOL_Light</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
José A. Alonso<p>Machine assisted proofs [Slides]. ~ Terence Tao (<span class="h-card" translate="no"><a href="https://mathstodon.xyz/@tao" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>tao</span></a></span>). <a href="https://terrytao.files.wordpress.com/2024/03/machine-jan-3.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">terrytao.files.wordpress.com/2</span><span class="invisible">024/03/machine-jan-3.pdf</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/ProofAssistants" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofAssistants</span></a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Coq</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/HOL_Light" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>HOL_Light</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a></p>
ExploreLive feeds
Mastodon is the best way to keep up with what's happening.
Follow anyone across the fediverse and see it all in chronological order. No algorithms, ads, or clickbait in sight.
Create accountLoginDrag & drop to upload