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

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

Clément Canonne@ccanonne.github.io · 4w ago

Pedestrian in the Age of Planes: a (cope?) 🧵. I grew up walking and biking to go places. My whole training, and later professional life, was done accordingly: I don't go really far, nor really fast, but I have a good sense of direction, and developed very specific muscles. Now we have planes. 1/

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)

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

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

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

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

pldi26.sigplan.org

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!

Clément Canonne@ccanonne.github.io · 8mo ago

Back in my day, we listened to Franz Ferdinand on the radio, in France. Kids these days

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

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.

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

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

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

forms.gle

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/...

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, ...

youtube.com