home.social

#floc2026 — Public Fediverse posts

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

fetched live
  1. RanaldClouston @[email protected] ·
    CW: FLoC self promotion

    If any logicians currently in Lisbon are interested, my invited talk at IMLA is tomorrow morning, 9:15, in room C5.09. I'll be talking intuitionistic modal logics and their possible worlds semantics. #FLoC #FLoC2026

    #floc #floc2026
  2. Andrej Bauer @[email protected] ·

    #FLOC2026 not going so well.

    #floc2026
  3. Andrej Bauer @[email protected] ·

    Is there a #FLOC2026 Zulip or some such and why not?

    #floc2026
  4. 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
  5. Benjamin Bisping @[email protected] ·

    Check out my presentations on #games, #bisimulation, and #ltl at #FLoC26 next week!

    #FLoC2026 #ProgramEquivalence #Lisbon

    #games #bisimulation #ltl #floc26 #floc2026 #programequivalence
  6. Massimo Lauria @[email protected] ·

    I would try Rome Lisbon by train this time, but any solution I find looks like an ordeal. #train #flight #travel #floc2026

    #floc2026 #travel #flight #train