home.social

#isabellehol — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #isabellehol, aggregated by home.social.

  1. Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

  2. Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

  3. Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

  4. Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

  5. Mechanizing typed regulatory actions for security tokens: semantics, falsification, and bounded EVM evidence. ~ Jinwook Kim. arxiv.org/abs/2608.29134v2 #IsabelleHOL #ITP

  6. Do you want to do a PhD in Formal Methods and are interested in pursuing a PhD? Look no further, we have an open position leading to a joint degree from the University Paris-Sacly (France) and the University of Exeter (UK):

    Information about the programme can be found at
    * <exeter.ac.uk/study/pg-research>
    * <adum.fr/as/ed/voirproposition.>

    All applications have to be made via the ADUM system:
    <adum.fr/as/ed/voirproposition.>,
    latest on the 22nd of March 2026.

    #phd #phdposition #formal_logic #isabelleHOL #formal_mehods #joboffer #DiscreteMathematics #NumberSystems