mastodon.world is one of the many independent Mastodon servers you can use to participate in the fediverse.
Generic Mastodon server for anyone to use.

Server stats:

8.1K
active users

#ModalLogic

0 posts0 participants0 posts today
RanaldClouston<p>My paper 'Semantical Analysis of Intuitionistic Modal Logics between CK and IK', with Jim de Groot and Ian Shillito, is now in its final edited preprint form: <a href="https://arxiv.org/abs/2408.00262" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2408.00262</span><span class="invisible"></span></a> . I will travelling to <a href="https://fediscience.org/tags/LICS" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LICS</span></a> <a href="https://fediscience.org/tags/LICS2025" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LICS2025</span></a> to present it in Singapore in late June. <a href="https://fediscience.org/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://fediscience.org/tags/modalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>modalLogic</span></a></p>
CubeRootOfTrue<p>$Trump ordered government agencies to prepare for mining the ocean floor.</p><p>Just because it is legal does not mean you should do it. Permission is not obligation.</p><p>Just say no. They have no power if you ignore them.</p><p><a href="https://mathstodon.xyz/tags/JustSayNo" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>JustSayNo</span></a> <a href="https://mathstodon.xyz/tags/ModalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModalLogic</span></a> <a href="https://mathstodon.xyz/tags/RM3" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>RM3</span></a></p>
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
Cyclic Structures in Programs and ProofsVacanciesBy Jorge Perez