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!
📣 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
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-...
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
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...
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".
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. ‹...
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. ‹...
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...
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
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...
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/
www.twitch.tv
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. ‹...
2026.programming-conference.org
‹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...
