iiinova — where your digital self keeps evolving

‹Programming› Conference @programming-conf.bsky.social · 22/09/2026

In 2027, the International Conference on the Art, Science, and Engineering of Programming (‹Programming› 2027) will be held from 15 to 19 March in Kyoto, Japan. We are looking for workshops and similar events. More info, deadlines, and submissions: 2027.programmingconference.org/track/progra...

2027.programmingconference.org

‹Programming› 2027 - Workshops - ‹Programming› 2027

To build a community and to foster an environment where participants can exchange ideas and experiences related to practical software development, <Programming> will host a number of workshops and sim...

0116

‹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 · 15/03/2026

The wait is almost over. Tomorrow, March 16, ‹Programming› 2026 officially begins! Get ready for a week dedicated to the art, science, and engineering of programming. Travel safe, and we'll see you at the opening session! 2026.programming-conference.org

2026.programming-conference.org

‹Programming› 2026

The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short—is a new conference focused on programming topics including the experience of programming. ‹...

011

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

Less than a week until ‹Programming› 2026 in Munich (March 16–20)! What’s ahead: - 4 days of deep-dive sessions. - Workshops including MoreVMs, PX/26, SCLIT, VIMPL, and Substrates. - Networking in the heart of Bavaria. We can’t wait to see you there! Final details: 2026.programming-conference.org

2026.programming-conference.org

‹Programming› 2026

052

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

Final 24h! Early bird for #prog26 ends tomorrow, Feb 20. Don't miss the art & science of programming in Munich (Mar 16–20)! Register: 2026.programming-conference.org Submit to the Substrates workshop: 2026.programming-conference.org/home/substra...

2026.programming-conference.org

‹Programming› 2026

022

‹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

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 05/06/2025

Is schema change someone else's problem? @jonathoda.bsky.social presenting our paper "Schema Evolution in Interactive Programming Systems" at @programming-conf.bsky.social Check it out: programming-journal.org/2025/9/2/

0115

‹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 · 04/06/2025

Dobré ráno! After a successful second #prog25 day, the main conference will start today. Stay tuned for research paper talks, #SRC posters, and a keynote by Molly Wright Steenson on "Architecture and Generativity". Today's main talks will be streamed over at www.twitch.tv/programmingc...

twitch.tv

ProgrammingConference - Twitch

‹Programming› 2025The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹P...

000

‹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

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 27/05/2025

Cannot make it to Prague for @programming-conf.bsky.social? 🎬 We will be streaming the keynotes, regular talks and MoreVMs workshop talks online! 👉 Keep an eye on: 2025.programming-conference.org

11010

‹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 · 21/05/2025

Want to get feedback on your paper idea? Want to demonstrate your new music programming tool? Want to start a discussion? Then submit a #LightningTalk to #prog25 ⚡ All topics relevant to ‹Programming› are welcome. For more information, see: 2025.programming-conference.org/track/progra...

2025.programming-conference.org

‹Programming› 2025 - Lightning Talks - ‹Programming› 2025

Lightning Talks provide attendees of ‹Programming› with the opportunity to discuss their recent and ongoing work, clarify problem statements, get feedback on their ideas or identify suitable evaluatio...

000

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 14/05/2025

Last minute arrangements for @programming-conf.bsky.social - visiting the Old Town Hall where the Welcome reception on Monday will be!

082

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 20/05/2025

Coming to @programming-conf.bsky.social? Submit a Lightning Talk proposal to share & discuss what you are currently working on! 2025.programming-conference.org/track/progra...

023

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

📣 Reminder: Early bird registration for #prog25 ends April 18th (23:59 AoE) Register now to join us in Prague, Czechia, from June 2nd to 6th 2025 (for the early bird price 🐦) For more information, take a look at: 2025.programming-conference.org/attending/re...

2025.programming-conference.org

Registration - ‹Programming› 2025

The International Conference on the Art, Science, and Engineering of Programming—or ‹Programming› for short— focuses on programming topics including the experience of programming. ‹Programming› seeks ...

010

Reposted by ‹Programming› Conference

‹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 · 02/04/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

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 21/03/2025

Looking forward to the ‹Programming› 2025 keynotes! Keeping with the tradition, we're bringing together thought-provoking ideas from architecture with in-depth technical content. Join us 2-6 June 2025 in Prague & follow @programming-conf.bsky.social Registration: 2025.programming-conference.org

Keynote speakers:
Molly Wright Steenson - Architecture and Generativity
Thomas Wuerthinger - What We Tried and Didn't Work for GraalVM

041

‹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

Reposted by ‹Programming› Conference

Stefan Marr @stefan-marr.de · 14/03/2025

Are the experiments not quite working out, or the results strange? Is the work not quite ready for the upcoming OOPSLA deadline? We know the feeling! Though, discussing early results or non-results can help figuring it out. Submit a talk to MoreVMs: 2025.programming-conference.org/home/MoreVMs...

064

‹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

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 13/02/2025

The @programming-conf.bsky.social registration is now live! Early registration deadline is April 18th, but we very much appreciate earlier registrations :-). Use the handy overview table below to plan your trip! 2025.programming-conference.org/attending/re...

1104

‹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

Reposted by ‹Programming› Conference

SCLIT @sclit.bsky.social · 26/01/2025

And yes... SCLIT 2025 is on the list of events colocated with the @programming-conf.bsky.social. See you in Prague!!!

011

Reposted by ‹Programming› Conference

SCLIT @sclit.bsky.social · 26/01/2025

Meet our venue for this year, @programming-conf.bsky.social, and out chairs, @ncardozo.bsky.social and @gockothedwarf.bsky.social ... Welcome to #sclit2025 and #prog25!!!

022

Reposted by ‹Programming› Conference

Tomas Petricek @tomasp.net · 23/01/2025

Please Welcome @programming-conf.bsky.social We now also have a full list of papers to be presented in the main conference track. Join us on 2.-6. June in Prague!

0158

‹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