Victoria College in the University of Toronto @victoriacollege.bsky.social Victoria College is a vibrant community of students, faculty, staff and alumni in Victoria University, a federated university within U of T.
UofT Libraries @uoftlibraries.bsky.social Official Bluesky account of the University of Toronto Libraries, sharing extraordinary collections & services since 1892.
U of T Faculty of Arts & Science @artsci.utoronto.ca #UofTArtSci is the most academically diverse division at #UofT.
U15 Canada @u15ca.bsky.social Canada’s leading research universities // Les grandes universités de recherche du Canada
https://u15.ca/
Universities Canada / Universités Canada @univcan.ca We are the voice of Canadian universities, at home and abroad.
Nous sommes la porte-parole des universités canadiennes au Canada et à l'étranger.
University Affairs | Affaires universitaires @universityaffairs.bsky.social We are Canada's leading magazine for and about the academic sector.
Nous sommes le principal magazine canadien pour et sur le secteur universitaire.
Nature @nature.com Research, news, and commentary from Nature, the international science journal. For daily science news, get Nature Briefing: https://go.nature.com/get-Nature-Briefing
Science News @sciencenews.bsky.social We report on the latest news in all fields of science. See also @snexplores.bsky.social
Nature [Unofficial] @nature.com.web.brid.gy Nature is the foremost international weekly scientific journal in the world and is the flagship journal for Nature Portfolio. It publishes the finest ...
🌉 bridged from 🌐 https://nature.com/: https://fed.brid.gy/web/nature.com
Information Technology & Security at U of T @its.utoronto.ca Official account of Information Technology Services at @utoronto.ca. Education technologies, information security, human-centred technology, enterprise systems, IT infrastructure and more. Passionate about technology and information security in higher ed!
U of T Department of Computer Science @uoftcompsci.bsky.social The Department of Computer Science at the University of Toronto.
University of Toronto @utoronto.ca Welcome to #UofT! Canada’s top university, and a catalyst for discovery, innovation, and progress. #UofTDefyGravity
🔗 utoronto.ca
Ichiro Hasuo 蓮尾 一郎 @ichirohasuo.bsky.social 情報学の研究者・大学教員．研究分野はソフトウェア科学，特に，数学的基礎・論理学応用・形式検証・論理と統計の融合による実システムの安全性保証．
国立情報学研究所，総合研究大学院大学，株式会社イミロン，他
https://group-mmm.org/~ichiro/
GetNews.me @getnews-me.bsky.social Stay updated with GetNews.me — your source for top trending news in tech, AI, business, science, sports, and health, all in one place.
arxiv cs.CL @arxiv-cs-cl.bsky.social Computer Science -- Computation and Language
source: export.arxiv.org/rss/cs.CL
maintainer: @tmaehara.bsky.social
DeadStack / Technology @deadstack.net Technology news aggregator - now with more... Molecules
http://deadstack.net
arXiv cs.LO Logic in Computer Science @cslo-bot.bsky.social Unofficial bot by @vele.bsky.social w/ http://github.com/so-okada/bXiv https://arxiv.org/list/cs.LO/new
List https://bsky.app/profile/vele.bsky.social/lists/3lim7ccweqo2j
ModList https://bsky.app/profile/vele.bsky.social/lists/3lim3qnexsw2g
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
HN @hnws.bsky.social Unofficial Hacker News Bot.
I publish posts which reach front page of the Hacker News automatically.
In case of issues please contact my maintainer @sashk.dev
Lean Focused Research Organization @lean-lang.org Supporting the Formal Mathematics revolution
Lawrence Paulson @lawrpaulson.bsky.social Computer scientist with a background in mathematics and logic. Academic researching formal verification technologies and applications. Also in the cesspit
Sami Badawi @samibadawi.com Coder monkey 🐒 - aerospace amateur 🚀
Jukka Suomela @jukkasuomela.fi Professor – Department of Computer Science, Aalto University – theory of distributed & parallel computing – https://jukkasuomela.fi- N Nobuko @nohunohu.bsky.social
野村泰紀 @yasunomu1.bsky.social 理論物理学者、カリフォルニア在住。ポストは個人的見解です。フォロワーさん大募集中！😃 【カリフォルニア大学バークレー校教授、ラインウェバー理論物理学研究所所長 / 東京大学カブリIPMU連携研究員 / 理化学研究所客員研究員 / 著書に「なぜ宇宙は存在するのか」(講談社)、「なぜ重力は存在するのか」(MH社) 等】
ずかし♡ @zukashi.bsky.social 
くるる＠在米中年集合論者 @kururumath.bsky.social みなさーん、くるくるー！アメリカの州立大学で集合論やってる中年おじさん、くるるでーす。
アイコンはbing image creatorによるkururu_goedel。
twitter: kururu_goedel, mathtod: kururu
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app