MOSCA’25
Meeting on String Constraints and Applications 2025
The third Meeting on String Constraints and Applications (MOSCA'25) will take place at CAV'25 (@confcav.bsky.social) in Zagreb, Croatia on July 22. Early registration is deadline June 22. See mosca2025.github.io for more information, including confirmed speakers. #cav25
31.05.2025 14:12 — 👍 1 🔁 0 💬 0 📌 0
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
A platform for illuminating academic papers. We annotate and share a paper every week.
The official MND R.O.C. Twitter account! Follow us for the latest news and activities of MND andR.O.C. Armed Forces here. Follow, RTs and Links≠Endorsement
SAT Solver Hacker, Professor, University of Freiburg
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher
Skeets by Matt Luckcuck & Akhila Bairy
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
New blue sky. Same old troll.
UNESCO World Logic Day: 14 January. Coordinated by CIPSH, the International Council for Philosophy and the Human Sciences.
Accout run by @denizsarikaya.bsky.social
⚠️ MIRROR OF twitter.com/NASAWebb
⚠️ If you own the original account and want to claim this, please contact @twttr-mirrors.bsky.social
Associate professor at Charles University, Czech Republic, computer science, program verification, linux
The ACM Special Interest Group on Programming Languages.
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
Nobody likes you. Everybody hates you. You're gonna lose. Smile, you fuck.
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCS, FASE and ESOP.
ETAPS 2026: April 11 - 16, Turin, Italy
https://etaps.org/
