Anastasia Isychev

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

Congratulations, Dr.Cutler! 🎓

⏳ 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 😅

say no more: open.spotify.com/track/4wgE9X... 😁

Listening to the song called “Grammar” by the artist “Floating Points”

when your professional choices spill into music choices

haha yeah, that’s the spirit 😁

FSE

noted :)

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 :)

uh-oh, I bet you got an earful from him :)

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 :)

Mine is October 16, 16:15, Neural Networks session :) I’ll talk about performance optimization for floats and how against all odds sound optimizers are doing great in direct comparison with unsound dynamic ones.

I think it’s called sabbatical :)

@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”. 😁

printf gone wrong :)

I meant that I want to be able to finish reviews quickly, because I have a lot of other exciting things on my todo list (the institution doesn’t pressure me to do any of those)

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” (:

I see a big “LLL” here, happy that it’s not “LLM” 😁

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

ACM SIGPLAN Special Interest Group on Programming Languages The ACM Special Interest Group on Programming Languages (SIGPLAN) explores programming language concepts and tools, focusing on design, implementation, ...

Videos from ICFP'24 and colocated events are available now on the ACM SIGPLAN youtube channel!

www.youtube.com/@acmsigplan/...