Following
@ocamlpro.bsky.socialETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS. ETAPS 2027: April 10–15, Copenhagen, Denmark https://etaps.org
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer. Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible. Opinions are my own and not the views of my employer. https://linktr.ee/erikmd
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Muriel Shan Sei Fan - OCamlPro @muriel42.bsky.social OCamlPro's CEO w. Fabrice Le Fessant, President & Founder. We are a powerful team of world-class IT experts. 3 business lines: 1/ Programming Languages Optimization & Design 2/ Security & Safety with Formal Methods 3/ Solving Technical Debt challenges.
David Declerck @davdeclerck.bsky.social Just because many people are wrong doesn't mean they are right
- F Fabrice Le Fessant @flf.bsky.social
Bluesky @bsky.app official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app