iiinova — where your digital self keeps evolving

‹Programming› Conference @programming-conf.bsky.social · 24/03/2026

We had a week of many inspiring talks, demos, and discussions about Programming Experience, Value Independence, Programming Languages, Substrates, Virtual Machines, and Software Verification. Thank you to everyone who was there!

020

‹Programming› Conference @programming-conf.bsky.social · 16/02/2026

Early registration for #prog26 ends Feb 20! 2026.programming-conference.org Join us in Munich (Mar 16–19) for the art & science of programming! Workshops: MoreVMs, PX/26, SCLIT, VIMPL, and Substrates. Submit to the Substrates workshop until Feb 20: 2026.programming-conference.org/home/substra...

041

‹Programming› Conference @programming-conf.bsky.social · 06/06/2025

Last day of #prog25 In the morning, feel free to join the Effekt tutorial. In the afternoon, take a look around our host city in the Prague walking tour; including Prague Castle. Please note that lunch is NOT provided by the conference today. 2025.programming-conference.org/home/effekt-...

A photo of the gate near Prague Castle. Some people are standing in the foreground. In the middle of the photo is a gate with intricate decorations and two guards posted at the sides. There is an orange-ish building behind the gate. Behind the building, the tops of two antique castle towers can be seen.

000

‹Programming› Conference @programming-conf.bsky.social · 05/06/2025

📣 Follow us for updates on #prog26: It was just announced that the next ‹Programming› will be held in Munich, Germany. The exact dates are not finalized yet, but it will move back to its original timeslot of being held around March. 2026.programming-conference.org

A photo of the announcement that <Programming> 2026 will take place in Munich. General chair of <Programming> 2025 Tomas Petricek is standing in the lower half of the picture holding a microphone. In the upper part is a projected slide with a photo of Munich. The slide says "<Programming> 2026 Munich"

A screenshot of the <Programming> 2026 website. It is very empty because this was just announced, but it is displayed that the conference will take place in March in Munich.

050

‹Programming› Conference @programming-conf.bsky.social · 05/06/2025

Congratulations to all award winners from yesterday's #prog25 award ceremony 🎉 Today, we will have paper and SRC talks. We will announce the #SRC winners at today's conference closing 🏆 We are starting the day with a keynote by Thomas Wuerthinger on "What We Tried and Didn't Work for GraalVM".

A photo of the first round of the student research competition at <Programming> 2025. There is a hallway with 7 SRC posters pinned to the walls. Groups of people are standing around the posters; the students explaining their research to the audience.

A photo of general chair Tomas Petricek at the <Programming> 2025 award ceremony. Tomas is standing in the lower part of the picture in front of a chalkboard, smiling at the audience. Above him is a projected slide with a photo of a river in Prague at night with text saying "<Programming> 2025 Awards".

010

‹Programming› Conference @programming-conf.bsky.social · 03/06/2025

Let's start day 2 of #prog25 with some impressions of day 1! We kicked off the conference with the #MoreVMs, #QP, and #PX workshops. Today, no events will be streamed. The keynotes and research paper talks of the next two days will be streamed.

A photo of Prague in the evening. In the foreground is the old townhall, the location of the welcome reception. The antique clock of the townhall can be seen. There are crowds of people and further buildings, including a church with two towers, in the background.

A photo of a Poster saying: Welcome to <Programming> 2025 June 2-6 2025.
There is a picture of Prague on the poster.

A photo of a coffee break at <Programming> 2025. The room has a high ceiling and the wall in the back has a big painting on it. In the foreground, people are discussing and eating snacks.

A photo of general chair Tomas Petricek giving a speech at the <Programming> 2025 welcome reception in the old townhall of Prague.

1152

‹Programming› Conference @programming-conf.bsky.social · 02/06/2025

Only a few hours left until #prog25! 📽 Reminder that if you can't join us in Prague, you can watch the ‹Programming› stream for free. Today's streamed event is the #MoreVMs #workshop Official Twitch Account: www.twitch.tv/programmingc...

021

‹Programming› Conference @programming-conf.bsky.social · 23/05/2025

Only about 9 days until ‹Programming› 2025! Can't join us in Prague this year? Watch the #prog25 livestream 🎥 We will stream all keynotes, paper presentations, and the MoreVMs workshop. You do not need a registration to watch the stream. For more information, see: 2025.programming-conference.org

A screenshot of the main <Programming> conference website.

The key information displayed is:
1. The conference takes place from Monday 2nd to Friday 6th June 2025 in Prague, Czechia.
2. There is live stream countdown saying "9 days, 22 hours, 16 minutes, 07 seconds". The livestream description is "We will be live-streaming the conference keynotes, main conference research paper presentations (Wednesday and Thursday) and the MoreVMs workshop presentations (Monday). If you cannot make it to Prague in person, follow the conference remotely. No registration is required for watching!"

022

‹Programming› Conference @programming-conf.bsky.social · 02/04/2025

📣 Reminder: The #StudentVolunteer application deadline for #prog25 is approaching quickly! Apply until Tuesday April 8th, 2025 For more information, see 2025.programming-conference.org/track/progra...

A screenshot of the <Programming> student volunteer program website. The displayed application deadline is April 8th, 2025

001

‹Programming› Conference @programming-conf.bsky.social · 29/03/2025

The VIMPL #workshop is once more co-located with #prog25! VIMPL provides a forum to discuss the (re)emergence of value independence in programming languages, in applications, for optimization, and its challenges. Submission deadline: April 11, 2025 2025.programming-conference.org/home/vimpl-2...

A screenshot of the VIMPL workshop website. The displayed submission deadline is Fri April 11, 2025

011

‹Programming› Conference @programming-conf.bsky.social · 24/03/2025

The program of #prog25 now features two amazing keynotes: Molly Wright Steenson: #Architecture and #Generativity Thomas Wuerthinger: What We Tried and Didn't Work for #GraalVM To hear the keynotes in Prague this June, register for the conference here 2025.programming-conference.org/attending/re...

Title on top: <Programming> Keynotes. Two keynote speakers for the <Programming> conference 2025. On the left is Molly Wright Steenson, keynote title "Architecture and Generativity". On the right is Thomas Wuerthinger, keynote title "What we tried and didn't work for GraalVM".

011

‹Programming› Conference @programming-conf.bsky.social · 19/03/2025

The #prog25 #StudentVolunteer (SV) program was just published! 📣 Apply until April 8., 2025 Being a #SV is a chance for students to participate in the conference whilst assisting us in preparing and running the events. For information, see 2025.programming-conference.org/track/progra...

A screenshot of the SV website. The displayed application deadline is April 8, 2025. The displayed submission link for applications is https://forms.gle/jxCRuQpCjamoksbNA

045

‹Programming› Conference @programming-conf.bsky.social · 17/03/2025

The #ProgrammingExperience workshop is once again co-located with ‹Programming›! Submission deadline: March 22. 2025 One of the focus questions of the 11th edition is: What can we build to share the joy of programming with others? #prog25 #PX25 2025.programming-conference.org/home/px-2025

A screenshot of the Programming Experience workshop website. The displayed submission deadline is March 22, 2025

000

‹Programming› Conference @programming-conf.bsky.social · 07/03/2025

Want to shape the future of #interactiveAuthoringTools? Take a look at #Substrates, co-located with #prog25 📣 The first workshop is by invitation. Researchers should contact one of the organizers informally before submitting (Deadline Mar 16th, 2025) 2025.programming-conference.org/home/substra...

Screenshot of the Substrates workshop website. The displayed submission deadline Sun 16 Mar 2025

030

‹Programming› Conference @programming-conf.bsky.social · 04/03/2025

Last chance to submit to the #SRC of #prog25! The deadline to submit abstracts for the Student Research Competition has been extended to March 10th, 2025 2025.programming-conference.org/track/progra...

A screenshot of the SRC website. The displayed submission deadline is Mon 10 Mar 2025

032

‹Programming› Conference @programming-conf.bsky.social · 03/03/2025

Are you interested in #QuantumComputing? Submit to the QP workshop co-located with #prog25, deadline: March 14, 2025 Topics include but are not limited to research challenges, possible solutions, and future research directions of quantum programming. 2025.programming-conference.org/home/qp-2025

Screenshot of the QP workshop website. The displayed submission deadline is Fri 14 Mar 2025

042

‹Programming› Conference @programming-conf.bsky.social · 25/02/2025

If you are researching #programmingLanguages, submit to #SCLIT at #prog25 Submission deadline: March 7, 2025 All aspects of computer languages are relevant including but not limited to theory, implementation, processing and analysis tools. 2025.programming-conference.org/home/sclit-2...

A screenshot of the SCLIT workshop website. The displayed submission deadline is Fri 7 March 2025.

013

‹Programming› Conference @programming-conf.bsky.social · 18/02/2025

Registration for #prog25 is now online: 2025.programming-conference.org/attending/re... Reminder that we still have open deadlines: Submit your work to the Student Research Competition 🏆 until March 3rd 2025 (AoE) Submit to our workshops 📝 whose deadlines are in March and April

A screenshot of the student research competition website. The submission deadline is Monday, 3rd March 2025, Anywhere on Earth

032

‹Programming› Conference @programming-conf.bsky.social · 29/01/2025

We are happy to announce that #MoreVMs is once again co-located with ‹Programming› 🎉 At the #prog25 edition, you will be able to discuss the design, implementation, and usage of modern languages and runtimes. Submit your paper until March 25., 2025 2025.programming-conference.org/home/MoreVMs...

A screenshot of the MoreVMs 2025 wesite: https://2025.programming-conference.org/home/MoreVMs-2025

The displayed submission deadline is Tuesday March 25., 2025

000

‹Programming› Conference @programming-conf.bsky.social · 20/01/2025

#Workshops and #tutorials co-located with #prog25 have been announced! Follow us for more details on both recurring and new events. Also consider submitting to the #SRC: The deadline has been extended to March 3rd, 2025. Read more at: 2025.programming-conference.org/track/prog25...

A screenshot of the list of workshops and tutorials co-located with <Programming> 2025. From top to bottom, there are: the 9th Symposium on Computer Languages, Implementations and Tools. Effekt: Lexical Effect Handlers in Action. MoreVM's 25. Programming Experience Workshop. Software Substrates. The 3rd International Workshop on the Art, Science, and Engineering of Quantum Programming. Value Independence in Modern Programming Languages.

022

‹Programming› Conference @programming-conf.bsky.social · 18/01/2025

Hello everyone! This is the new, official Bluesky account for the International Conference on the Art, Science, and Engineering of Programming. #prog25 will take place from June 2 to June 6, 2025, in Prague, Czechia. Follow us for updates including but not limited to #WorkshopPapers and our #SRC

Photo of Prague, Czechia. In the foreground, the river Vltava with two boats can be seen. In the background, city buildings can be seen.

$Photo of a Keynote on "Programming algorithmic art" by Benoit Baudry at <Programming> 2024. The speaker is standing at a podium at the bottom of the picture. Above him is a big screen showing his presentation consisting of code on the left and a fractal-like picture created by the code on the right.$ A photo of the keynote for the VIMPL workshop about "Verona: Ownership, Value Independence, Memory Management, and the Future of Mutation" by Ellen Arvidsson at <Programming> 2024. The speaker is standing in front of a projected screen showing the presentation slide and pointing at a diagram. The slide is titled "Behavior-oriented concurrency".

A photo of the keynote for the VIMPL workshop about "Verona: Ownership, Value Independence, Memory Management, and the Future of Mutation" by Ellen Arvidsson at <Programming> 2024. The speaker is standing in front of a projected screen showing the presentation slide and pointing at a diagram. The slide is titled "Behavior-oriented concurrency".

052