home.social

#csl2023 — Public Fediverse posts

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

  1. Thế Giới Trong Tầm Tay @[email protected] ·

    Shanghai Shenhua đã có màn lội ngược dòng ấn tượng, đánh bại Qingdao Hainiu 3-2, chiếm vị trí đầu bảng với 17 điểm. Cùng lúc đó, Shanghai Port thể hiện sức mạnh khi đánh bại Tianjin Jinmen Tiger 4-1, giữ vững vị thế với một trận đấu còn lại. #CSL2023 #Shenhua #Port ift.tt/yE4Okwe

    #csl2023 #shenhua #port
  2. RanaldClouston @[email protected] ·

    #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: sympa.inria.fr/sympa/arc/coq-c

    #fixedpoint #fundamentainformaticae #csl2023 #fics23