VCLA | TU Wien
The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at
@ituaustria.bsky.social
Official Bluesky Account of IT:U https://it-u.at/en/
@tuwien.at
Unter dem Motto "Technik für Menschen" wird an der Technischen Universität Wien seit mehr als 200 Jahren geforscht, gelehrt und gelernt. https://www.tuwien.at
@istaresearch.bsky.social
The Institute of Science and Technology Austria (ISTA) is dedicated to cutting-edge basic research and graduate education. www.ista.ac.at
@splcconf.bsky.social
29th ACM International Systems and Software Product Line Conference (SPLC) #splc2025 📅 September 1-5, 2025 📍A Coruña, Spain
@adalovelaceday.bsky.social
International celebration of women in science, tech, engineering & maths. Join us on Tues 8 Oct at the Royal Institution!
@maxplanck.de
Official account of the Max Planck Society. Devoted to basic #research in #physics #astronomy #chemistry #biology #earthsciences #materialscience #mathematics #socialsciences and the #humanities; Imprint: https://www.mpg.de/imprint
@msolitro.bsky.social
Ph.D. student @ TU Wien (Security & Privacy Research Unit). Formal methods for blockchain security 🔐⛓️
@georgetakei.bsky.social
I’ve boldly gone into the clear blue yonder. Follow for more recipes and tips.
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@anitaleirfall.bsky.social
Associate Professor of #Philosophy at the University of Bergen. 🇳🇴 Various philosophical interests. Kant’s theoretical philosophy is my field of specialty. Other interests: arts, science, music, literature, photography, and travels.
@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
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@sciball.bsky.social
The Vienna Science Ball represents Vienna’s science and research community in its excellence and diversity. Typical elements of a Viennese Ball are combined with scientific and artistic contributions from Vienna’s universities. www.wissenschaftsball.at
@fwf-at.bsky.social
Der Wissenschaftsfonds FWF ist Österreichs zentrale Einrichtung zur Förderung der Grundlagenforschung.
@erc.europa.eu
European Research Council, set up by the EU, funds top researchers of any nationality, helping them pursue great ideas at the frontiers of knowledge. #HorizonEU
@oeadworldwide.bsky.social
Österreichs Agentur für Bildung und Internationalisierung Austria’s Agency for Education and Internationalisation ➡️ UNSERE PROGRAMME: bit.ly/3XnTLZt ➡️ UNSERE WEBSITE: https://oead.at/de/
@ijcai.org
IJCAI is the longest-running premier international AI research conference since 1969. 🌍 Connect across domains and feel the pulse of AI. 🗓️ #IJCAI2025❗16-22 August 2025❗Montreal 🇨🇦
@tobywalsh.bsky.social
Reputably an "AI rock star". Though the only rock star'ish thing he's ever done is getting banned indefinitely from Russia.
@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
@arminwolf.at
Politik, Medien & Sonstiges | Kein ORF-Account | Blog: arminwolf.at | Foto: Peter Rigaud
@joeyprink.bsky.social
Professor of Computer Science | Director GameLabGraz GameDevDays | #GameDev Research Science Tech VR AI | @TUGraz | past LMU ETH MIT EA | Forbes 30u30 Science | mountains ⛰️ twitch.tv/JoeyPrink youtube.com/@JoeyPrink jpirker.com
@minimalblue.bsky.social
Senior Scientist @TU Wien / Web & Mobile Security / #drumandbass DJ 🚩 with @mhackeroni.bsky.social We_0wn_Y0u kukhofhackerei Team Austria 🔗 https://minimalblue.com/
@informatik.bsky.social
Die #GI setzt sich seit über 50 Jahren für die Förderung der #Informatik in allen Lebensbereichen ein. #WirSindInformatik
@szeider.bsky.social
Professor & Chair at TU Wien, leading the Algorithms and Complexity Group. Specializing in symbolic and neurosymbolic methods to address complex computational problems in AI, automated reasoning, and combinatorial optimization. (ac.tuwien.ac.at)
@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
@denizsarikaya.bsky.social
postdoc at the Cente for Logic and Philosophy of Science at the Vrije Universiteit Brussels (FWO-project on Epistemology & Ethics of Big Data) focuses on Phil of (Math | AI | CS), Science and Society, Wittgenstein & Math. Education. www.denizsarikaya.de
@euromathsoc.bsky.social
The European Mathematical Society is the learned society for mathematicians throughout Europe, promoting the development of all aspects of mathematics in Europe.
@floschle.bsky.social
Managing Communication, Events & SciEdu @istaresearch.bsky.social | Climate Book Author 'Ändert sich nichts, ändert sich alles' | Physicist & Philosopher | private opinion | he/him
@rwth.bsky.social
➡️ 𝗢𝗳𝗳𝗶𝘇𝗶𝗲𝗹𝗹𝗲𝗿 𝗔𝗰𝗰𝗼𝘂𝗻𝘁 𝗱𝗲𝗿 𝗥𝗪𝗧𝗛 ⬅️ by RWTH-Pressestelle 🙋♂️🙋♀️ https://wonderl.ink/@rwthaachenuniversity #RWTH #RWTHAachen #rwthaachenuniversity
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@womeninlogic.bsky.social
Women in Logic: Dismantling inequality skeet by skeet. https://www.womeninlogic.org/
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@juergenklatzer.bsky.social
schreibt für den „Falter“ | privat juergenklatzer.at Fotocredit: C. Mavrič
@florianaigner.at
Physiker, Autor, Wissenschaftserklärer, Kolumnist. Wien, Europa, Milchstraße & Umgebung. Glaube nicht alles, was du denkst!
@jasec-tuwien.bsky.social
The Japan Austria Science Exchange Center coordinates the scientific cooperation between TU Wien and Japanese Partner Institutions
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app