#etaps — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #etaps, aggregated by home.social.
-
Is anybody I know going to CMCS (Coalgebraic Methods in Computer Science) in Turin this year? It is co-located with @[email protected].
On Saturday 11 at 15:00 (local time), I'll be presenting a short contribution by Sergey Goncharov, @[email protected], @[email protected], Henning Urbat, and me.
Title and abstract are available at the link below. The full paper is under review at a double-blind venue, so please only open the link if you're not double-blind reviewing any coalgebra papers.
https://www.coalg.org/cmcs26/programme/#day-2026-04-11
#Turin #Torino #coalgebra #etaps #cmcs -
I made a simple slide.
**Probability in Computer Science**
_PICS: The best PhD School of the Century_
October 14-18, 2024, https://etaps.org/about/fopss-schools/2024/#pics #PhDschool #sigplan #siglog #etaps2024 #etaps @ETAPSconf @ACM
-
And a #CallForPapers for one of my favourite conferences: #FoSSaCS #FoSSaCS2024 (Foundations of Software Science and Computation Structures) "invites submissions on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems". https://etaps.org/2024/conferences/fossacs/ . FoSSaCS is part of the #ETAPS #ETAPS2024 collection of conferences #TCS #TheoreticalCS