Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#formal_methods

0 posts0 participants0 posts today
jobRxiv<p>PhD Opportunities in Computer Science (Fully Funded) </p><p>R@ISE Project (University of Limerick)</p><p>See the full job description on jobRxiv: <a href="https://jobrxiv.org/job/rise-project-university-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91424" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobrxiv.org/job/rise-project-u</span><span class="invisible">niversity-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91424</span></a></p><p><a href="https://mas.to/tags/computer_science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computer_science</span></a> <a href="https://mas.to/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mas.to/tags/model_driven_development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>model_driven_development</span></a> <a href="https://mas.to/tags/software_engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>software_engineering</span></a> <a href="https://mas.to/tags/ScienceJobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ScienceJobs</span></a> #...<br><a href="https://jobrxiv.org/job/rise-project-university-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91424" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobrxiv.org/job/rise-project-u</span><span class="invisible">niversity-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91424</span></a></p>
jobRxiv<p>PhD Opportunities in Computer Science (Fully Funded) </p><p>R@ISE Project (University of Limerick)</p><p>See the full job description on jobRxiv: <a href="https://jobrxiv.org/job/rise-project-university-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91060" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobrxiv.org/job/rise-project-u</span><span class="invisible">niversity-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91060</span></a></p><p><a href="https://mas.to/tags/computer_science" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>computer_science</span></a> <a href="https://mas.to/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mas.to/tags/model_driven_development" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>model_driven_development</span></a> <a href="https://mas.to/tags/software_engineering" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>software_engineering</span></a> <a href="https://mas.to/tags/ScienceJobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ScienceJobs</span></a> #...<br><a href="https://jobrxiv.org/job/rise-project-university-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91060" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jobrxiv.org/job/rise-project-u</span><span class="invisible">niversity-of-limerick-27778-phd-opportunities-in-computer-science-fully-funded/?feed_id=91060</span></a></p>
Norbert Preining<p>Long overdue, a new release of CafeOBJ - algebraic specification and verification language - CafeOBJ 1.6.2 released <a href="https://www.preining.info/blog/2024/11/cafeobj-1-6-2-released/" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">preining.info/blog/2024/11/caf</span><span class="invisible">eobj-1-6-2-released/</span></a> <a href="https://mastodon.social/tags/cafeobj" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>cafeobj</span></a> <a href="https://mastodon.social/tags/math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>math</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a></p>
Louise Dennis<p>I have a PDRA post available in Assurance for Robotic Autonomous Systems. Really looking for someone with some experience of formal verification or possibly a background in CyberSecurity. Details at: <a href="https://www.jobs.manchester.ac.uk/Job/JobDetail?isPreview=Yes&amp;jobid=30831&amp;advert=external" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://www.</span><span class="ellipsis">jobs.manchester.ac.uk/Job/JobD</span><span class="invisible">etail?isPreview=Yes&amp;jobid=30831&amp;advert=external</span></a> <a href="https://mstdn.social/tags/formal_verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_verification</span></a> <a href="https://mstdn.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mstdn.social/tags/academic_jobs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>academic_jobs</span></a></p>
Rob Sison<p>There's now a video up of the talk I gave at this year's seL4 Summit, on the status of UNSW's projects to verify Time Protection and Microkit-based userland OS services for the seL4 microkernel:</p><p><a href="https://youtu.be/7wcFx6OTEL4" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">youtu.be/7wcFx6OTEL4</span><span class="invisible"></span></a></p><p><a href="https://aus.social/tags/sel4summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>sel4summit</span></a> <a href="https://aus.social/tags/seL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seL4</span></a> <a href="https://aus.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://aus.social/tags/operatingsystems" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>operatingsystems</span></a> <a href="https://aus.social/tags/microkernel" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>microkernel</span></a> <a href="https://aus.social/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://aus.social/tags/HOL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HOL4</span></a> <a href="https://aus.social/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>ITP</span></a> <a href="https://aus.social/tags/modelchecking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>modelchecking</span></a> <a href="https://aus.social/tags/formalmethods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalmethods</span></a> <a href="https://aus.social/tags/formalverification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalverification</span></a> <a href="https://aus.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://aus.social/tags/formal_verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_verification</span></a></p>
Saul Shanabrook<p>I had fun this weekend re-creating the examples from original congruence closure paper from 1980 in Python using egglog</p><p><a href="https://egglog-python.readthedocs.io/latest/explanation/2023_12_02_congruence_closure.html" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">egglog-python.readthedocs.io/l</span><span class="invisible">atest/explanation/2023_12_02_congruence_closure.html</span></a></p><p><a href="https://social.coop/tags/egraph" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>egraph</span></a> <a href="https://social.coop/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a></p>
Papers We Love<p>PWLConf 2023: "Formal semantics for multi-language programs" by Amal Ahmed</p><p><a href="https://youtu.be/xOInz_gt2Fg?si=-I32_74eI8BBqJdh" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">youtu.be/xOInz_gt2Fg?si=-I32_7</span><span class="invisible">4eI8BBqJdh</span></a></p><p><a href="https://mstdn.io/tags/strangeloop" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>strangeloop</span></a> <a href="https://mstdn.io/tags/paperswelove" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>paperswelove</span></a> <a href="https://mstdn.io/tags/pwlconf" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pwlconf</span></a> <a href="https://mstdn.io/tags/pl" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>pl</span></a> <a href="https://mstdn.io/tags/types" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>types</span></a> <a href="https://mstdn.io/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mstdn.io/tags/programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>programming</span></a></p>
nope<p>A Framework for Defining Logics<br>(1993) : Harper, Robert Honsell, Furio ...<br>DOI: <a href="https://doi.org/10.1145/138027.138060" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">doi.org/10.1145/138027.138060</span><span class="invisible"></span></a><br><a href="https://mastodon.social/tags/LF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LF</span></a> <a href="https://mastodon.social/tags/lambda_calculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lambda_calculus</span></a> <a href="https://mastodon.social/tags/proof_search" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof_search</span></a> <a href="https://mastodon.social/tags/theorem_proving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem_proving</span></a> <a href="https://mastodon.social/tags/judgement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>judgement</span></a> <a href="https://mastodon.social/tags/edinburgh_logical_framework" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>edinburgh_logical_framework</span></a> <a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mastodon.social/tags/my_bibtex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>my_bibtex</span></a></p>
nope<p>A Framework for Defining Logics<br>(1993) : Harper, Robert Honsell, Furio ...<br>DOI: <a href="https://doi.org/10.1145/138027.138060" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">doi.org/10.1145/138027.138060</span><span class="invisible"></span></a><br><a href="https://mastodon.social/tags/edinburgh_logical_framework" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>edinburgh_logical_framework</span></a> <a href="https://mastodon.social/tags/LF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LF</span></a> <a href="https://mastodon.social/tags/lambda_calculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lambda_calculus</span></a> <a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mastodon.social/tags/theorem_proving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem_proving</span></a> <a href="https://mastodon.social/tags/judgement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>judgement</span></a> <a href="https://mastodon.social/tags/proof_search" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof_search</span></a> <a href="https://mastodon.social/tags/my_bibtex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>my_bibtex</span></a></p>
nope<p>Formalizing the Dynamics of Semantic Systems in Dialogue<br>(2008) : Larsson, Staffan<br>url: <a href="http://www.ling.gu.se/~sl/Papers/lang-in-flux-larsson.pdf" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">http://www.</span><span class="ellipsis">ling.gu.se/~sl/Papers/lang-in-</span><span class="invisible">flux-larsson.pdf</span></a><br><a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mastodon.social/tags/dialogue" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>dialogue</span></a> <a href="https://mastodon.social/tags/coordination" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>coordination</span></a> <a href="https://mastodon.social/tags/semantics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>semantics</span></a> <a href="https://mastodon.social/tags/my_bibtex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>my_bibtex</span></a></p>
nope<p>A Framework for Defining Logics<br>(1993) : Harper, Robert Honsell, Furio ...<br>DOI: <a href="https://doi.org/10.1145/138027.138060" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">doi.org/10.1145/138027.138060</span><span class="invisible"></span></a><br><a href="https://mastodon.social/tags/LF" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>LF</span></a> <a href="https://mastodon.social/tags/proof_search" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proof_search</span></a> <a href="https://mastodon.social/tags/theorem_proving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theorem_proving</span></a> <a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mastodon.social/tags/judgement" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>judgement</span></a> <a href="https://mastodon.social/tags/lambda_calculus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>lambda_calculus</span></a> <a href="https://mastodon.social/tags/edinburgh_logical_framework" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>edinburgh_logical_framework</span></a> <a href="https://mastodon.social/tags/my_bibtex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>my_bibtex</span></a></p>
nope<p>Verification of business rules programs<br>(2012) : Berstel-Da Silva, Bruno<br>url: <a href="https://nbn-resolving.org/urn:nbn:de:bsz:25-opus-87991" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">nbn-resolving.org/urn:nbn:de:b</span><span class="invisible">sz:25-opus-87991</span></a><br><a href="https://mastodon.social/tags/production_system" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>production_system</span></a> <a href="https://mastodon.social/tags/rule_system" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rule_system</span></a> <a href="https://mastodon.social/tags/BRMS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>BRMS</span></a> <a href="https://mastodon.social/tags/formal_methods" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formal_methods</span></a> <a href="https://mastodon.social/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mastodon.social/tags/rule" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>rule</span></a> <a href="https://mastodon.social/tags/my_bibtex" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>my_bibtex</span></a></p>
SearchLive feeds
About