iiinova — where your digital self keeps evolving

Reposted by Anastasia Isychev

Clément Canonne @ccanonne.github.io · 28/09/2026

By my wonderful colleague Katy Gero: A 4-month artist residency, Feb to May 2027, at the School of Computer Science at #USyd, "to support artists working on projects that involve serious consideration of computation and its related subjects." Share broadly, and apply! www.writefutureslab.com/air/

writefutureslab.com

Artist in Residence

2177

Anastasia Isychev @isychev.bsky.social · 18/09/2026

Come join us for summer research internships at #USyd! Important detail: only students enrolled at Australian universities are eligible

023

Reposted by Anastasia Isychev

School of Computer Science, University of Sydney @sydneycompsci.bsky.social · 24/08/2026

Delighted to welcome our new faculty member, Anastasia Isychev (@isychev.bsky.social) , to #USyd! Anastasia brings her expertise in formal methods and program analysis to the School.

0114

Anastasia Isychev @isychev.bsky.social · 12/07/2026

One week left until the FLoC'26 Mentoring Workshop! We have a great line up of speakers and panelists: tinyurl.com/floc26-mw Submit questions for panel discussions already now via onlinequestions.org. Use event number: - 119250726 for PhD-students panel - 219250726 for researchers panel

tinyurl.com

FLoC 2026: The 9th Federated Logic Conference

000

Anastasia Isychev @isychev.bsky.social · 12/07/2026

what a great metaphor! I am also a pedestrian, and (somewhat reluctantly) learning to buy plane tickets for when I do need to go far

010

Anastasia Isychev @isychev.bsky.social · 12/05/2026

Next time I teach a class on abstract interpretation I’ll call it (as advised by one of the students on our group): “AI with AI (without AI)” *spelled out: Abstract Interpretation with Anastasia Isychev (without Artificial Intelligence)

1100

Anastasia Isychev @isychev.bsky.social · 09/05/2026

how to annoy a group of Austrians with just one word? say Apfelschorle and faces will turn sour

120

Anastasia Isychev @isychev.bsky.social · 01/04/2026

I find it funny that if you search for “joy” on amazon, it shows a bunch of sport clothes. You cannot buy joy, go do some sports, and here is a suitable outfit for that :)

130

Reposted by Anastasia Isychev

Jingbo Wang @jingbow.bsky.social · 29/03/2026

We encourage undergraduate, master’s, and early-stage PhD students interested in programming languages to apply for PLMW at PLDI 2026. It is a great opportunity to learn from researchers, build connections, and explore future directions in PL. Apply here: pldi26.sigplan.org/home/PLMW-PL...

pldi26.sigplan.org

PLMW @ PLDI 2026 - Programming Languages Mentoring Workshop 2026 - PLDI 2026

The Programming Language Mentoring Workshop (PLMW) aims to broaden the exposure of late-stage undergraduate students and early-stage graduate students to research and career opportunities in programmi...

0610

Anastasia Isychev @isychev.bsky.social · 30/03/2026

some good things come out of social media: saw Clément’s post, checked band’s tour dates, and voila, went to Franz Ferdinand’s concert in Vienna yesterday 😊 It was so much fun! Such energy!

070

Anastasia Isychev @isychev.bsky.social · 28/03/2026

Nothing beats overhearing a conversation in a random cafe, where two men complain how women get all the faculty jobs even though their male competitors are “clearly better”.

150

Reposted by Anastasia Isychev

Hila Peleg @hilacodes.bsky.social · 18/03/2026

We're running a user study, maybe you can help! We're studying the effect of new ways to show code diffs to programmers, and looking for participants for a 1-1.5hr virtual user study. In the study you will be shown several diffs and asked questions about them.

12121

Reposted by Anastasia Isychev

Rupak Majumdar @rupakmajumdar.bsky.social · 19/03/2026

Dear network, I am looking for a postdoc with experience in Lean (or some other theorem prover) and interest in systems.

197

Anastasia Isychev @isychev.bsky.social · 03/03/2026

**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

forms.gle

FLoC 2026 Mentoring Workshop - Application for Travel Scholarship

A number of travel scholarship are available to sponsor the physical attendance of students at one of the FLoC 2026 conference blocks and the corresponding Mentoring Workshop day. Please fill this for...

046

Anastasia Isychev @isychev.bsky.social · 12/02/2026

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

031

Reposted by Anastasia Isychev

FLoC 2026 @floc2026.bsky.social · 19/12/2025

⏳ 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

1023

Anastasia Isychev @isychev.bsky.social · 12/12/2025

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

010

Anastasia Isychev @isychev.bsky.social · 09/12/2025

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 😅

130

Anastasia Isychev @isychev.bsky.social · 04/12/2025

when your professional choices spill into music choices

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

190

Anastasia Isychev @isychev.bsky.social · 23/11/2025

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

170

Anastasia Isychev @isychev.bsky.social · 21/11/2025

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

220

Reposted by Anastasia Isychev

FLoC 2026 @floc2026.bsky.social · 12/11/2025

📢 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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

113

Anastasia Isychev @isychev.bsky.social · 06/11/2025

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

030

Reposted by Anastasia Isychev

Christoph Hochrainer @chochrainer.bsky.social · 15/10/2025

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

043

Anastasia Isychev @isychev.bsky.social · 14/10/2025

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

020

Reposted by Anastasia Isychev

FLoC 2026 @floc2026.bsky.social · 18/07/2025

🚀 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

floc26.org

FLoC 2026: The 9th Federated Logic Conference

132

Anastasia Isychev @isychev.bsky.social · 01/07/2025

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

111

Anastasia Isychev @isychev.bsky.social · 20/06/2025

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

010

Anastasia Isychev @isychev.bsky.social · 04/03/2025

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

120

Anastasia Isychev @isychev.bsky.social · 19/12/2024

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

160

Reposted by Anastasia Isychev

rakamaric.bsky.social @rakamaric.bsky.social · 27/11/2024

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

0167

Reposted by Anastasia Isychev

Kristopher Micinski @krismicinski.bsky.social · 14/11/2024

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

031