Industry Day @ ETAPS 2025
May 7, 2025, Hamilton, Canada
Thanks to an impressive body of theoretical research and tool development efforts over the last decades, software sciences have been successfully used by industry at various stages of the software lifecycle. These include design, specification, development, validation, and verification of software systems. However, while software engineering tools and techniques are being continually enhanced and already bring benefits to industrial projects, their successful application in industry remains challenging. This is often due to the difficulty to find a suitable tool and to adapt it to the needs of a concrete project. Practical application constraints and challenges are not always well-understood and taken into account by academic researchers.
An intensive interaction between researchers and industrial users is needed to increase industrial applications of software sciences. The goal of the ETAPS Industry Day is to bring industrial practitioners into the heart of the research community and to catalyze this interaction. As the leading international conference in software sciences with 500 participants each year, ETAPS is an unmissable meeting point to develop fruitful collaborations between academia and industry addressing the existing and upcoming challenges.
For companies, the Industry Day provides an opportunity to meet graduate students as prospective future employees, leading researchers as future collaborators, and practitioners who face related challenges.
Organization
The Industry Day gives the opportunity to participants from industry to present their recent use cases, needs of current projects, initiatives in their organizations, or challenges in novel and upcoming projects that leverage formal or semi-formal methods, model-driven design, testing, programming languages, and software engineering in general.
The program will include invited talks and solicited contributions, and it will provide room for informal discussions and networking. An exhibition space will be available for participants to demo their products and illustrate challenges. The space is limited so please contact the organizers ahead of time if you would like to use it.
This is an in-person on-site event. We expect all Industry Day participants and speakers to be physically present at the conference in Hamilton and to be registered for the conference or at least for the industry day. There is no free registration for speakers. More information will be provided late January.
Submissions
Industrial participants are invited to submit proposals of talks (in a PDF file) within one or more of the following topics:
- Recent results and experiences in industrial projects or an application use-case related to formal or semi-formal verification, software engineering, model-driven design, testing, programming languages, or related;
- Research questions and challenging problems in an ongoing initiative or an upcoming project related to formal or semi-formal verification, software engineering, model-driven design, testing, programming languages, or related;
- Proposals of collaborative projects, describing, for instance, a technical problem or a perceived gap in the methods or tools used in industrial practice.
The submission file (in PDF format, 1–2 pages) should clearly indicate:
- The presenter’s first and last name, company, address, contact email, and possibly contributors or co-authors,
- The title of the proposed presentation,
- The desired duration of the presentation (15–30 minutes; the final duration will be indicated by the Industry Day chairs depending on the number of proposals and available slots),
- Which of the above topics are addressed in the presentation (topics 1, 2 or 3)
- An abstract of the talk (within the 1–2 pages) clearly describing the content of the presentation, the context of the work, and, depending on the topic, achieved results or identified needs.
The abstracts will not be formally published, but will be made available electronically to the participants of the event. A lightweight review process will be applied, mostly to enforce topicality. We plan to favor shorter talks (15-30 minutes) and encourage offline discussions between interested participants during the breaks.
The submission website is now open at: https://easychair.org/conferences/?conf=etapsindustryday2025
If you experience problems submitting, please ask for help at etapsindustryday2025@easychair.org
Important Dates
- January 23, 2025 – submission deadline for industrial talk proposals
- February 6, 2025 – notification for accepted industrial talks
- May 3–8, 2025 – ETAPS 2025 Conference, the Industry Day is scheduled on May 7
Organizers
- Sean Kauffman (Queen’s University, Kingston, Canada)
- Nikolai Kosmatov (Thales Research and Technology, France)
- Vera Pantelic (McMaster University, Hamilton, Canada)