conferences.computer.science

All conferences / 30 Years of UPPAAL / 2025

30 Years of UPPAAL 2025

30 Years of UPPAAL Workshop at AISoLA 2025

Held1–4 Nov 2025 WhereRhodes 🇬🇷 RankCORE absent Website 2025-aisola.isola-conference.org/ ↗
Closed

Submission closed on 18 Oct 2025. Proceedings are published after the event.

Submission timeline

  • 18 Oct 2025 Abstract registration
  • 18 Oct 2025 Full paper
  • 3 Dec 2025 Notification
  • 1 Nov 2025 Conference opens

What to submit

Format
According to the AISoLA 2025 guidelines
Proceedings
Springer LNCS — Paywalled, for-profit
Published after the event.
Journal
Post-proceedings with selected papers (based on submission and presentation) will be published in an LNCS volume
Co-located with
Part of the AISoLA 2025 conference

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement. The conference’s own page is at 2025-aisola.isola-conference.org/. 

Call for Papers: 30 Years of UPPAAL Workshop at AISoLA 2025

We are pleased to announce a special workshop titled "30 Years of UPPAAL" as part of the AISoLA 2025 conference. This workshop celebrates three decades since the publication of the first papers on UPPAAL and the release of the tool itself. We invite researchers, practitioners, and educators to submit their contributions to this commemorative event.
Topics of Interest

We welcome submissions on a wide range of topics related to UPPAAL, including but not limited to:

    Data Structures and Algorithms: Innovations and improvements in data structures and algorithms that are integral to UPPAAL.

    Modeling and Analysis: Advanced techniques and methodologies for modeling and analysis using UPPAAL.

    Methodologies: Integrating UPPAAL and similar tools into the development process.

    Case Studies: Real-world applications of UPPAAL in industry and academia, including commercial impact stories.

    Education: Experiences and strategies for teaching UPPAAL in educational settings.

    Tool and Tool Environment Offsprings: Developments of tools derived from UPPAAL or those using UPPAAL as a backend.

Submission Guidelines

Authors are invited to submit original research papers, case studies, and educational experiences. Submissions should be formatted according to the AISoLA 2025 guidelines and submitted through the conference submission system: https://equinocs.springernature.com/service/30yearsofuppaal Post-proceedings with selected papers (based on submission and presentation) will be published in a LNCS volume.
Important Dates

    Paper Submission Deadline: October 11, 2025

    Workshop Date: During AISoLA (November 1-4, 2025)

    Notification of Selected Papers Accepted for Proceedings: December 3,, 2025

    Camera-Ready Selected Papers Due: January 15, 2026

Join us in celebrating the legacy and future of UPPAAL. We look forward to your contributions!
Organizers

    Kim G. Larsen (Aalborg University, DK)

    Paul Pettersson (Mälardalens University, SE)

    Wang Yi (Uppsala University, SE)

For more information, please visit the AISoLA 2025 conference: website:https://2025-aisola.isola-conference.org/

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.