#etaps2024 — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #etaps2024, aggregated by home.social.
-
Jack Hughes presenting our work on Program Synthesis from Graded Types at ESOP 2024 https://link.springer.com/chapter/10.1007/978-3-031-57262-3_4 #etaps2024 well done Jack!
-
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