**Call for Scholarship Applications** Limited travel support available for students attending #FLoC26 Mentoring Workshop @floc2026.bsky.social. Deadline: 13 April, 2026 Apply at: forms.gle/89q9AaNfZV3f... Notification: 20 April, 2026 Help us spread the word! More details: tinyurl.com/floc26mw

My colleague called LLMs “the modern horoscope”, and it’s now my favorite definition 😁

⏳ FLoC 2026 Deadlines Coming! 📆 Jan 15+22 (LICS) 📆 Jan 23+30 (FSCD) 📆 Jan 24+31 (ICLP) 📆 Jan 28 (CAV) 📆 Jan 29 (CSF) 📆 Feb 6+13 (IJCAR) 📆 Feb 8+13 (KR) 📆 Feb 12+19 (ITP) 📆 Feb 20+27 (SAT) 📆 Feb 28+Mar 7 (CP) Learn more: www.floc26.org #FLoC2026 #LogicInCS

My international soul with Slavic roots is delighted every time someone says I have a *German* accent when I speak English.

I was looking for someone’s up-to-date email address, which led me to Linkedin. So now I down the rabbit hole updating my account that I haven’t used since 2013 😅

when your professional choices spill into music choices

Academia is such a weird thing. I already agreed to give a talk at a workshop in November 2026, but cannot tell which country I’ll be living in at that time :)

I don’t know who thought it’s a good idea to start authors response period on a Friday (probably afternoon), but here we are

📢 Call for Submissions – FLoC 2026 Join FLoC 2026: top conferences, 86 workshops (including Mentoring Workshop, Olympic Games, tutorials, and doctoral consortia), and leading invited speakers. 🔗 Learn more and find submission details: www.floc26.org #FLoC2026 #LogicInCS

Two countries and almost three weeks later I finally returned home from OOPSLA :)

Presented our #CCS25 paper yesterday in Taipei! 🎤 We introduce Circuzz, the first systematic fuzzing framework for zero-knowledge (ZK) pipelines. 📄 Paper: mariachris.github.io/Pubs/CCS-202... 💻 Repo: github.com/Rigorous-Sof... with @isychev.bsky.social, @vwuestholz.bsky.social, Maria Christakis

On my way to #SPLASH25! Taking the longest direct flight for me so far: 12 hours. See you on the other side :)

@confcav.bsky.social FOMO starting in three, two, one …

🚀 Welcome to the official Bluesky presence of the Federated Logic Conference 2026 (FLoC 2026), coming to Lisbon, Portugal in July 2026! floc26.org #FLoC2026 #LogicInCS

a shot in the dark, but is anyone I know here going to IJCAI in Montreal?

Love the title of a student’s report for my seminar: “Floats and Other Lies Computers Tell”. 😁

Dear fellow reviewers, any tips on how to be more efficient with reviews without sacrificing quality? I want to give detialed feedback, so spending quite a lot of time reading. Time that I sometimes don't have :)

tis the season of “reject because you don’t cite a paper that is not yet published and preprint is not available” (:

CAV (International Conference on Computer Aided Verification) is now also on Bluesky! Please follow @confcav.bsky.social and help us spread the word.

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel! www.youtube.com/@acmsigplan/...

I guess all those people who said they could build Twitter in a weekend finally lived up to their promise.