#fics23 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #fics23, aggregated by home.social.
-
#FICS23 (International Workshop on Fixed Points in Computer Science), which runs alongside #CSL2023 , "is to bring together people from different fields such as algebra/coalgebra, verification, logic, around the thematic of fixed points". No proceedings, but "Depending on the nature of the contributions, a special issue of #FundamentaInformaticae might be published with selected contributions". #FixedPoint I couldn't find a website but here is a web link to the call: https://sympa.inria.fr/sympa/arc/coq-club/2022-11/msg00032.html