home.social

#fscd — Public Fediverse posts

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

fetched live
  1. RanaldClouston @[email protected] ·

    Packing for #FLoC2026 in Portugal (the cat is not coming). Hope to see a few of you there? #FLoC #LICS #FSCD

    #floc2026 #floc #lics #fscd
  2. Volker Stolz🏳️‍🌈 @[email protected] ·

    FSCD has free virtual participation:

    fscd-conference.org/2026

    #FSCD

    #fscd
  3. RanaldClouston @[email protected] ·

    A first #CallForPapers has gone out for #FSCD #FSCD2024 (Formal Structures for Computation and Deduction) on at least one mailing list, although the website cs.ioc.ee/fscd24/ is not yet updated with it. The conference "covers all aspects of formal structures for computation and deduction from theoretical foundations to
    applications" and will be held in Talinn in July next year. #TypeTheory #ProofTheory

    #prooftheory #typetheory #fscd2024 #fscd #callforpapers