Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
eupolicy.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
This Mastodon server is a friendly and respectful discussion space for people working in areas related to EU policy. When you request to create an account, please tell us something about you.

Administered by:

Server stats:

217
active users

eupolicy.social: AboutProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.8

#formalization

0 posts0 participants0 posts today
Thomas<p>Robert Rosen's approach of grounding formalization in science in the ultimate formalization, math, is as self-similar as thinking about thought.</p><p>His use of "category theory" provides a mathematical analogy to analogies.</p><p>I must confess that I need a lot of time to understand his writings - I keep learning new things every time I read it again.</p><p><a href="https://mas.to/tags/RobertRosen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RobertRosen</span></a> <a href="https://mas.to/tags/Formalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>Formalization</span></a> <a href="https://mas.to/tags/categorytheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>categorytheory</span></a></p>
Tom de Jong<p>I'm happy to report that my expository note (<a href="https://arxiv.org/abs/2408.11501" rel="nofollow noopener noreferrer" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2408.11501</span><span class="invisible"></span></a>), which has previously been kindly mentioned on here by <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@ecavallo" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>ecavallo</span></a></span> and <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@jonmsterling" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>jonmsterling</span></a></span>, has been accepted to the TYPES 2024 post-proceedings 🙂</p><p><a href="https://mathstodon.xyz/tags/typetheory" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>typetheory</span></a> <a href="https://mathstodon.xyz/tags/formalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>formalization</span></a></p>
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 noreferrer" 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 noreferrer" target="_blank">#<span>formalization</span></a> <a href="https://mathstodon.xyz/tags/theoremproving" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>theoremproving</span></a> <a href="https://mathstodon.xyz/tags/proofassistants" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>proofassistants</span></a> <a href="https://mathstodon.xyz/tags/verification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>verification</span></a> <a href="https://mathstodon.xyz/tags/CfP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>CfP</span></a></p>
ExploreLive feeds
About