== Call for Papers == 36th Nordic Workshop on Programming Theory November 19-20th, 2026, University of Tartu, Tartu, Estonia Conference web page: https://kodu.ut.ee/~nester/nwpt-2026/main.html == Important Dates (AOE) == * Submission of Abstracts: October 5th, 2026, 23:59 AOE * Notification: October 30th, 2026 * Submission of Final Version of Abstracts: November 6th, 23:59 AOE * Registration Deadline: November 2nd, 2026, 23:59 AOE * Conference Dates: November 19-20th, 2026 == Scope == NWPT is a series of annual regional-scope workshops on programming theory, targeted especially at younger researchers. In 2026, the workshop will take place in Tartu, Estonia. We hope this will be a nice opportunity to present recent results and/or work-in-progress, and to meet colleagues from the Nordic and Baltic countries. We encourage PhD students and postdocs to contribute. Topics of interest include (but are not limited to): * semantics of programming languages * programming language design and programming methodology * programming logics * formal specification of programs * program verification * program construction * tools for program verification and construction * program transformation and refinement * real-time, hybrid/cyber-physical systems modeling and verification * models of concurrency and distributed computing * model checking * model-based testing * language-based security == Submission Guidelines == Authors wishing to give a talk at the workshop are requested to submit abstracts of 2-3 pages (pdf, printable on A4 paper, typeset with LaTeX with easychair.cls) through EasyChair by October 5th: https://easychair.org/my/conference?conf=nwpt2026 Work in progress as well as abstracts of manuscripts submitted for formal publication elsewhere are permitted. The abstracts of the accepted contributions will be available electronically before the workshop. By submitting to EasyChair you agree that your abstract will be publicly available. Moreover, you as an author are responsible for the content. As in earlier NWPT workshops, we plan to arrange a special issue of the Journal of Logical and Algebraic Methods in Programming (JLAMP) devoted to the best contributions to the workshop. The contributions will be selected by the PC. They will be invited after the workshop and will undergo a rigorous, journal-strength review process according to the standards of JLAMP. This year submissions from NWPT 2023 and NWPT 2024 will be considered as well. == Program Committee == * Aggeliki Chalki, Reykjavik University, Iceland * Alceste Scalas, Technical University of Denmark, Denmark * Cheng-Syuan Wan, Tallinn University of Technology, Estonia * Daniel Gratzer, Aarhus University, Denmark * Elias Castegren, Uppsala University, Sweden * Elli Anastasiadi, Aalborg University, Denmark * Evan Cavallo, University of Gothenburg, Sweden * Fritz Henglein, University of Copenhagen, Denmark * Jaakko Jarvi, University of Turku, Finland * Keijo Heljanko, University of Helsinki, Finland * Lizeth Tapia, University of Oslo, Norway * Maja Hanne Kirkeby, Roskilde University, Denmark * Marina Walden, Åbo Akademi University, Finland * Marjan Sirjani, Mälardalen University, Sweden * Matthew Earnshaw, University of Tartu, Estonia * Mikhail Barash, University of Bergen, Norway * Peter LeFanu Lumsdaine, Stockholm University, Sweden * Rasmus Møgelberg, IT University of Copenhagen, Denmark * Robin Kaarsgaard, University of Southern Denmark, Denmark * Violet Ka I Pun, Western Norway University of Applied Sciences, Norway == Organisers and PC Chairs == * Chad Nester, University of Tartu, Estonia * Matthew Earnshaw, University of Tartu, Estonia == Contact == Please direct any questions to nester@ut.ee