🤝
Make a deal with EATCS
🔒 Paid proposals held safely in escrow — released only when the work's approved.
Followers
40
Account age
0 yrs
💰 Suggested sponsorship rate
$40 – $65 / sponsored post
Estimated from audience size & typical reach — every deal is negotiable and held in SocialDB escrow.
🧰 Free analysis for EATCS
Known for
6 views
The person in the "Know the Person behind the Papers" column of this issue of the bulletin is Nancy Lynch:
https://bulletin.eatcs.org/index.php/beatcs/article/view/886/945
The picture here is from 1982, roughly at the time when she proved the FLP impossibility result (with Fischer and Paterson), one of the cornerstones of distributed computing!
6 views
The June issue of the EATCS Bulletin is now available!
https://eatcs.org/images/bulletin/beatcs149.pdf
4 views
In the (first half) of the Concurrency Column (of the June issue of the BEATCS), Elaine Li summarizes the results of her PhD about global protocol verification of message-passing algorithms.
https://bulletin.eatcs.org/index.php/beatcs/article/view/891/956
4 views
In the Eduction Column of the June issue of the BEATCS, Moritz Stocker and Dennis Komm tell us about their experience evaluating the performance of ChatGPT on a Theory of Computing course at ETH Zurich.
Spoiler: GPT5 did very well.
https://bulletin.eatcs.org/index.php/beatcs/article/view/889/948
📊 Post engagement
4
Avg engagement / post
10%
Engagement vs followers
Mar 2026
On Mastodon since
🔥 Top post: The person in the "Know the Person behind the Papers" column of · 6 likes + reposts
📊 Activity & format
Posting cadence
1.1 / week
A lower-frequency account — each post lands with more weight.
Content mix
Mostly images
Recent: 2 text · 10 image · 0 video.
Recent posts
View on Mastodon ↗
🔥 Top post
The person in the "Know the Person behind the Papers" column of this issue of the bulletin is Nancy Lynch:
https://bulletin.eatcs.org/index.php/beatcs/article/view/886/945
The picture here is from 1982, roughly at the time when she proved the FLP impossibility result (with Fisc…
The Conference Reports Column of the June issue of the bulletin was about STACS 2026, which took place in Grenoble, France.
It is in two parts: first Antoine Amarilli, Nicolas Bousquet (@nicolasb) and Justine Cauvi tell us about the gener…
In the (second half of) the Concurrency Column (of the June issue of the BEATCS), Franco Barbanera, Mariangiola Dezani-Ciancaglini and Ugo de’Liguoro tell us about the practical expressive power of modern session type frameworks.
https://…
In the (first half) of the Concurrency Column (of the June issue of the BEATCS), Elaine Li summarizes the results of her PhD about global protocol verification of message-passing algorithms.
https://bulletin.eatcs.org/index.php/beatcs/arti…
In the Eduction Column of the June issue of the BEATCS, Moritz Stocker and Dennis Komm tell us about their experience evaluating the performance of ChatGPT on a Theory of Computing course at ETH Zurich.
Spoiler: GPT5 did very well.
https:/…
In the "Logic in CS" column (of the June issue of the BEATCS), Yuri Gurevich explains how abstract state machine, a formalization of the notion of algorithms that primarily models deterministic sequential computation, can be enhanced with …
In the June issue of the bulletin of the EATCS, Stefan Neumann continues his exploration of "TCS on the web" and interviews Ittai Abraham, Kartik Nayak,
Ling Ren, and Alin Tomescu who participate in the collective blog "Decentralized thoug…
In the June issue of the bulletin of the EATCS, Michel Raynal reflects on the job of teacher-researcher.
https://bulletin.eatcs.org/index.php/beatcs/article/view/895/954
In the June issue of the bulletin of the EATCS, Matthias Függer and Thomas Nowak tell us about their experience of formally verifying a distributed computing paper in Lean. They had no expertise in verification/certification, and used Code…
The June issue of the EATCS Bulletin is now available!
https://eatcs.org/images/bulletin/beatcs149.pdf
Yishay Mansour is the recipient of the 2026 EATCS Award. 🏆 🎆
Laudatio: Yishay Mansour is responsible for many fundamental seminal results. In particular his contributions in the areas of machine learning, reinforcement learning, algorithm…
The 2026 Dijkstra Prize in Distributed Computing goes to the paper "Distributed Verification and Hardness of Distributed Approximation"
by Atish Das Sarma, Stephan Holzer, Liah Kor, Amos Korman, Danupon Nanongkai, Gopal Pandurangan, David …
🐘 Community & instance
Home server
mathstodon.xyz
Their home server on the fediverse — the instance a creator picks signals the community they belong to.
On Mastodon since
Mar 2026
An established account with real history on the platform.
💡 Facts
🗓️Joined Mastodon in 2026.
👁️Averages 4 views per post.
📤Posts about 1.1× per week.
🛡️ Audience credibility
69/100
Good
Credibility score
92%
Real
Real audience
Low
Fake-follower risk
Medium
Data confidence
- Est. 92% real, active audience · Low fake-follower risk.
- Strong engagement (~0.1× of followers engage each post) — an active, real audience.
Heuristic estimate from engagement, follower ratios, account age & growth — a screening signal, not a guarantee.
About
EATCS stands for European Association for Theoretical Computer Science.
The aim of the EATCS is to facilitate the exchange of ideas and results among theoretical computer scientists as well as to stimulate cooperation between the theoretical and the practical community in computer science. #CSTheory
📸 Gallery
🔀 Audience overlap
EstimatedEstimated shared audience with similar creators — useful for avoiding overlap (or doubling down) when planning a campaign.
More like this
Find more →
Mastodon
Christian Jensen
@pianophile@mastodon.social
40
Followers
Mastodon
Chairmander ✓
@l_prod@mastodon.gamedev.place
40
Followers
Mastodon
PhilMcface
@philmcface@social.vivaldi.net
40
Followers
Mastodon
submariner.wtf ✓
@dr@indieweb.social
40
Followers
Mastodon
Nizzlay ✓
@nizzlay@indieweb.social
40
Followers
Mastodon
hotemogf
@chia@indieweb.social
40
Followers
✉ Message EATCS
Reaching out to influencers is a Pro feature. Upgrade to message any influencer directly — perfect for brands and agencies booking sponsorships.
- ✓ Message any influencer from their listing
- ✓ The influencer gets notified by email
- ✓ Manage every conversation in one inbox
Already Pro? Log in.
🎤 Event / appearance with EATCS
Booking an event / appearance is a Pro feature. Upgrade to book EATCS for an in-person or virtual appearance — payment held safely in escrow until the event is done.
- ✓ Book them for events, livestreams, panels & more
- ✓ EATCS gets notified by email
- ✓ Fee held in escrow, released after the appearance
Already Pro? Log in.
🚀
You're out of free requests this month
Free accounts get 5 per month. Go Pro for unlimited sponsor pitches, collab requests & sponsorship deals — plus featured placement, the Verified badge, free withdrawals and more.
Upgrade to Pro — $9.95/mo →Your free limit resets on the 1st of next month.