Workshops‹Programming› 2025

The <Programming> conference is an open-minded event that welcomes a diversity of perspectives on programming. It provides a unique meeting place that brings together researchers studying formal methods and verification, programming experience and practice of programming, implementation techniques, as well as social and historical aspects of programming. This makes the perfect place for hosting events that try to explore new ways of thinking about our discipline!

At <Programming> 2025, we will host a number of satellite events to build a community and provide an inspiring environment where participants can exchange ideas and experiences related to programming. The events will generally take place on Monday and Tuesday before the main conference.

Organizing an Event

An satellite event can be intended as a collaborative forum to exchange recent and/or preliminary results, to conduct intensive discussions on a particular topic, or to coordinate efforts between representatives of a technical community. A satellite event can also be regarded as a forum for lively discussion of innovative ideas, progress, or practical experience on programming and applied software development in general for specific aspects, specific problems, or domain-specific needs. A satellite event can also provide a venue for presenting collaboratively developed new perspectives or new approaches to the broader <Programming> community.

Exploring New Formats

We encourage event organizers to be creative and experiment with all kinds of events including traditional workshops, but also hallway discussions or informal academic parties. We are happy to host events at the conference venue, or find a suitable alternative location for your creative event ideas!

Possible types of events include, but are not limited to, a meeting like a Dagstuhl Seminar or Shonan meeting, a gathering for an international research project, a tool demonstration or tutorial, hands-on workshops in which participants experience one or several aspects of practical software development, social gathering around a particular topic, collaborative writing session and so on.

Practical Notes

• Open meetings are preferable but closed ones could be accepted. We are flexible and welcome innovative social gatherings; if you have any ideas or questions, please contact the workshops co-chairs.

• The duration of an event is in general one day, but we encourage the submission of half-day workshop proposals on focused topics as well.

• If desired, the workshop proceedings can be included in the pre-conference Conference Companion Proceedings, published in the ACM Digital Library.

Call for Events

Please submit your workshop proposal electronically via the submission system, and adhere to the workshop proposal guidelines given below. Please keep it brief and use the provided form. The intention is not to spend time on proposal writing, but on preparing the organization of the workshop.

Important Dates

We will accept events on rolling basis, so please submit your event ideas early. This will give you more time to solicit great submissions! That said, the last possible dates for organising satellite events at the conference are as follows:

• Workshop proposal deadline: December 1, 2024
• Workshop acceptance notification: December 15, 2024
• Workshop web page and CFP: January 1, 2025

When organising an event with open submission, follow the following deadlines:

• Deadline for workshop submission: Before April 1, 2025
• Deadline for author notification: Before May 1, 2025
• Deadline for Camera-Ready Papers (ACM DL): End of May 2025

Workshops will take place on Monday and Tuesday 2-3 June 2025.

Formatting Guidelines

Those articles intended to be included Conference Companion Proceedings in the ACM DL should follow the ACM primary article template accessible at this link (see step 3).

Proposal Guidelines

Please include the following information either directly in the proposal, or CFP. The submission system has a form that includes an abstract (for the website), the CFP, and the remaining proposal. CFPs often cover the same information, duplication is not necessary for such cases. Organizers of a workshop previously co-located at are allowed to submit a minimal proposal including information for the questions marked with (*).

1. What is the motivation for the workshop?

• Objectives
• Intended audience

2. Event organizers and planning (*)

• Organizers and primary contact (name / affiliation / email)
• Brief details on the organizers (previous workshop organizing experience, etc.)
• How many participants do you expect (please make at least an educated guess)
• If the workshop happened before, what were the participant numbers?
• What kind of software do you need to run the workshop (e.g. slack, Zoom, Teams, etc.)
• Advertisement: Planned advertisement strategy to ensure participation

3. Workshop program committee

• If so, please list the members (indicated as finalized or expected).

4. Planned workshop format

• Intended submission format (e.g. intended format for articles, posters, abstracts, or any other kind of submission requested to participate in the workshop)
• Intended workshop format (including duration, number of presentations/talks, planned invited talks/keynotes, etc.)
• Evaluation process for submissions
• Planned deadlines

5. Intended publication of accepted submissions (*)

• ACM DL post companion proceedings and/or website pre/post-proceedings