@vclatuwien.bsky.social
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms. https://www.vcla.at
@confcav.bsky.social
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@fermatslibrary.bsky.social
A platform for illuminating academic papers. We annotate and share a paper every week.
@mondefense.bsky.social
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
@fmasworkshop.bsky.social
Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Skeets by Matt Luckcuck & Akhila Bairy
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@formalmtds.bsky.social
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@unesco-wld.bsky.social
UNESCO World Logic Day: 14 January. Coordinated by CIPSH, the International Council for Philosophy and the Human Sciences. Accout run by @denizsarikaya.bsky.social
@nasawebb.extwitter.link
⚠️ MIRROR OF twitter.com/NASAWebb ⚠️ If you own the original account and want to claim this, please contact @twttr-mirrors.bsky.social
@jankofron.bsky.social
Associate professor at Charles University, Czech Republic, computer science, program verification, linux
@sigplan-pldi.bsky.social
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.
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@posledniskaut.bsky.social
Nobody likes you. Everybody hates you. You're gonna lose. Smile, you fuck.
@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/